annotate ape.css @ 828:16ee07203740

Core collects navigator information
author Nicholas Jillings <n.g.r.jillings@se14.qmul.ac.uk>
date Thu, 26 Nov 2015 09:59:22 +0000
parents 1b6fa37d46a4
children 888292c88c33
rev   line source
n@816 1 /*
n@816 2 * Hold any style information for APE interface. Customise if you like to make the interface your own!
n@816 3 *
n@816 4 */
n@816 5 body {
n@816 6 /* Set the background colour (note US English spelling) to grey*/
n@816 7 background-color: #ddd
n@816 8 }
n@816 9
n@816 10 div.title {
n@816 11 /* Specify any colouring for the title */
n@816 12 }
n@816 13
n@816 14 div.pageTitle {
n@816 15 width: auto;
n@816 16 height: 20px;
n@816 17 margin-top: 20px;
n@816 18 }
n@816 19
n@816 20 div.pageTitle span{
n@816 21 font-size: 1.5em;
n@816 22 }
n@816 23
n@816 24 button {
n@816 25 /* Specify any button structure or style */
n@816 26 min-width: 20px;
n@816 27 background-color: #ddd
n@816 28 }
n@816 29
n@816 30 div#slider {
n@816 31 /* Specify any structure for the slider holder interface */
n@816 32 background-color: #eee;
n@816 33 height: 150px;
n@816 34 margin-bottom: 5px;
n@816 35 }
n@816 36
n@816 37 div.sliderScale {
n@816 38 width: 100%;
n@816 39 min-height: 30px;
n@816 40 }
n@816 41
n@816 42 div.sliderScale span {
n@816 43 /* Any formatting of text below scale */
n@816 44 font-size: 1.2em;
n@816 45 min-width: 5px;
n@816 46 height: 20px;
n@816 47 position: absolute;
n@816 48 }
n@816 49
n@816 50 div.track-slider {
n@816 51 /* Specify any structure for the slider objects */
n@816 52 position: absolute;
n@816 53 height: inherit;
n@816 54 width: 12px;
n@816 55 float: left;
n@816 56 background-color: rgb(100,200,100);
n@816 57 }
n@816 58
n@821 59 div#outside-reference {
n@821 60 width:120px;
n@821 61 padding-left: 55px;
n@821 62 margin-left: 100px;
n@821 63 height:20px;
n@821 64 margin-bottom:5px;
n@821 65 background-color: rgb(100,200,100);
n@821 66 }
n@821 67
n@816 68 div.track-slider-disabled {
n@816 69 background-color: rgb(100,100,100);
n@816 70 }
n@816 71
n@816 72 div.track-slider-playing {
n@816 73 background-color: #FF0000;
n@816 74 }
n@816 75
n@816 76 div.comment-box-playing {
n@816 77 background-color: #FFDDDD;
n@816 78 }