comparison interfaces/ape.css @ 470:1330c77d212c Dev_main

Moved interfaces into their own sub-directory
author Nicholas Jillings <n.g.r.jillings@se14.qmul.ac.uk>
date Wed, 13 Jan 2016 09:34:46 +0000
parents
children 92f26057b934
comparison
equal deleted inserted replaced
469:d39d243e6601 470:1330c77d212c
1 /*
2 * Hold any style information for APE interface. Customise if you like to make the interface your own!
3 *
4 */
5 body {
6 /* Set the background colour (note US English spelling) to grey*/
7 background-color: #ddd
8 }
9
10 div.title {
11 /* Specify any colouring for the title */
12 }
13
14 div.pageTitle {
15 width: auto;
16 height: 20px;
17 margin-top: 5px;
18 margin-bottom: 10px;
19 }
20
21 div.pageTitle span{
22 font-size: 1.5em;
23 }
24
25 button {
26 /* Specify any button structure or style */
27 min-width: 20px;
28 background-color: #ddd
29 }
30
31 div.slider {
32 /* Specify any structure for the slider holder interface */
33 background-color: #eee;
34 height: 150px;
35 margin-bottom: 5px;
36 -moz-user-select: -moz-none;
37 -khtml-user-select: none;
38 -webkit-user-select: none;
39 }
40
41 div.sliderScale {
42 width: 100%;
43 min-height: 30px;
44 -moz-user-select: -moz-none;
45 -khtml-user-select: none;
46 -webkit-user-select: none;
47 }
48
49 div.sliderScale span {
50 /* Any formatting of text below scale */
51 font-size: 1.2em;
52 min-width: 5px;
53 height: 20px;
54 position: absolute;
55 }
56
57 div.track-slider {
58 /* Specify any structure for the slider objects */
59 position: absolute;
60 height: inherit;
61 width: 12px;
62 float: left;
63 background-color: rgb(100,200,100);
64 -moz-user-select: -moz-none;
65 -khtml-user-select: none;
66 -webkit-user-select: none;
67 }
68
69 div.outside-reference {
70 width:120px;
71 padding-left: 55px;
72 margin-left: 100px;
73 height:20px;
74 margin-bottom:5px;
75 background-color: rgb(100,200,100);
76 }
77
78 div.track-slider-disabled {
79 background-color: rgb(100,100,100);
80 }
81
82 div.track-slider-playing {
83 background-color: #FF0000;
84 }
85
86 div.comment-box-playing {
87 background-color: #FFDDDD;
88 }