From e6a35a3d94cd007901fcc2ea8a62a1a3909ebf7a Mon Sep 17 00:00:00 2001
From: Patrick Simianer <p@simianer.de>
Date: Fri, 29 Jan 2016 18:21:13 +0100
Subject: interface.php: cleanup

---
 static/main.css | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/static/main.css b/static/main.css
index 496e6f8..47f5d6b 100644
--- a/static/main.css
+++ b/static/main.css
@@ -29,7 +29,8 @@ textarea, input {
 
 .bold { font-weight:bold }
 .small { font-size:.8em }
-.xtrasmall { font-size:.6em }
+.right { text-align:right }
+.tiny { font-size:.6em }
 
 a {
   color:           #ccc;
@@ -55,6 +56,7 @@ span#status { float:right }
   font-size: 2em;
   padding: 0.1em
 }
+#placeholder { margin:.4em }
 /* /Edit */
 
 /* OOV */
@@ -79,6 +81,7 @@ span#status { float:right }
 /* /Derivation edtior */
 
 /* Session overview */
+p#overview_header { margin:.5em;margin-bottom:.25em;font-weight:bold }
 div#overview_wrapper { margin-top:1em }
 table#overview { font-size:.8em }
 table#overview td.seg_text { width: 45% }
-- 
cgit v1.2.3