style.css


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

button {
    padding: 10px;
    font-size: 20px;
}

button.program {
    background: #A00000;
    color: #FFFFFF;
}

button.preview {
    background: #008000;
    color: #FFFFFF;
}

button.selected {
  box-shadow: 0 0 0.3em #800000;
  text-shadow: 0 0 0.3em #800000;
}