File tree 4 files changed +29
-9
lines changed
scaladoc/resources/dotty_res/styles/theme
4 files changed +29
-9
lines changed Original file line number Diff line number Diff line change 1
1
.documentableElement {
2
- background-color : var (--action-primary-background-default-solid );
3
- padding : calc (3 * var (--base-spacing ));
4
- border-radius : 4px ;
5
- margin-bottom : calc (3 * var (--base-spacing ));
2
+ padding : 12px 0 ;
3
+
6
4
color : var (--text-primary );
7
5
position : relative;
6
+ border-top : 1px solid var (--border-default );
8
7
}
9
8
10
9
.documentableElement : last-child {
11
10
margin-bottom : 0 ;
11
+ border-top : 1px solid var (--border-default );
12
12
}
13
13
14
14
.documentableElement .signature {
55
55
display : block;
56
56
}
57
57
58
+ .documentableElement .attributes {
59
+ margin-bottom : 0 ;
60
+ }
61
+
58
62
[t = "k" ] {
59
63
color : var (--code-method-highlighting-keyword );
60
64
}
Original file line number Diff line number Diff line change 3
3
overflow : hidden;
4
4
padding : 0 ;
5
5
margin : 0 ;
6
- border-bottom : 1px solid var (--border-default );
7
6
margin-bottom : calc (6 * var (--base-spacing ));
8
7
}
9
8
34
33
padding-bottom : calc (2.5 * var (--base-spacing ));
35
34
}
36
35
36
+ .attributes > dt : first-child ,
37
+ .attributes > dd : first-of-type {
38
+ border-top : none;
39
+ }
40
+
37
41
.attributes > dd > .attributes > dt {
38
42
border : none;
39
43
padding : 0 ;
48
52
width : 80% ;
49
53
}
50
54
51
- .documentableElement .attributes {
52
- margin-bottom : 0 ;
53
- }
55
+
Original file line number Diff line number Diff line change 18
18
line-height : 20px ;
19
19
}
20
20
21
+ dd .snippet {
22
+ margin : 0 ;
23
+ }
24
+
21
25
.snippet .hidden {
22
26
display : none;
23
27
}
Original file line number Diff line number Diff line change 29
29
30
30
@media (min-width : 1920px ) {
31
31
# content {
32
- width : calc (90 * var (--base-spacing ));
33
32
padding-left : calc (36.75 * var (--base-spacing ));
34
33
padding-top : calc (18 * var (--base-spacing ));
35
34
}
35
+
36
+ # content > div : first-child {
37
+ width : calc (90 * var (--base-spacing ));
38
+ }
36
39
}
37
40
38
41
@media (max-width : 1920px ) {
419
422
margin-bottom : 0 ;
420
423
}
421
424
425
+ # attributes > h2 {
426
+ margin-bottom : calc (3 * var (--base-spacing ));
427
+ }
428
+
429
+
422
430
.tab {
423
431
position : relative;
424
432
}
466
474
display : block;
467
475
}
468
476
477
+
478
+
469
479
# content section {
470
480
margin-top : calc (6 * var (--base-spacing ));
471
481
}
You can’t perform that action at this time.
0 commit comments