diff options
Diffstat (limited to 'help3xsl/default.css')
-rw-r--r-- | help3xsl/default.css | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/help3xsl/default.css b/help3xsl/default.css index 6cb76ce384..0870b7a1ba 100644 --- a/help3xsl/default.css +++ b/help3xsl/default.css @@ -39,14 +39,15 @@ h5, h6, .listitem, .listitemintable, -.tablecontent, -.input { +.tablecontent { font-family: -apple-system, system-ui, "Segoe UI", Roboto, Ubuntu, Cantarell, "Noto Sans", "DejaVu Sans", "Lucida Grande", "Helvetica Neue", Helvetica, Arial, sans-serif, FreeSerif, NanumGothic, "Noto Sans Tibetan", Taprom; } .input { + background-color: rgba(0,0,0,0.04); transition-property: background-color; transition-duration: 150ms; border-bottom: 1px dashed rgba(0,0,0,0.1); + font-family: Menlo, Consolas, "DejaVu Sans Mono", "Nimbus Mono L", "Lucida Sans Typewriter", "Courier New", Courier, Monaco, monospace; } [data-tooltip]{ position:relative; @@ -115,6 +116,11 @@ pre, padding: 1px 3px; font-family: Menlo, Consolas, "DejaVu Sans Mono", "Nimbus Mono L", "Lucida Sans Typewriter", "Courier New", Courier, Monaco, monospace; } +.smathcode { + border-radius: 2px; + padding: 1px 3px; + font-family: Menlo, Consolas, "DejaVu Sans Mono", "Nimbus Mono L", "Lucida Sans Typewriter", "Courier New", Courier, Monaco, monospace; +} .acronym { font-weight: bold; } |