diff options
| author | Marko Pušnik <marko.pusnik@guru.si> | 2015-09-29 16:06:52 +0200 |
|---|---|---|
| committer | Marko Pušnik <marko.pusnik@guru.si> | 2015-09-29 16:06:52 +0200 |
| commit | 163dd5a445910ac7ba19e0e291d1f04c20d9861d (patch) | |
| tree | a3e1b1d6ebd07f8d0b5e54c2163f743b7a153f02 /css | |
| parent | 91f3b77d4743731b6f0b2f282a592752565d7d74 (diff) | |
| parent | b2983855ea01fd04a8ba53099d2d5ee7ebed31f9 (diff) | |
Merge branch 'master' of ssh://212.235.189.51:22122/codeq-web
Diffstat (limited to 'css')
| -rw-r--r-- | css/codeq.css | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/css/codeq.css b/css/codeq.css index 2efa5b0..3a9195f 100644 --- a/css/codeq.css +++ b/css/codeq.css @@ -200,6 +200,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 */ @@ -234,4 +241,4 @@ ul.dropdown-menu a { /* problem index screen */ #screen_problem .language-problems a { cursor: pointer; -}
\ No newline at end of file +} |