comparison static/css/styles.css @ 392:4aef227e929c

css: reduce font size of code (pre-tags) and use em instead of % for font-size (for consistency).
author Arne Babenhauserheide <arne.babenhauserheide@fzk.de>
date Mon, 11 Feb 2013 12:14:14 +0100
parents 60fe705f6df0
children 5dc640877bb8
comparison
equal deleted inserted replaced
391:89c7ce3d2ffe 392:4aef227e929c
167 .note { 167 .note {
168 border-top: 1px #ccc solid; 168 border-top: 1px #ccc solid;
169 border-bottom: 1px #ccc solid; 169 border-bottom: 1px #ccc solid;
170 padding: 0.3em 1em; 170 padding: 0.3em 1em;
171 margin: 0.2em 1em 1em; 171 margin: 0.2em 1em 1em;
172 font-size: 90%; 172 font-size: .90em;
173 } 173 }
174 174
175 /* 175 /*
176 * code and commands 176 * code and commands
177 */ 177 */
178 pre, .output { 178 pre, .output {
179 font-family:Consolas,Menlo,Monaco,Lucida Console,Liberation Mono,DejaVu Sans Mono,Bitstream Vera Sans Mono,Courier New,monospace,serif; 179 font-family:Consolas,Menlo,Monaco,Lucida Console,Liberation Mono,DejaVu Sans Mono,Bitstream Vera Sans Mono,Courier New,monospace,serif;
180 font-size: .90em;
180 } 181 }
181 182
182 .output { 183 .output {
183 border-left: 1px #ccc solid; 184 border-left: 1px #ccc solid;
184 border-right: 1px #ccc solid; 185 border-right: 1px #ccc solid;
185 background-color: #eee; 186 background-color: #eee;
186 margin: 0.2em 1em 1em; 187 margin: 0.2em 1em 1em;
187 padding: 0.3em 1em; 188 padding: 0.3em 1em;
188 white-space: pre-wrap; 189 white-space: pre-wrap;
189 font-size: 90%;
190 } 190 }
191 191
192 .output:first-line { 192 .output:first-line {
193 font-size: 90%; 193 font-size: .90em;
194 font-style: italic; 194 font-style: italic;
195 } 195 }
196 196