themes/funkymonkey/style.css
changeset 10 d3059e20b0fa
parent 4 cde92f6ec29f
child 11 0faea3a6c881
--- a/themes/funkymonkey/style.css	Mon Mar 24 00:12:21 2008 -0400
+++ b/themes/funkymonkey/style.css	Mon Mar 24 02:53:42 2008 -0400
@@ -95,3 +95,30 @@
   border-color: #d0d0d0;
 }
 
+/* Position slider (playhead) */
+
+div#playhead {
+  background-image: url(images/position-empty.png);
+  width: 250px;
+  background-repeat: no-repeat;
+  background-position: center center;
+  float: right;
+  margin-left: 10px;
+}
+
+div#playhead-filler {
+  background-image: url(images/position-full.png);
+  width: 150px;
+  background-repeat: no-repeat;
+  background-position: left center;
+}
+
+div#playhead-button {
+  background-image: url(images/playhead.png);
+  width: 16px;
+  height: 16px;
+  font-size: 1px;
+  position: absolute;
+  background-repeat: no-repeat;
+  background-position: center center;
+}