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 | |
parent | 2dfbc312e6ccb88f838170d8e777d48aacde2ff5 (diff) | |
download | notes-ead2ca2cfa3774af733c613ea03d9b4f3d10fbdf.tar.gz notes-ead2ca2cfa3774af733c613ea03d9b4f3d10fbdf.zip |
deploy: 4a8c8c7520419cbaa01b26353ef35e357c5d1ecf
Diffstat (limited to 'css')
-rw-r--r-- | css/chrome.css | 14 | ||||
-rw-r--r-- | css/general.css | 16 | ||||
-rw-r--r-- | css/variables.css | 2 |
3 files changed, 25 insertions, 7 deletions
diff --git a/css/chrome.css b/css/chrome.css index 10fa4b3..59eae11 100644 --- a/css/chrome.css +++ b/css/chrome.css @@ -507,6 +507,8 @@ ul#searchresults span.teaser em { padding: 0; list-style: none; display: none; + /* Don't let the children's background extend past the rounded corners. */ + overflow: hidden; } .theme-popup .default { color: var(--icons); @@ -515,7 +517,7 @@ ul#searchresults span.teaser em { width: 100%; border: 0; margin: 0; - padding: 2px 10px; + padding: 2px 20px; line-height: 25px; white-space: nowrap; text-align: left; @@ -527,8 +529,10 @@ ul#searchresults span.teaser em { .theme-popup .theme:hover { background-color: var(--theme-hover); } -.theme-popup .theme:hover:first-child, -.theme-popup .theme:hover:last-child { - border-top-left-radius: inherit; - border-top-right-radius: inherit; + +.theme-selected::before { + display: inline-block; + content: "✓"; + margin-left: -14px; + width: 14px; } 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) { diff --git a/css/variables.css b/css/variables.css index 56b634b..21bf8e5 100644 --- a/css/variables.css +++ b/css/variables.css @@ -6,6 +6,8 @@ --page-padding: 15px; --content-max-width: 750px; --menu-bar-height: 50px; + --mono-font: "Source Code Pro", Consolas, "Ubuntu Mono", Menlo, "DejaVu Sans Mono", monospace, monospace; + --code-font-size: 0.875em /* please adjust the ace font size accordingly in editor.js */ } /* Themes */ |