annotate interfaces/ape.css @ 2262:5bf0555905de

Fix for #19 though should be dealt with in the result XML specification
author Brecht De Man <b.deman@qmul.ac.uk>
date Wed, 20 Apr 2016 16:02:17 +0200
parents 686f1fb84d7c
children 521e828089eb
rev   line source
nickjillings@1341 1 /*
nickjillings@1341 2 * Hold any style information for APE interface. Customise if you like to make the interface your own!
nickjillings@1341 3 *
nickjillings@1341 4 */
nickjillings@1341 5 body {
nickjillings@1341 6 /* Set the background colour (note US English spelling) to grey*/
nickjillings@1341 7 background-color: #ddd
nickjillings@1341 8 }
nickjillings@1341 9
nickjillings@1341 10 div.title {
nickjillings@1341 11 /* Specify any colouring for the title */
nickjillings@1341 12 }
nickjillings@1341 13
nickjillings@1341 14 div.pageTitle {
nickjillings@1341 15 width: auto;
nickjillings@1341 16 height: 20px;
nickjillings@1341 17 margin-top: 5px;
nickjillings@1341 18 margin-bottom: 10px;
nickjillings@1341 19 }
nickjillings@1341 20
nickjillings@1341 21 div.pageTitle span{
nickjillings@1341 22 font-size: 1.5em;
nickjillings@1341 23 }
nickjillings@1341 24
nickjillings@1341 25 button {
nickjillings@1341 26 /* Specify any button structure or style */
nickjillings@1341 27 min-width: 20px;
nickjillings@1341 28 background-color: #ddd
nickjillings@1341 29 }
nickjillings@1341 30
nickjillings@1341 31 div.slider {
nickjillings@1341 32 /* Specify any structure for the slider holder interface */
nickjillings@1341 33 background-color: #eee;
nickjillings@1341 34 height: 150px;
nickjillings@1341 35 margin-bottom: 5px;
nickjillings@1341 36 -moz-user-select: -moz-none;
nickjillings@1341 37 -khtml-user-select: none;
nickjillings@1341 38 -webkit-user-select: none;
nickjillings@1341 39 }
nickjillings@1341 40
nickjillings@1341 41 div.sliderScale {
nickjillings@1341 42 width: 100%;
nickjillings@1341 43 min-height: 30px;
nickjillings@1341 44 -moz-user-select: -moz-none;
nickjillings@1341 45 -khtml-user-select: none;
nickjillings@1341 46 -webkit-user-select: none;
nickjillings@1341 47 }
nickjillings@1341 48
nickjillings@1341 49 div.sliderScale span {
nickjillings@1341 50 /* Any formatting of text below scale */
nickjillings@1341 51 font-size: 1.2em;
nickjillings@1341 52 min-width: 5px;
nickjillings@1341 53 height: 20px;
nickjillings@1341 54 position: absolute;
nickjillings@1341 55 }
nickjillings@1341 56
nickjillings@1341 57 div.track-slider {
nickjillings@1341 58 /* Specify any structure for the slider objects */
nickjillings@1341 59 position: absolute;
nickjillings@1341 60 height: inherit;
nickjillings@1341 61 width: 12px;
nickjillings@1341 62 float: left;
nickjillings@1341 63 background-color: rgb(100,200,100);
nickjillings@1341 64 -moz-user-select: -moz-none;
nickjillings@1341 65 -khtml-user-select: none;
nickjillings@1341 66 -webkit-user-select: none;
nickjillings@1296 67 border: 1px solid black;
nickjillings@1341 68 }
nickjillings@1341 69
nickjillings@1341 70 div.outside-reference {
nickjillings@1341 71 width:120px;
nickjillings@1341 72 padding-left: 55px;
nickjillings@1341 73 margin-left: 100px;
nickjillings@1341 74 height:20px;
nickjillings@1341 75 margin-bottom:5px;
nickjillings@1341 76 background-color: rgb(100,200,100);
nickjillings@1341 77 }
nickjillings@1341 78
nickjillings@1341 79 div.track-slider-disabled {
nickjillings@1341 80 background-color: rgb(100,100,100);
nickjillings@1341 81 }
nickjillings@1341 82
nickjillings@1341 83 div.track-slider-playing {
nickjillings@1341 84 background-color: #FF0000;
nickjillings@1341 85 }
nickjillings@1341 86
nickjillings@1341 87 div.comment-box-playing {
nickjillings@1341 88 background-color: #FFDDDD;
nickjillings@1341 89 }
nickjillings@1356 90
nickjillings@1356 91 div#master-volume-holder {
nickjillings@1356 92 position: absolute;
nickjillings@1356 93 top: 10px;
nickjillings@1356 94 left: 120px;
nickjillings@1356 95 }