theme/mini/theme.js

   1 function showPlaylist() {
   2 if (document.all) {
   3   document.all['content'].style.display = 'block';
   4   document.all['content'].style.zIndex = 5;
   5
   6 }
   7 else if (document.getElementById) {
   8   document.getElementById('content').style.display = 'block';
   9   document.getElementById('content').style.zIndex = 5;
  10
  11 }
  12
  13 }
  14
  15 function showControls() {
  16 if (document.all) {
  17   document.all['content'].style.display = 'none';
  18   document.all['content'].style.zIndex = -1;
  19 }
  20 else if (document.getElementById) {
  21   document.getElementById('content').style.display = 'none';
  22   document.getElementById('content').style.zIndex = -1;
  23
  24 }
  25
  26 }
  27
  28 /* number of "windows" on the directory browser */
  29 var BROWSER_NUM = 3;
  30
  31 /* the border around the playing item in the playlist */
  32 var PLAYLIST_PLAYING_STYLE = "1px solid #a20000";
  33
  34 /* this is the color thing that you add blink in */
  35 var DEFAULT_BLINK_COLOR = "#C1DAD6";
  36
  37 var BASE_IMG_DIR = "../theme/default/images/";
  38
  39 var IMAGE = new Object();
  40
  41 IMAGE.BUTTON_PLAY               = BASE_IMG_DIR + "play_25.png";
  42 IMAGE.BUTTON_STOP               = BASE_IMG_DIR + "stop_25.png";
  43 IMAGE.BUTTON_PAUSE              = BASE_IMG_DIR + "pause_25.png";
  44 IMAGE.BUTTON_PREVIOUS           = BASE_IMG_DIR + "previous_25.png";
  45 IMAGE.BUTTON_NEXT               = BASE_IMG_DIR + "next_25.png";
  46
  47 IMAGE.BROWSER_PLAYLIST_REMOVE   = BASE_IMG_DIR + "disabled_15.png";
  48
  49 IMAGE.SERVER_SETTINGS_ENABLED   = BASE_IMG_DIR + "enabled_15.png";
  50 IMAGE.SERVER_SETTINGS_DISABLED  = BASE_IMG_DIR + "disabled_15.png";
  51 IMAGE.SERVER_SETTINGS_XFADE_DOWN= BASE_IMG_DIR + "left_15.png";
  52 IMAGE.SERVER_SETTINGS_XFADE_UP  = BASE_IMG_DIR + "right_15.png";
  53
  54 IMAGE.CLOSE                     = BASE_IMG_DIR + "close_15.png";
  55 IMAGE.WORKING                   = BASE_IMG_DIR + "working.gif";
  56
  57 IMAGE.MENU_ITEM_CROP            = BASE_IMG_DIR + "crop_30.png";
  58 IMAGE.MENU_ITEM_REMOVE          = BASE_IMG_DIR + "remove_30.png";
  59 IMAGE.MENU_ITEM_DIRECTORY       = BASE_IMG_DIR + "folder_30.png";
  60
  61 IMAGE.PAGINATION_FOLLOW         = BASE_IMG_DIR + "follow-playing-yes.png";
  62 IMAGE.PAGINATION_NOFOLLOW       = BASE_IMG_DIR + "follow-playing-no.png";
  63
  64 IMAGE.JUMP_CURRENT              = BASE_IMG_DIR + "jump-to-current.png";
  65
  66
  67 /* this should be whatever the backgroun is converted from hex to dec */
  68 IMAGE.STREAM_BGCOLOR            = "15198183";