actions
/
mdBook
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Remove "!important" from code class CSS rule 

to allow style overriding
This commit is contained in:
Antonio Vivace 2021-05-27 11:39:46 +02:00 committed by GitHub
parent 89a2e39b80
commit 4d18e1234b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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

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