themes/grey/style.css
changeset 78 08f8a72b1f7b
parent 72 b8730fcd64a9
--- a/themes/grey/style.css	Fri Jun 12 13:49:22 2009 -0400
+++ b/themes/grey/style.css	Fri Jun 12 13:50:13 2009 -0400
@@ -104,6 +104,12 @@
   border-color: #d0d0d0;
 }
 
+div#offlinemode {
+  float: right;
+  margin-left: 4px;
+  display: none;
+}
+
 /* Position slider (playhead) */
 
 div#playhead {
@@ -186,6 +192,21 @@
   background-color: #505050;
 }
 
+a.backlink.inline {
+  max-width: none;
+  background-color: #282828;
+  margin: 5px 10px;
+}
+
+a.backlink.inline:hover {
+  background-color: #303030;
+}
+
+span.clearer {
+  display: block;
+  clear: both;
+}
+
 div.greylogo {
   width: 120px;
   height: 33px;
@@ -198,3 +219,4 @@
 div.clearer {
   clear: both;
 }
+