diff --git a/package.json b/package.json index 68ae7d5..14cc63c 100644 --- a/package.json +++ b/package.json @@ -179,23 +179,23 @@ ] }, "stylelint": { - "extends": [ - "stylelint-config-recommended", - "stylelint-config-standard", - "stylelint-prettier/recommended" - ], - "plugins": [ - "stylelint-csstree-validator" - ], - "rules": { - "csstree/validator": true, - "property-no-vendor-prefix": null, - "selector-class-pattern": null, - "selector-no-vendor-prefix": null, - "value-no-vendor-prefix": null, - "alpha-value-notation": null, - "color-function-notation": null, - "custom-property-empty-line-before": null - } + "extends": [ + "stylelint-config-recommended", + "stylelint-config-standard", + "stylelint-prettier/recommended" + ], + "plugins": [ + "stylelint-csstree-validator" + ], + "rules": { + "csstree/validator": true, + "property-no-vendor-prefix": null, + "selector-class-pattern": null, + "selector-no-vendor-prefix": null, + "value-no-vendor-prefix": null, + "alpha-value-notation": null, + "color-function-notation": null, + "custom-property-empty-line-before": null + } } } diff --git a/style/variables.css b/style/variables.css index 77df6f6..b3af0b0 100644 --- a/style/variables.css +++ b/style/variables.css @@ -24,11 +24,6 @@ Material Design when selecting colors. We are not, however, following all of MD as it is not optimized for dense, information rich UIs. */ -@font-face { - font-family: 'JetBrains Mono'; - src: url('JetBrainsMonoNL-Regular.ttf') format('truetype'); -} - :root { /* Elevation * @@ -121,7 +116,8 @@ all of MD as it is not optimized for dense, information rich UIs. --jp-ui-font-size2: 1.2em; --jp-ui-font-size3: 1.44em; - --jp-ui-font-family: 'JetBrains Mono'; + --jp-ui-font-family: -apple-system, blinkmacsystemfont, 'Segoe UI', helvetica, + arial, sans-serif, 'Apple Color Emoji', 'Segoe UI Emoji', 'Segoe UI Symbol'; /* * Use these font colors against the corresponding main layout colors. @@ -183,7 +179,9 @@ all of MD as it is not optimized for dense, information rich UIs. --jp-content-font-color3: rgba(0, 0, 0, 0.5); --jp-content-link-color: var(--jp-day-blue); - --jp-content-font-family: 'JetBrains Mono'; + --jp-content-font-family: -apple-system, blinkmacsystemfont, 'Segoe UI', + helvetica, arial, sans-serif, 'Apple Color Emoji', 'Segoe UI Emoji', + 'Segoe UI Symbol'; /* * Code Fonts @@ -194,7 +192,7 @@ all of MD as it is not optimized for dense, information rich UIs. --jp-code-font-size: 13px; --jp-code-line-height: 1.3077; /* 17px for 13px base */ --jp-code-padding: 0.385em; /* 5px for 13px base */ - --jp-code-font-family-default: 'JetBrains Mono'; + --jp-code-font-family-default: menlo, consolas, 'DejaVu Sans Mono', monospace; --jp-code-font-family: var(--jp-code-font-family-default); /* This gives a magnification of about 125% in presentation mode over normal. */ @@ -278,7 +276,7 @@ all of MD as it is not optimized for dense, information rich UIs. --jp-cell-editor-active-border-color: var(--jp-brand-color1); --jp-cell-prompt-width: 64px; - --jp-cell-prompt-font-family: 'JetBrains Mono'; + --jp-cell-prompt-font-family: 'Source Code Pro', monospace; --jp-cell-prompt-letter-spacing: 0px; --jp-cell-prompt-opacity: 1; --jp-cell-prompt-not-active-opacity: 0.8;