1
0
mirror of https://github.com/restoreddev/phpapprentice.git synced 2025-07-31 12:00:40 +02:00

Added more linux system fonts to font stack

This commit is contained in:
Andrew Davis
2020-05-25 22:04:19 -05:00
parent ed216114b5
commit 966811c1bf

View File

@@ -18,7 +18,7 @@
} }
body { body {
font-family: Cambria, "Lucida Bright", Lucidabright, "Lucida Serif", Lucida, "DejaVu Serif", "Bitstream Vera Serif", "Liberation Serif", Georgia, serif; font-family: Cambria, "Lucida Bright", Lucidabright, "Lucida Serif", Lucida, "Bitstream Charter", "Caladea", "DejaVu Serif", "Bitstream Vera Serif", "Liberation Serif", Georgia, serif;
font-size: 16px; font-size: 16px;
padding-top: 1em; padding-top: 1em;
padding-bottom: 1em; padding-bottom: 1em;
@@ -28,11 +28,11 @@ body.dark-mode {
color: var(--dark-text-color); color: var(--dark-text-color);
} }
button { button {
font-family: Cambria, "Lucida Bright", Lucidabright, "Lucida Serif", Lucida, "DejaVu Serif", "Bitstream Vera Serif", "Liberation Serif", Georgia, serif; font-family: Cambria, "Lucida Bright", Lucidabright, "Lucida Serif", Lucida, "Bitstream Charter", "Caladea", "DejaVu Serif", "Bitstream Vera Serif", "Liberation Serif", Georgia, serif;
} }
code { code {
background-color: var(--code-highlight); background-color: var(--code-highlight);
font-family: Menlo, Monaco, Consolas, "Noto Mono", "Liberation Mono", "Courier New", monospace !important; font-family: Menlo, Monaco, Consolas, "Ubuntu Mono", "Noto Mono", "Liberation Mono", "Courier New", monospace !important;
font-variant-ligatures: none; font-variant-ligatures: none;
font-size: 14px !important; font-size: 14px !important;
padding: 0.10em 0.25em; padding: 0.10em 0.25em;
@@ -42,7 +42,7 @@ code {
} }
pre, pre code { pre, pre code {
background-color: transparent; background-color: transparent;
font-family: Menlo, Monaco, Consolas, "Noto Mono", "Liberation Mono", "Courier New", monospace !important; font-family: Menlo, Monaco, Consolas, "Ubuntu Mono", "Noto Mono", "Liberation Mono", "Courier New", monospace !important;
font-variant-ligatures: none; font-variant-ligatures: none;
font-size: 14px !important; font-size: 14px !important;
margin: 0 !important; margin: 0 !important;