diff options
Diffstat (limited to 'static/css/app.css')
| -rwxr-xr-x | static/css/app.css | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/static/css/app.css b/static/css/app.css index ef74c36..1e0f1d8 100755 --- a/static/css/app.css +++ b/static/css/app.css @@ -199,6 +199,12 @@ ul { .menu-button.active { background: #fff; } +.menu-button[imports-checkbox]:after { + content: ' off'; +} +.menu-button[imports-checkbox].active:after { + content: ' on'; +} .menu-button[syntax-checkbox]:after { content: ' off'; } @@ -243,6 +249,9 @@ a#run, a#kill { padding-left: 30px; background: #fafafa; } +#explorer .imports-checkbox { + float: right; +} #explorer .menu-button.active { cursor: default; } |
