gfse: better integration of the minibar

The minibar is now displayed inside the editor, intead of on a separate page.
This makes the context clearer and makes it more obiovous how to return to the
editor.

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");
+}