changeset 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 89c7ce3d2ffe
children 5dc640877bb8
files static/css/styles.css
diffstat 1 files changed, 3 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- a/static/css/styles.css	Sun May 13 22:07:49 2012 +0200
+++ b/static/css/styles.css	Mon Feb 11 12:14:14 2013 +0100
@@ -169,7 +169,7 @@
     border-bottom: 1px #ccc solid;
     padding: 0.3em 1em;
     margin: 0.2em 1em 1em;
-    font-size: 90%;
+    font-size: .90em;
 }
 
 /*
@@ -177,6 +177,7 @@
  */
 pre, .output {
 	font-family:Consolas,Menlo,Monaco,Lucida Console,Liberation Mono,DejaVu Sans Mono,Bitstream Vera Sans Mono,Courier New,monospace,serif;
+	font-size: .90em;
 }
 
 .output {
@@ -186,11 +187,10 @@
     margin: 0.2em 1em 1em;	
     padding: 0.3em 1em;
 	white-space: pre-wrap;
-	font-size: 90%;
 }
 
 .output:first-line {
-	font-size: 90%;
+	font-size: .90em;
 	font-style: italic;
 }