Web   ·   Wiki   ·   Activities   ·   Blog   ·   Lists   ·   Chat   ·   Meeting   ·   Bugs   ·   Git   ·   Translate   ·   Archive   ·   People   ·   Donate
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--app/static/css/main.css15
-rw-r--r--app/templates/editor.html4
2 files changed, 4 insertions, 15 deletions
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}/<br/>
<strong>${basename}</strong><br/>
</div>
-<div id="result"></div>
+<div id="result" style="color:red"></div>
<hr />
<form id="saveform" action="/save" method="post">
<input type="hidden" name="filename" id="filename" value="$filename" />
@@ -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");