minibar & cloud service: minor style changes

Also include the GF logo on the cloud service start page.

1 files changed, 10 insertions, 3 deletions

diff --git a/src/www/minibar/minibar.css b/src/www/minibar/minibar.css
index d68784d51..cbfc04638 100644
--- a/src/www/minibar/minibar.css
+++ b/src/www/minibar/minibar.css
@@ -5,8 +5,12 @@ body.minibar {
 h1, h2, h3, small, th { font-family: sans-serif; }
 h1, h2, h3 { color: #303030; text-shadow: rgba(0,0,0,0.25) 3px 3px 5px; }
 
+h1:first-child, h2:first-child { margin-top: 0; margin-bottom: 1ex; }
+
 th, td { vertical-align: baseline; text-align: left; }
 
+div.menubar { font-family: sans-serif; font-size: small; }
+
 div#surface {
     min-height: 3ex;
     margin: 5px;
@@ -67,10 +71,13 @@ div.brackets {
 span.brackets {
     background: #ddd;
     display: inline-block;
-    border: 1px solid black;
-    padding: 3px;
+    border-color: black;
+    border-style: solid;
+    border-width: 0 0 1px 0;
+    /*border: 1px solid black;*/
+    padding: 2px 3px;
 }
 
 div.brackets .token {
-  padding: 0.5ex
+  padding: 0 0.5ex;
 }