diff options
| author | Aleš Smodiš <aless@guru.si> | 2015-09-24 14:31:13 +0200 |
|---|---|---|
| committer | Aleš Smodiš <aless@guru.si> | 2015-09-24 14:31:13 +0200 |
| commit | 3184e7f201af05429bedb4fb8a6300e024946c2a (patch) | |
| tree | e660f5b50fd56cb7ac51deb32d8ab4a8f98552e3 /css/codeq.css | |
| parent | 652164680ac0d1b4ace0ae9ec55f69b28740d11a (diff) | |
Implemented: CodeQ event queue, basic translation infrastructure, reimplemented problem index from JSON data.
Diffstat (limited to 'css/codeq.css')
| -rw-r--r-- | css/codeq.css | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/css/codeq.css b/css/codeq.css index 8604b9c..d293787 100644 --- a/css/codeq.css +++ b/css/codeq.css @@ -176,7 +176,21 @@ body { -webkit-box-shadow: inset 0 0 6px rgba(0, 0, 0, 0.5); } +/* status bar */ +ul.dropdown-menu a { + cursor: pointer; +} + +.lang-selection ul.dropdown-menu { + min-width: 4em; +} + /* main screen */ #screen_language a { cursor: pointer; } + +/* problem index screen */ +#screen_problem .language-problems a { + cursor: pointer; +}
\ No newline at end of file |