1table.calltree {
2  width : 100%;
3}
4
5td {
6  padding-top: 0.1em;
7  padding-bottom: 0.1em;
8}
9
10.numeric {
11  width : 12ex;
12}
13
14.numeric-hidden {
15  display : none;
16}
17
18body {
19  font-family: 'Roboto', sans-serif;
20}
21
22#source-status {
23  display: inline-block;
24}
25
26.tree-row-arrow {
27  margin-right: 0.2em;
28  text-align: right;
29}
30
31.code-type-chip {
32  border-radius : 1em;
33  padding : 0.2em;
34  background-color : #4040c0;
35  color: #ffffff;
36  font-size : small;
37  box-shadow: 0 2px 5px 0 rgba(0, 0, 0, 0.16), 0 2px 10px 0 rgba(0, 0, 0, 0.12);
38}
39
40.tree-row-name {
41  margin-left: 0.2em;
42  margin-right: 0.2em;
43}
44
45.codeid-link {
46  text-decoration: underline;
47  cursor: pointer;
48}
49
50.view-source-link {
51  text-decoration: underline;
52  cursor: pointer;
53  font-size: 10pt;
54  margin-left: 0.6em;
55  color: #555555;
56}
57
58#source-viewer {
59  border: 1px solid black;
60  padding: 0.2em;
61  font-family: 'Roboto Mono', monospace;
62  white-space: pre;
63  margin-top: 1em;
64  margin-bottom: 1em;
65}
66
67#source-viewer td.line-none {
68  background-color: white;
69}
70
71#source-viewer td.line-cold {
72  background-color: #e1f5fe;
73}
74
75#source-viewer td.line-mediumcold {
76  background-color: #b2ebf2;
77}
78
79#source-viewer td.line-mediumhot {
80  background-color: #c5e1a5;
81}
82
83#source-viewer td.line-hot {
84  background-color: #dce775;
85}
86
87#source-viewer td.line-superhot {
88  background-color: #ffee58;
89}
90
91#source-viewer .source-line-number {
92  padding-left: 0.2em;
93  padding-right: 0.2em;
94  color: #003c8f;
95  background-color: #eceff1;
96}
97
98div.mode-button {
99  padding: 1em 3em;
100  display: inline-block;
101  background-color: #6070ff;
102  color : #ffffff;
103  margin: 0 0.2em 2em 0;
104  box-shadow: 3px 3px 2px #d0d0ff;
105}
106
107div.mode-button:hover {
108  background-color: #4858ff;
109}
110
111div.active-mode-button {
112  background-color: #0000ff;
113  box-shadow: 3px 3px 2px #a0a0ff;
114}
115
116div.active-mode-button:hover {
117  background-color: #0000ff;
118}
119