From 60abf6eb8f5173f17be88d24bc2fc889820133f6 Mon Sep 17 00:00:00 2001 From: Sebastian Silva Date: Wed, 16 Nov 2011 08:28:44 +0000 Subject: Layout fix for XO screen. --- diff --git a/app/static/css/main.css b/app/static/css/main.css index 6feec68..d672508 100644 --- a/app/static/css/main.css +++ b/app/static/css/main.css @@ -2,15 +2,10 @@ body { background-color: #c0c0c0; height: 100%; margin: 0; - font-size: 88%; + font-size: 12pt; font-family: DejaVu Sans; } -p.subtitle { - font-size: 10pt; - margin-top: 5px; -} - li { margin-bottom: 1em } @@ -32,12 +27,6 @@ hr { margin: 30px; } -#beta { - font-size: 12pt; - color: red; - display: none; -} - #editor { margin: 0; position: absolute; @@ -86,7 +75,7 @@ div#filer { #filer ul li a{ color: black; text-decoration: none; - font-size: 8pt; + font-size: 10pt; width: 50px; height: 70px; float:left; diff --git a/app/templates/editor.html b/app/templates/editor.html index 217eefe..419d6e8 100644 --- a/app/templates/editor.html +++ b/app/templates/editor.html @@ -25,7 +25,7 @@ ${absdir}/
${basename}
-
+

@@ -67,7 +67,7 @@ document.ready = function() { var aceEditor = ace.edit("editor"); aceEditor.setTheme("ace/theme/twilight"); - document.getElementById('editor').style.fontSize='14px'; + document.getElementById('editor').style.fontSize='14pt'; aceEditor.getSession().setUseSoftTabs(true); // we can assume we're on unix aceEditor.getSession().setNewLineMode("unix"); -- cgit v0.9.1