diff options
| author | admin <devnull@localhost> | 2006-10-02 04:58:03 +0200 |
|---|---|---|
| committer | admin <devnull@localhost> | 2006-10-02 04:58:03 +0200 |
| commit | 78ce3cc370efc9d63b3d473deb37c92f40002d3d (patch) | |
| tree | 23a9cc79a6a62ecc4a59d381a5b9741043f52341 /user_guide/userguide.css | |
| parent | c167f2cef36b88f0422032fbc14c40aa3bb8b163 (diff) | |
Diffstat (limited to 'user_guide/userguide.css')
| -rw-r--r-- | user_guide/userguide.css | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/user_guide/userguide.css b/user_guide/userguide.css index 4da90dc65..5cd6734f9 100644 --- a/user_guide/userguide.css +++ b/user_guide/userguide.css @@ -151,10 +151,11 @@ padding: 0 0 6px 0; #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 {
|