| commit | 78ce3cc370efc9d63b3d473deb37c92f40002d3d | [log] [tgz] |
|---|---|---|
| author | admin <devnull@localhost> | Mon Oct 02 02:58:03 2006 +0000 |
| committer | admin <devnull@localhost> | Mon Oct 02 02:58:03 2006 +0000 |
| tree | 23a9cc79a6a62ecc4a59d381a5b9741043f52341 | |
| parent | c167f2cef36b88f0422032fbc14c40aa3bb8b163 [diff] [blame] |
diff --git a/user_guide/userguide.css b/user_guide/userguide.css index 4da90dc..5cd6734 100644 --- a/user_guide/userguide.css +++ b/user_guide/userguide.css
@@ -151,10 +151,11 @@ #content h1 { color: #333; +background-color: #efefef; font-weight: normal; font-size: 22px; margin: 0 0 15px 0; -padding: 0; +padding: 3px 2px 3px 10px; } #content h2 {