File tree Expand file tree Collapse file tree 13 files changed +58
-23
lines changed
scaladoc/resources/dotty_res/styles Expand file tree Collapse file tree 13 files changed +58
-23
lines changed Original file line number Diff line number Diff line change 130
130
th {
131
131
border : 1px solid var (--border-medium );
132
132
padding : 0.5rem ;
133
+ color : var (--text-primary );
133
134
}
134
135
th {
135
136
border-bottom : 2px solid var (--border-medium );
Original file line number Diff line number Diff line change 47
47
--semantic-background-red : var (--red3 );
48
48
49
49
/* code */
50
- --code-props-content : var (--crimson11 );
51
- --code-props-background : var (--red3 );
50
+ --code-props-content : var (--grey12 );
51
+ --code-props-background : var (--grey3 );
52
+ --code-props-border : var (--grey5 );
52
53
53
54
--code-syntax-highlighting-comment : var (--grey11 );
54
55
--code-syntax-highlighting-quote : var (--grey11 );
134
135
--action-primary-border-default : var (--grey6 );
135
136
136
137
/* code */
137
- --code-props-content : var (--crimson11 );
138
- --code-props-background : var (--red3 );
138
+ --code-props-content : var (--grey12 );
139
+ --code-props-background : var (--grey2 );
140
+ --code-props-border : var (--grey6 );
139
141
140
142
--code-syntax-highlighting-comment : var (--grey11 );
141
143
--code-syntax-highlighting-quote : var (--grey11 );
Original file line number Diff line number Diff line change 3
3
flex-wrap : wrap;
4
4
z-index : 1 ;
5
5
row-gap : calc (2 * var (--base-spacing ));
6
- position : relative;
7
- margin-bottom : calc (6 * var (--base-spacing ));
6
+ position : sticky;
7
+ top : var (--header-height );
8
+ padding : calc (2 * var (--base-spacing )) 0 ;
9
+ margin-bottom : calc (3 * var (--base-spacing ));
10
+ background-color : var (--background-default );
8
11
}
9
12
10
13
.filtersContainer {
Original file line number Diff line number Diff line change 17
17
18
18
.attributes > dt {
19
19
float : left;
20
- width : 30 % ;
20
+ width : 20 % ;
21
21
padding : 0 ;
22
22
margin : 0 ;
23
23
border-top : 1px solid var (--border-default );
24
24
padding-top : calc (2.5 * var (--base-spacing ));
25
25
padding-bottom : calc (2.5 * var (--base-spacing ));
26
- text-align : center ;
26
+ text-align : right ;
27
27
color : var (--text-secondary );
28
28
}
29
29
30
30
.attributes > dd {
31
31
float : left;
32
32
width : 70% ;
33
- padding : 0 ;
33
+ padding-left : 10 % ;
34
34
margin : 0 ;
35
35
border-top : 1px solid var (--border-default );
36
36
padding-top : calc (2.5 * var (--base-spacing ));
Original file line number Diff line number Diff line change 8
8
width : 16px ;
9
9
}
10
10
11
+ .icon-button : hover {
12
+ cursor : pointer;
13
+ }
14
+
11
15
.icon-button ::after {
12
16
width : calc (2 * var (--base-spacing ));
13
17
height : calc (2 * var (--base-spacing ));
Original file line number Diff line number Diff line change 9
9
.label-only-button : hover {
10
10
background-color : var (--action-primary-background-hover );
11
11
color : var (--action-primary-content-hover );
12
+ cursor : pointer;
12
13
}
13
14
14
15
.label-only-button : active {
Original file line number Diff line number Diff line change @@ -23,6 +23,7 @@ a:active {
23
23
24
24
.text-button : hover {
25
25
color : var (--action-primary-content-hover ) !important ;
26
+ cursor : pointer;
26
27
}
27
28
28
29
.text-button : active {
Original file line number Diff line number Diff line change 10
10
overflow-x : scroll;
11
11
margin-bottom : calc (3 * var (--base-spacing ));
12
12
margin-top : calc (3 * var (--base-spacing ));
13
+ border-radius : 4px ;
13
14
}
14
15
15
16
.snippet pre {
16
17
margin : 0 ;
17
18
}
18
19
19
- .snippet : hover {
20
- background-color : var (--action-primary-background-hover );
21
- border : 1px solid var (--border-default );
22
- }
23
-
24
20
.snippet .hidden {
25
21
display : none;
26
22
}
55
51
content : attr (line-number);
56
52
color : var (--code-syntax-highlighting-line-number );
57
53
margin-right : calc (2 * var (--base-spacing ));
58
- margin-left : calc (2 * var (--base-spacing ));
54
+ margin-left : calc (var (--base-spacing ));
55
+ display : inline-block;
56
+ text-align : right;
57
+ min-width : calc (3 * var (--base-spacing ));
59
58
}
60
59
61
60
.snippet-showhide-container {
256
255
257
256
.snippet ::-webkit-scrollbar-thumb {
258
257
background-color : var (--code-syntax-highlighting-scrollbar );
259
- border-radius : 3px ;
258
+ opacity : 0.75 ;
259
+ border-radius : 100px ;
260
260
}
261
261
262
262
.snippet ::-webkit-scrollbar-thumb : hover {
Original file line number Diff line number Diff line change 12
12
cursor : pointer;
13
13
}
14
14
15
+ @media (max-width : 768px ) {
16
+ .pill {
17
+ display : none;
18
+ }
19
+ }
20
+
15
21
.pill ::after {
16
22
content : url(../ ../ ../ images/icon-buttons/arrow-down/light/default.svg);
17
23
margin-left : calc (1.5 * var (--base-spacing ));
Original file line number Diff line number Diff line change 10
10
color : var (--text-primary );
11
11
}
12
12
13
- # content > div : first-child {
14
- overflow : hidden;
15
- }
16
13
17
14
# content .sidebar-shown {
18
15
-webkit-transition : width 0.3s ease-in-out;
166
163
color : var (--text-primary );
167
164
}
168
165
166
+ /* content table */
167
+ # content table {
168
+ color : var (--text-primary );
169
+ }
170
+
171
+
169
172
/* content link */
170
173
# content a {
171
174
color : var (--text-primary );
184
187
# content : not (pre ) > code {
185
188
color : var (--code-props-content );
186
189
font-family : "FiraCode-Regular" ;
190
+ border : 1px solid var (--code-props-border );
191
+ padding : 3px 6px ;
192
+ border-radius : 4px ;
193
+ background-color : var (--code-props-background );
194
+ line-height : 24px ;
195
+ font-size : 13px ;
187
196
}
188
197
189
198
.breadcrumbs {
331
340
}
332
341
333
342
.cover-header .icon {
334
- width : 72px ;
343
+ max- width: 72px ;
335
344
}
336
345
337
346
.fqname {
368
377
margin-bottom : calc (3 * var (--base-spacing ));
369
378
}
370
379
380
+ # content > div > .main-signature {
381
+ margin-bottom : 0 ;
382
+ }
383
+
371
384
.tab {
372
385
position : relative;
373
386
}
Original file line number Diff line number Diff line change 93
93
border-radius : 4px ;
94
94
margin-top : calc (1.5 * var (--base-spacing ));
95
95
border : 1px solid var (--border-default );
96
- max-height : calc (100% - calc (24 * var (--base-spacing )));
97
- overflow : scroll;
98
96
}
99
97
100
98
.searchbar-hints {
103
101
flex-flow : column;
104
102
align-items : center;
105
103
justify-content : center;
106
- height : calc (108.5 * var (--base-spacing ));
104
+ height : 80% ;
105
+ overflow : scroll;
107
106
}
108
107
109
108
.searchbar-hints h1 {
Original file line number Diff line number Diff line change 1
1
: root {
2
2
--base-spacing : 8px ;
3
+ --header-height : 64px ;
3
4
}
Original file line number Diff line number Diff line change
1
+ * {
2
+ text-rendering : geometricPrecision;
3
+ }
4
+
1
5
@font-face {
2
6
font-family : "Inter-Bold" ;
3
7
src : url ("../../fonts/Inter-Bold.ttf" ) format ("truetype" );
You can’t perform that action at this time.
0 commit comments