jesus/mdbook
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Add !important to code {font-family} property (#1062)

Browse source 
If accepted, this will fix #1061
This commit is contained in:
David Omar Flores Chávez 2019-10-11 07:21:13 -05:00 • committed by Dylan DPC
parent 01e50303a2
commit d63ef8330d
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/theme/css/general.css
View file

@ -16,7 +16,7 @@ body {
}
code {
font-family: "Source Code Pro", Consolas, "Ubuntu Mono", Menlo, "DejaVu Sans Mono", monospace, monospace;
font-family: "Source Code Pro", Consolas, "Ubuntu Mono", Menlo, "DejaVu Sans Mono", monospace, monospace !important;
font-size: 0.875em; /* please adjust the ace font size accordingly in editor.js */
}