diff options
| author | johannst <johannst@users.noreply.github.com> | 2022-12-21 22:24:31 +0000 |
|---|---|---|
| committer | johannst <johannst@users.noreply.github.com> | 2022-12-21 22:24:31 +0000 |
| commit | ead2ca2cfa3774af733c613ea03d9b4f3d10fbdf (patch) | |
| tree | 495b5de1bd2f37536a471a6ce5b27d8a303e513f /css/general.css | |
| parent | 2dfbc312e6ccb88f838170d8e777d48aacde2ff5 (diff) | |
| download | notes-ead2ca2cfa3774af733c613ea03d9b4f3d10fbdf.tar.gz notes-ead2ca2cfa3774af733c613ea03d9b4f3d10fbdf.zip | |
deploy: 4a8c8c7520419cbaa01b26353ef35e357c5d1ecf
Diffstat (limited to 'css/general.css')
| -rw-r--r-- | css/general.css | 16 |
1 files changed, 14 insertions, 2 deletions
diff --git a/css/general.css b/css/general.css index 0e4f07a..344b53e 100644 --- a/css/general.css +++ b/css/general.css @@ -22,8 +22,8 @@ body { } code { - 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 */ + font-family: var(--mono-font) !important; + font-size: var(--code-font-size); } /* make long words/inline code not x overflow */ @@ -148,6 +148,18 @@ blockquote { border-bottom: .1em solid var(--quote-border); } +kbd { + background-color: var(--table-border-color); + border-radius: 4px; + border: solid 1px var(--theme-popup-border); + box-shadow: inset 0 -1px 0 var(--theme-hover); + display: inline-block; + font-size: var(--code-font-size); + font-family: var(--mono-font); + line-height: 10px; + padding: 4px 5px; + vertical-align: middle; +} :not(.footnote-definition) + .footnote-definition, .footnote-definition + :not(.footnote-definition) { |