summaryrefslogtreecommitdiffabout
path: root/htdocs/style.css
Unidiff
Diffstat (limited to 'htdocs/style.css') (more/less context) (show whitespace changes)
-rw-r--r--htdocs/style.css28
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}
105div#sidepanel ul ul a { 105div#sidepanel ul ul a {
106 padding-left: 2.5ex; 106 padding-left: 2.5ex;
107 background: #e0e0e0; 107 background: #e0e0e0;
108} 108}
109div#sidepanel div.copyright { 109div#sidepanel div.copyright {
110 text-align: center; 110 text-align: center;
111} 111}
112 112
113div#content h1 { 113div#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}
121div#content p a {
122 font-weight: bold;
119} 123}
120 124
121div.insert { 125div.insert {
122 text-align: center; 126 text-align: center;
123} 127}
124iframe#insert { 128iframe#insert {
125 border: 1px solid black; 129 border: 1px solid black;
126} 130}
127 131
128div.source h1 { 132div.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 {
162ul.sourcebrowser li.file { 166ul.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}
167ul.sourcebrowser li.file a { 171ul.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}
173ul.sourcebrowser li.file a:hover { 177ul.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
183div.prevnext {
184 margin: 1ex;
185}
186div.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}
193div.prevnext a.prevnext-prev {
194 float: left;
195 text-align: left;
196}
197div.prevnext a.prevnext-next {
198 float: right;
199 text-align: right;
200}
201div.prevnext a:hover {
202 background: gray;
203 border: black 1px solid;
204 color: white;
205}