Skip to content

Commit 6b53e3d

Browse files
fixed styles for members
1 parent 8b09349 commit 6b53e3d

File tree

2 files changed

+33
-1
lines changed

2 files changed

+33
-1
lines changed

scaladoc/resources/dotty_res/styles/theme/components/attributes.css

Lines changed: 17 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -16,7 +16,7 @@
1616
}
1717

1818
.attributes > dt {
19-
padding: calc(2.5 * var(--base-spacing)) calc(6 * var(--base-spacing)) calc(2.5 * var(--base-spacing)) calc(2 * var(--base-spacing));
19+
padding: calc(2.5 * var(--base-spacing)) calc(6 * var(--base-spacing)) calc(2.5 * var(--base-spacing)) calc(2 * var(--base-spacing));
2020
border-top: 1px solid var(--border-default);
2121
text-align: right;
2222
color: var(--text-secondary);
@@ -31,6 +31,22 @@
3131
padding: calc(2 * var(--base-spacing)) 0;
3232
}
3333

34+
.attributes .memberList dt {
35+
padding: calc(1.5 * var(--base-spacing)) calc(6 * var(--base-spacing)) calc(1.5 * var(--base-spacing)) calc(2 * var(--base-spacing));
36+
border-top: 1px solid var(--border-default);
37+
text-align: right;
38+
color: var(--text-secondary);
39+
overflow: hidden;
40+
}
41+
42+
.attributes .memberList dd {
43+
padding-left: 10%;
44+
margin: 0;
45+
border-top: 1px solid var(--border-default);
46+
overflow: hidden;
47+
padding: var(--base-spacing) 0;
48+
}
49+
3450
.attributes > dt:first-child,
3551
.attributes > dd:first-of-type {
3652
border-top: none;

scaladoc/resources/dotty_res/styles/theme/layout/content.css

Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -170,6 +170,22 @@
170170
margin-block-end: calc(3* var(--base-spacing));
171171
}
172172

173+
#content .cover > h2 {
174+
color: var(--text-secondary);
175+
margin: 8px 0 0;
176+
padding: 12px var(--base-spacing);
177+
}
178+
179+
#content .cover > h2 {
180+
color: var(--text-secondary);
181+
margin: 0;
182+
padding: 12px var(--base-spacing);
183+
}
184+
185+
#content .cover > h2:first-of-type {
186+
margin: 8px 0 0;
187+
}
188+
173189
/* content first paragraph */
174190
.first-p {
175191
margin-block-start: calc(2* var(--base-spacing));

0 commit comments

Comments
 (0)