phc/lean4game
6
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

css for markdown code

Browse Source
This commit is contained in:
Jon Eugster
2023-04-14 11:24:43 +02:00
parent b1dc4d71b3
commit 7644740dc2
1 changed files with 18 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
client/src/app.css
+18 -5
View File
@@ -5,9 +5,7 @@
--clr-light-gray: #ddd; --clr-light-gray: #ddd;
--clr-dark-gray: #aaa; --clr-dark-gray: #aaa;
--clr-darker-gray: #555; --clr-darker-gray: #555;
--clr-code: rgba(0, 32, 90, 0.87);
--ff-primary: Roboto; --ff-primary: Roboto;
--ff-code: "Roboto Mono";
} }
@@ -19,9 +17,24 @@ body {
-moz-osx-font-smoothing: grayscale; -moz-osx-font-smoothing: grayscale;
} }
code { .markdown code {
font-family: var(--ff-code); color: rgba(0, 32, 90, 0.87);
color: var(--clr-code); background-color: rgba(223, 227, 234);
font-size: 85%;
border-radius: .3em;
padding-left: .3em;
padding-right: .3em;
}
.markdown pre {
padding-top: .6em;
padding-bottom: .6em;
padding-left: .3em;
overflow: auto;
line-height: 1.45;
color: rgba(0, 32, 90, 0.87);
background-color: rgba(223, 227, 234);
border-radius: .3em;
} }