UX: move monospace font to variable (#24762)

This commit is contained in:
Kris 2023-12-07 09:51:14 -05:00 committed by GitHub
parent 001d2176e5
commit 0139481188
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
6 changed files with 8 additions and 7 deletions

View File

@ -132,7 +132,7 @@
} }
.markdown { .markdown {
font-family: monospace; font-family: var(--d-font-family--monospace);
width: 100%; width: 100%;
border-collapse: collapse; border-collapse: collapse;
border-spacing: 0; border-spacing: 0;

View File

@ -531,7 +531,7 @@
width: 100%; width: 100%;
} }
textarea { textarea {
font-family: monospace; font-family: var(--d-font-family--monospace);
resize: none; resize: none;
border-radius: 0; border-radius: 0;
box-shadow: none; box-shadow: none;

View File

@ -514,8 +514,7 @@ pre.onebox code {
white-space: pre-wrap; white-space: pre-wrap;
overflow-y: auto; overflow-y: auto;
word-break: break-word; word-break: break-word;
font-family: Consolas, Menlo, Monaco, "Lucida Console", "Liberation Mono", font-family: var(--d-font-family--monospace);
"DejaVu Sans Mono", "Bitstream Vera Sans Mono", "Courier New", monospace;
box-sizing: border-box; box-sizing: border-box;
.show-more { .show-more {

View File

@ -855,7 +855,7 @@
border: 0; border: 0;
cursor: auto; cursor: auto;
outline: none; outline: none;
font-family: monospace; font-family: var(--d-font-family--monospace);
&:focus { &:focus {
box-shadow: none; box-shadow: none;
border-color: var(--primary-low); border-color: var(--primary-low);

View File

@ -12,6 +12,9 @@
--d-button-border-radius: var(--d-border-radius); --d-button-border-radius: var(--d-border-radius);
--d-input-border-radius: var(--d-border-radius); --d-input-border-radius: var(--d-border-radius);
--d-content-background: initial; --d-content-background: initial;
--d-font-family--monospace: Consolas, Menlo, Monaco, "Lucida Console",
"Liberation Mono", "DejaVu Sans Mono", "Bitstream Vera Sans Mono",
"Courier New", monospace;
} }
// -------------------------------------------------- // --------------------------------------------------

View File

@ -35,8 +35,7 @@ body.dragging {
/***********************/ /***********************/
code, code,
pre { pre {
font-family: Consolas, Menlo, Monaco, "Lucida Console", "Liberation Mono", font-family: var(--d-font-family--monospace);
"DejaVu Sans Mono", "Bitstream Vera Sans Mono", "Courier New", monospace;
} }
// this removes the unwanted top margin on a paragraph under a heading // this removes the unwanted top margin on a paragraph under a heading