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