From 9d47b83e076dafdb3d75ac7213dfc0ba993f1899 Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Thu, 19 Apr 2012 15:34:56 +0000
Subject: minibar & cloud service: minor style changes

Also include the GF logo on the cloud service start page.
---
 src/www/minibar/minibar.css | 13 ++++++++++---
 1 file changed, 10 insertions(+), 3 deletions(-)

(limited to 'src/www/minibar/minibar.css')

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;
 }
-- 
cgit v1.2.3