docs/styles.css | raw changeset files shortlog |
1.1 --- a/docs/styles.css Tue Nov 08 19:02:02 2005 +0000 1.2 +++ b/docs/styles.css Tue Nov 08 19:04:00 2005 +0000 1.3 @@ -75,3 +75,8 @@ 1.4 background-color: rgb(153, 153, 255); 1.5 } 1.6 1.7 + dt { padding: 0.25em; 1.8 + margin-top: 1em; 1.9 + margin-bottom: 1em; 1.10 + background-color: rgb(238, 238, 238); 1.11 + }