blob: 4f7d89ee7863a82a15bb3bd45df0fa8b3fc2ff97 [file] [log] [blame]
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001#table-header {
2 background-color: rgba(150, 150, 255, 0.4);
3}
4
5#asm-container {
6 background-color: rgba(200, 200, 255, 0.4);
7 position:absolute;
8 overflow:auto;
9 cursor:default;
10 width:50%;
11 height:92%;
12}
13
14#source-container {
15 position:absolute;
16 overflow:auto;
17 width:48%;
18 left:51%;
19 height:92%;
20}
21
22table {
23 border-collapse: collapse;
24}
25
26.hover-underline:hover {
27 text-decoration: underline;
28}
29
30.highlight-flash-blue {
31 -webkit-transition: all 1s ease;
32 background-color: rgba(50, 50, 245, 0.4);
33 border-radius: 10px;
34 -o-border-radius: 10px;
35 -moz-border-radius: 10px;
36 -webkit-border-radius: 10px;
37}
38
39
40.highlight-green {
41 background-color: rgba(0, 255, 0, 0.4);
42 border-radius: 10px;
43 -o-border-radius: 10px;
44 -moz-border-radius: 10px;
45 -webkit-border-radius: 10px;
46}
47
48.highlight-yellow {
49 background-color: rgba(255, 255, 0, 0.4);
50 border-radius: 10px;
51 -o-border-radius: 10px;
52 -moz-border-radius: 10px;
53 -webkit-border-radius: 10px;
54}
55
56.highlight-gray {
57 background-color: rgba(128, 128, 128, 0.4);
58 border-radius: 10px;
59 -o-border-radius: 10px;
60 -moz-border-radius: 10px;
61 -webkit-border-radius: 10px;
62}
63
64.highlight-red {
65 background-color: rgba(255, 0, 0, 0.4);
66 border-radius: 10px;
67 -o-border-radius: 10px;
68 -moz-border-radius: 10px;
69 -webkit-border-radius: 10px;
70}