98 /* Position slider (playhead) */

    99 

   100 div#playhead {

   101   background-image: url(images/position-empty.png);

   102   width: 250px;

   103   background-repeat: no-repeat;

   104   background-position: center center;

   105   float: right;

   106   margin-left: 10px;

   107 }

   108 

   109 div#playhead-filler {

   110   background-image: url(images/position-full.png);

   111   width: 150px;

   112   background-repeat: no-repeat;

   113   background-position: left center;

   114 }

   115 

   116 div#playhead-button {

   117   background-image: url(images/playhead.png);

   118   width: 16px;

   119   height: 16px;

   120   font-size: 1px;

   121   position: absolute;

   122   background-repeat: no-repeat;

   123   background-position: center center;

   124 }