• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1/* Special alert areas at the top of the page. */
2.todo-div {
3    background-color: #bbffbb;
4}
5.warning-div {
6    background-color: #ffbb00;
7}
8
9.tab-wrapper {
10    margin-top: 10px;
11}
12
13.tab {
14    display: inline-block;
15    font-size: 20px;
16    padding: 5px;
17    border-top-left-radius: 5px;
18    border-top-right-radius: 5px;
19    position: relative;
20}
21
22/* Tab which has been selected. */
23.tab-true {
24    background-color: #ccccff;
25    border: 1px solid black;
26    border-bottom-width: 0px;
27    bottom: -1px;
28}
29/* All other tabs. */
30.tab-false {
31    background-color: #8888ff;
32    cursor: pointer;
33}
34
35.tab-false:hover {
36    background-color: #aa88ff;
37}
38
39/* Spacers between tabs. */
40.tab-spacer {
41    display: inline-block;
42}
43/* The main working area (connected to the selected tab). */
44.tab-main {
45    background-color: #ccccff;
46    border: 1px solid black;
47}
48
49.update-results-button {
50    font-size: 30px;
51}
52
53/* Odd and even lines within results display. */
54.results-odd {
55    background-color: #ddffdd;
56}
57.results-even {
58    background-color: #ddddff;
59}
60
61.show-only-button {
62    font-size: 8px;
63}
64.show-all-button {
65    font-size: 8px;
66}
67
68.image-link {
69    text-decoration: none;
70}
71