diff options
Diffstat (limited to 'src/www/gfse/editor.css')
| -rw-r--r-- | src/www/gfse/editor.css | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/www/gfse/editor.css b/src/www/gfse/editor.css index 74d15345e..eab702d99 100644 --- a/src/www/gfse/editor.css +++ b/src/www/gfse/editor.css @@ -92,3 +92,9 @@ li { margin-top: 0.5ex; margin-bottom: 0.5ex; } #sharing h1, #sharing .footer { display: none; } div.compiler_output .back_to_editor { display: none; } + +div#minibar { + border: 1px solid black; + padding: 5px; + background: #ccc url("../minibar/brushed-metal.png"); +} |