Mirrors/mdBook
2
0
Fork 0
mirror of https://github.com/rust-lang/mdBook synced 2024-12-14 14:52:37 +00:00
Code Issues Projects Releases Packages Wiki Activity

switch to Source font family

Browse source
This commit is contained in:
Sebastian Köln 2019-03-20 16:34:19 +01:00
parent 9c8fae4704
commit 3faa3e42f0
2 changed files with 4 additions and 24 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

26
src/theme/css/book.css
View file

@ -1,33 +1,13 @@
@font-face {
font-family: "Liberation Serif";
src: url("/fonts/LiberationSerif-Regular.ttf");
font-weight: normal;
}
@font-face {
font-family: "Liberation Serif";
src: url("/fonts/LiberationSerif-Bold.ttf");
font-weight: bold;
}
@font-face {
font-family: "Liberation Serif";
src: url("/fonts/LiberationSerif-Italic.ttf");
font-style: italic;
}
@font-face {
font-family: "Liberation Mono";
src: url("/fonts/LiberationMono-Regular.ttf");
font-weight: normal;
}
body { body {
font-family: "Liberation Serif", serif; font-family: "Source Serif Pro", serif;
} }
p { p {
text-align: justify; text-align: justify;
line-height: 1.25em; line-height: 1.25em;
} }
code { code {
font-family: "Liberation Mono", monospace; font-family: "Source Code Pro", monospace;
padding: 0 0 1pt 0 !important;
} }
pre { pre {
margin-left: 2em; margin-left: 2em;

2
src/theme/index.hbs
View file

@ -19,7 +19,7 @@
<!-- Fonts --> <!-- Fonts -->
<link rel="stylesheet" href="{{ path_to_root }}FontAwesome/css/font-awesome.css"> <link rel="stylesheet" href="{{ path_to_root }}FontAwesome/css/font-awesome.css">
<link href="https://fonts.googleapis.com/css?family=Open+Sans:300italic,400italic,600italic,700italic,800italic,400,300,600,700,800" rel="stylesheet" type="text/css"> <link href="https://fonts.googleapis.com/css?family=Open+Sans:300italic,400italic,600italic,700italic,800italic,400,300,600,700,800" rel="stylesheet" type="text/css">
<link href="https://fonts.googleapis.com/css?family=Source+Code+Pro:500" rel="stylesheet" type="text/css"> <link href="https://fonts.googleapis.com/css?family=Source+Code+Pro|Source+Serif+Pro" rel="stylesheet">
<!-- Highlight.js Stylesheets --> <!-- Highlight.js Stylesheets -->
<link rel="stylesheet" href="{{ path_to_root }}highlight.css"> <link rel="stylesheet" href="{{ path_to_root }}highlight.css">