-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 | |||
@@ -65,4 +65,11 @@ div#sidepanel h1 { | |||
65 | margin-top: 2ex; margin-bottom: 2ex; | 65 | margin-top: 2ex; margin-bottom: 2ex; |
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 { |
68 | padding: 1ex 0.5ex 1ex 1ex; | 75 | padding: 1ex 0.5ex 1ex 1ex; |
@@ -131,12 +138,14 @@ div.source ul { | |||
131 | background: #80c0c0; | 138 | background: #80c0c0; |
132 | margin: 0px; | 139 | margin: 0px; |
133 | padding: 1px 0.5ex; | 140 | padding: 1px 0px; |
134 | font-family: monospace; | 141 | font-family: monospace; |
135 | font-size: 80%; | 142 | font-size: 80%; |
136 | overflow: hidden; | 143 | overflow: hidden; |
144 | width:100%; | ||
137 | } | 145 | } |
138 | div.source li { | 146 | div.source li { |
139 | list-style-type: none; | 147 | list-style-type: none; |
140 | white-space: nowrap; | 148 | white-space: nowrap; |
149 | margin: 0px 0.5ex; | ||
141 | } | 150 | } |
142 | 151 | ||