Skip to content

Commit fd84b31

Browse files
committed
add missing code prop background, remove link border from toc, add proper width to toc, add missing divider above navigation arrows,
1 parent c60b5a3 commit fd84b31

File tree

4 files changed

+8
-2
lines changed

4 files changed

+8
-2
lines changed

docs/_layouts/static-site-main.html

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -12,6 +12,7 @@
1212
page.
1313
</aside>
1414
{% endif %} {{ content }}
15+
<div class="divider" />
1516
<nav class="arrow-navigation" aria-label="Page navigation">
1617
{% if page.previous %}
1718
<div>

scaladoc/resources/dotty_res/styles/theme/components/code-snippet.css

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -8,6 +8,8 @@
88
border: 1px solid transparent;
99
color: var(--text-primary);
1010
overflow-x: scroll;
11+
margin-bottom: calc(3 * var(--base-spacing));
12+
margin-top: calc(3 * var(--base-spacing));
1113
}
1214

1315
.snippet pre {

scaladoc/resources/dotty_res/styles/theme/components/table-of-content.css

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
display: flex;
33
flex-direction: column;
44
padding: 0 calc(1 * var(--base-spacing));
5-
width: calc(29 * var(--base-spacing));
5+
width: calc(28 * var(--base-spacing));
66
}
77

88
#toc-container {
@@ -77,6 +77,7 @@
7777
#content .toc-nav a {
7878
color: var(--action-primary-content-default);
7979
text-decoration: none;
80+
border-bottom: none;
8081
}
8182

8283
#toc li:hover > a {

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

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -165,13 +165,15 @@
165165
border-bottom: 1px solid var(--text-secondary);
166166
}
167167

168-
#content .cover-header a, #content .cover-header a:hover {
168+
#content .cover-header a,
169+
#content .cover-header a:hover {
169170
border-bottom: none;
170171
}
171172

172173
#content :not(pre) > code {
173174
color: var(--code-props-content);
174175
font-family: "FiraCode-Regular";
176+
background-color: var(--red3);
175177
}
176178

177179
.breadcrumbs {

0 commit comments

Comments
 (0)