Introduction of a new kind of jukebox player based on the javasound api.

2017-09-11 21:00:57 +02:00
parent 291e35f445
commit c09acbc65d
23 changed files with 1836 additions and 423 deletions
@@ -427,3 +427,19 @@ img {
    color: black;
 }

+/*
+ * Styles related to java jukebox controls
+ */
+
+.javaJukeBoxPlayerControlBarSongTime {
+    width : 50px;
+    font-size: 80%;
+    text-align: right;
+    padding-left: 10px;
+    padding-right: 10px;
+}
+
+#javaJukeboxSongPositionSlider {
+    width : 200px;
+    height : 4px;
+}