From b2983855ea01fd04a8ba53099d2d5ee7ebed31f9 Mon Sep 17 00:00:00 2001
From: Timotej Lazar <timotej.lazar@araneo.org>
Date: Tue, 29 Sep 2015 14:15:28 +0200
Subject: Add a statusbar to the editor widget

---
 css/codeq.css | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

(limited to 'css/codeq.css')

diff --git a/css/codeq.css b/css/codeq.css
index 138761b..0e4c689 100644
--- a/css/codeq.css
+++ b/css/codeq.css
@@ -174,6 +174,13 @@ body {
     border: 1px solid black;
 }
 
+.editor-statusbar {
+    background-color: #F7F7F7;
+    border-top: 1px solid #DDD;
+    font-family: monospace;
+    padding: 1px 4px;
+    text-align: right;
+}
 
 /***** helpers *****/
 /* webkit-scrollbar */
@@ -208,4 +215,4 @@ ul.dropdown-menu a {
 /* problem index screen */
 #screen_problem .language-problems a {
     cursor: pointer;
-}
\ No newline at end of file
+}
-- 
cgit v1.2.1