4
4
--background : # FAFAFA ;
5
5
--background-alt : # EFEFEF ;
6
6
--border-color : # D6D6D6 ;
7
+ --link : # 0000FF ;
8
+ --active-link : # FF0000 ;
7
9
--log-info : # 7D7D7C ;
8
10
--log-out : # 1D1D1C ;
9
11
--log-err : # FF0000 ;
16
18
--background : # 2D2D2D ;
17
19
--background-alt : # 424242 ;
18
20
--border-color : # 575757 ;
21
+ --link : # 8888FF ;
22
+ --active-link : # FF8888 ;
19
23
--log-info : # 999999 ;
20
24
--log-out : # FFFFFF ;
21
25
--log-err : # FF0000 ;
22
26
}
23
27
}
24
28
29
+ * {
30
+ font : 12 px/normal 'Monaco' , 'Menlo' , 'Ubuntu Mono' , 'Consolas' , 'source-code-pro' , monospace;
31
+ }
32
+
25
33
body {
26
34
color : var (--color );
27
35
background : var (--background );
@@ -38,28 +46,37 @@ input, textarea {
38
46
button {
39
47
border : 1px solid # 555 ;
40
48
border-radius : 4px ;
41
- padding : 8px ;
49
+ padding : 2 px 8px ;
42
50
margin : 2px ;
43
51
background-color : var (--background );
44
52
color : var (--color );
45
53
}
46
54
47
- button : hover {
55
+ button : hover {
48
56
background-color : var (--background-alt );
49
57
}
50
58
59
+ a : link , a : visited {
60
+ color : var (--link );
61
+ text-decoration : underline;
62
+ }
63
+ a : hover , a : active {
64
+ color : var (--active-link );
65
+ text-decoration : none;
66
+ }
67
+
51
68
.cpuLineMarker {
52
69
position : absolute;
53
70
background : rgba (100 , 200 , 100 , 0.5 );
54
71
z-index : 20
55
72
}
56
- .ace_gutter-cell .ace_breakpoint {
73
+ .ace_gutter-cell .ace_breakpoint {
57
74
border-radius : 14px ;
58
- box-shadow : 10px 0px 1px 1px # ff2020 inset;
75
+ box-shadow : 10px 0px 1px 1px # ff2020 inset;
59
76
}
60
- .ace_gutter-cell .ace_invalid_breakpoint {
77
+ .ace_gutter-cell .ace_invalid_breakpoint {
61
78
border-radius : 14px ;
62
- box-shadow : 10px 0px 1px 1px # 802020 inset;
79
+ box-shadow : 10px 0px 1px 1px # 802020 inset;
63
80
}
64
81
.right {
65
82
text-align : right;
@@ -104,14 +121,10 @@ table {
104
121
table , th , td {
105
122
border : 1px solid var (--border-color );
106
123
background : var (--background );
107
- font : 12 px/normal 'Monaco' , 'Menlo' , 'Ubuntu Mono' , 'Consolas' , 'source-code-pro' , monospace;
108
124
}
109
125
body {
110
126
margin : 0 ;
111
127
}
112
- textarea {
113
- resize : none;
114
- }
115
128
canvas {
116
129
image-rendering : pixelated;
117
130
}
@@ -159,7 +172,6 @@ canvas {
159
172
.filelist li {
160
173
overflow : auto;
161
174
background : var (--background );
162
- font : 12 px/normal 'Monaco' , 'Menlo' , 'Ubuntu Mono' , 'Consolas' , 'source-code-pro' , monospace;
163
175
padding : 1px ;
164
176
cursor : pointer;
165
177
user-select : none;
0 commit comments