Skip to content

Commit 985db4c

Browse files
authored
preprocess-css: update font-family names to match the website
In this file, font-family uses names with spaces, but the website declares it without spaces, this would update the font-family names to match the website. Fixes #138
1 parent 4702428 commit 985db4c

File tree

1 file changed

+6
-6
lines changed

1 file changed

+6
-6
lines changed

preprocess-css.css

+6-6
Original file line numberDiff line numberDiff line change
@@ -14,7 +14,7 @@ div#content {
1414
}
1515

1616
html, body {
17-
font-family: "DejaVu Sans", arial, sans-serif;
17+
font-family: DejaVuSans, "DejaVu Sans", arial, sans-serif;
1818
font-size: 1em;
1919
}
2020

@@ -31,21 +31,21 @@ pre,
3131
}
3232

3333
.t-dcl-list-see-monospace > span {
34-
font-family: "DejaVu Sans Mono", courier, monospace;
34+
font-family: DejaVuSansMono, "DejaVu Sans Mono", courier, monospace;
3535
}
3636

3737
.t-sb-list-ln-table tr > td:first-child {
38-
font-family: "DejaVu Sans Mono", courier, monospace;
38+
font-family: DejaVuSansMono, "DejaVu Sans Mono", courier, monospace;
3939
}
4040

4141
.t-param-list-item > td:first-child {
42-
font-family: "DejaVu Sans Mono", courier, monospace;
42+
font-family: DejaVuSansMono, "DejaVu Sans Mono", courier, monospace;
4343
}
4444

4545
.t-dcl-member-div > div:first-child {
46-
font-family: "DejaVu Sans Mono", courier, monospace;
46+
font-family: DejaVuSansMono, "DejaVu Sans Mono", courier, monospace;
4747
}
4848

4949
.t-dcl-member-nobold-div > div:first-child {
50-
font-family: "DejaVu Sans", arial, sans-serif;
50+
font-family: DejaVuSans, "DejaVu Sans", arial, sans-serif;
5151
}

0 commit comments

Comments
 (0)