-rw-r--r-- | htdocs/style.css | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/htdocs/style.css b/htdocs/style.css index 01fd43a..3ab1b6f 100644 --- a/htdocs/style.css +++ b/htdocs/style.css | |||
@@ -66,2 +66,9 @@ div#sidepanel h1 { | |||
66 | } | 66 | } |
67 | div#sidepanel h2 { | ||
68 | font-size: 80%; | ||
69 | text-align: justify; | ||
70 | font-weight: normal; | ||
71 | color: gray; | ||
72 | margin: 1ex 1ex; | ||
73 | } | ||
67 | div#sidepanel ul { | 74 | div#sidepanel ul { |
@@ -132,3 +139,3 @@ div.source ul { | |||
132 | margin: 0px; | 139 | margin: 0px; |
133 | padding: 1px 0.5ex; | 140 | padding: 1px 0px; |
134 | font-family: monospace; | 141 | font-family: monospace; |
@@ -136,2 +143,3 @@ div.source ul { | |||
136 | overflow: hidden; | 143 | overflow: hidden; |
144 | width:100%; | ||
137 | } | 145 | } |
@@ -140,2 +148,3 @@ div.source li { | |||
140 | white-space: nowrap; | 148 | white-space: nowrap; |
149 | margin: 0px 0.5ex; | ||
141 | } | 150 | } |