-rw-r--r-- | htdocs/style.css | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/htdocs/style.css b/htdocs/style.css index 3ab1b6f..83e308f 100644 --- a/htdocs/style.css +++ b/htdocs/style.css | |||
@@ -103,32 +103,36 @@ div#sidepanel ul a:hover { | |||
103 | color: white; | 103 | color: white; |
104 | } | 104 | } |
105 | div#sidepanel ul ul a { | 105 | div#sidepanel ul ul a { |
106 | padding-left: 2.5ex; | 106 | padding-left: 2.5ex; |
107 | background: #e0e0e0; | 107 | background: #e0e0e0; |
108 | } | 108 | } |
109 | div#sidepanel div.copyright { | 109 | div#sidepanel div.copyright { |
110 | text-align: center; | 110 | text-align: center; |
111 | } | 111 | } |
112 | 112 | ||
113 | div#content h1 { | 113 | div#content h1 { |
114 | font-size: 140%; | 114 | font-size: 140%; |
115 | color: gray; | 115 | color: gray; |
116 | font-weight: bold; | 116 | font-weight: bold; |
117 | text-align: center; | 117 | text-align: center; |
118 | margin: 1em; | 118 | margin: 1em; |
119 | clear: both; | ||
120 | } | ||
121 | div#content p a { | ||
122 | font-weight: bold; | ||
119 | } | 123 | } |
120 | 124 | ||
121 | div.insert { | 125 | div.insert { |
122 | text-align: center; | 126 | text-align: center; |
123 | } | 127 | } |
124 | iframe#insert { | 128 | iframe#insert { |
125 | border: 1px solid black; | 129 | border: 1px solid black; |
126 | } | 130 | } |
127 | 131 | ||
128 | div.source h1 { | 132 | div.source h1 { |
129 | background: #e0e0e0; | 133 | background: #e0e0e0; |
130 | border: 1px solid #808080; | 134 | border: 1px solid #808080; |
131 | padding-left: 1em; | 135 | padding-left: 1em; |
132 | margin: 0px; | 136 | margin: 0px; |
133 | font-size: 100%; | 137 | font-size: 100%; |
134 | color: #000060; | 138 | color: #000060; |
@@ -162,16 +166,40 @@ ul.sourcebrowser li.dir { | |||
162 | ul.sourcebrowser li.file { | 166 | ul.sourcebrowser li.file { |
163 | list-style-type: none; | 167 | list-style-type: none; |
164 | white-space: nowrap; | 168 | white-space: nowrap; |
165 | display: inline; | 169 | display: inline; |
166 | } | 170 | } |
167 | ul.sourcebrowser li.file a { | 171 | ul.sourcebrowser li.file a { |
168 | border: 1px solid gray; | 172 | border: 1px solid gray; |
169 | padding: 1px 0.5ex; | 173 | padding: 1px 0.5ex; |
170 | text-decoration: none; | 174 | text-decoration: none; |
171 | font-family: monospace; | 175 | font-family: monospace; |
172 | } | 176 | } |
173 | ul.sourcebrowser li.file a:hover { | 177 | ul.sourcebrowser li.file a:hover { |
174 | background: gray; | 178 | background: gray; |
175 | border: 1px solid black; | 179 | border: 1px solid black; |
176 | color: white; | 180 | color: white; |
177 | } | 181 | } |
182 | |||
183 | div.prevnext { | ||
184 | margin: 1ex; | ||
185 | } | ||
186 | div.prevnext a { | ||
187 | margin: 0.5ex 1em; padding: 0.2ex 0.5ex; | ||
188 | display: block; width: 30%; | ||
189 | border: solid 1px gray; | ||
190 | color: black; | ||
191 | text-decoration: none; | ||
192 | } | ||
193 | div.prevnext a.prevnext-prev { | ||
194 | float: left; | ||
195 | text-align: left; | ||
196 | } | ||
197 | div.prevnext a.prevnext-next { | ||
198 | float: right; | ||
199 | text-align: right; | ||
200 | } | ||
201 | div.prevnext a:hover { | ||
202 | background: gray; | ||
203 | border: black 1px solid; | ||
204 | color: white; | ||
205 | } | ||