mirror of
https://github.com/Microsoft/vscode
synced 2024-08-27 21:09:43 +00:00
Also apply #114709 to the extension editor
Fixes #114667 Also updates the monospace font to use our default monospace stack
This commit is contained in:
parent
8c5e805d3a
commit
29c5c52302
|
@ -724,9 +724,16 @@ export class ExtensionEditor extends EditorPane {
|
|||
}
|
||||
|
||||
code {
|
||||
font-family: "SF Mono", Monaco, Menlo, Consolas, "Ubuntu Mono", "Liberation Mono", "DejaVu Sans Mono", "Courier New", monospace;
|
||||
font-size: 14px;
|
||||
line-height: 19px;
|
||||
}
|
||||
|
||||
pre code {
|
||||
font-family: var(--vscode-editor-font-family);
|
||||
font-weight: var(--vscode-editor-font-weight);
|
||||
font-size: var(--vscode-editor-font-size);
|
||||
line-height: 1.5;
|
||||
}
|
||||
|
||||
code > div {
|
||||
|
|
|
@ -288,7 +288,7 @@ export class ReleaseNotesManager {
|
|||
}
|
||||
|
||||
code {
|
||||
font-family: Menlo, Monaco, Consolas, "Droid Sans Mono", "Courier New", monospace, "Droid Sans Fallback";
|
||||
font-family: "SF Mono", Monaco, Menlo, Consolas, "Ubuntu Mono", "Liberation Mono", "DejaVu Sans Mono", "Courier New", monospace;
|
||||
font-size: 14px;
|
||||
line-height: 19px;
|
||||
}
|
||||
|
|
Loading…
Reference in a new issue