IntenseWebs/pgadmin4
3
0
Fork 0
mirror of https://github.com/pgadmin-org/pgadmin4.git synced 2025-02-25 18:55:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

Override the font-family defined by bootstrap

Browse Source
This commit is contained in:
Ashesh Vashi 2019-01-30 10:21:36 +05:30
parent fedbcd4045
commit 1858596253
1 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
web/pgadmin/static/scss/resources/_default.variables.scss
View File

@ -45,10 +45,10 @@ $color-editor-foldmarker: #0000FF !default;
$color-editor-activeline: #50B0F0 !default;
/* Typography */
$font-family-primary: "Roboto" !default;
$font-family-primary: "Roboto", "Helvetica Neue", -apple-system, BlinkMacSystemFont, "Segoe UI", Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji" !default;
$font-family-semibold: "Roboto Medium" !default;
$font-family-editor: 'Source Code Pro' !default;
$font-family-icon: 'FontAwesome' !default;
$font-family-editor: "Source Code Pro", SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace !default;
$font-family-icon: "FontAwesome" !default;
$border-width: 1px;
$border-color: #dde0e6;
@ -56,6 +56,8 @@ $border-color-dark: $color-gray;
$box-shadow: 0 0.5rem 3rem $color-gray-dark;
/** Bootstrap Variable Changes **/
$font-family-monospace: $font-family-editor !default;
$font-family-base: $font-family-primary !default;
$gray-600: $color-gray-dark;
$gray-900: $color-fg-theme;
$body-color: $color-fg-theme;