mirror of
https://github.com/digital-asset/daml.git
synced 2024-09-21 01:37:15 +03:00
354a14ea60
Setting the font weight to 500 makes it effectively invisible, at least in certain configurations (my setup is an Ubuntu 20.04 with Chrome 103). In my experiments, 600 is the minimal font weight that makes the difference visible on my setup. In order to keep the appearance of links unchanged, I also decreased the font weight for links to the same as the body. Another possibility to make a compromise that could work for different setups could be to lower the font weight for bold to 600 and have a weight specific for links at 500. This allows emphasis to appear clearly on setups with less sophisticated font management but not to exagerated it for links. changelog_begin changelog_end
78 lines
2.8 KiB
Sass
78 lines
2.8 KiB
Sass
@import wy_variables_overwrite
|
|
|
|
// In here are varibles used for sphinx_rtd_theme, they either add to or overwrite the default ones
|
|
// that are set in wyrm_core/wy_variables.sass. You'll find wyrm in bower_components if you're looking
|
|
// for a reference.
|
|
|
|
$font-awesome-dir: "../fonts/"
|
|
$static-img: "../img/"
|
|
|
|
$nav-content-width: 745px
|
|
$nav-media-query: (($nav-desktop-width) + ($nav-content-width))
|
|
|
|
$mathjax-color: $text-color
|
|
|
|
$headerlink-color: $text-color
|
|
|
|
// Code colors
|
|
$text-viewcode-color: $green
|
|
$text-codexref-color: $text-color
|
|
|
|
// Definition list colors
|
|
$class-color: $blue
|
|
$method-color: $gray
|
|
|
|
// GUI label color
|
|
$guilabel-color: $blue
|
|
|
|
// Footer colors
|
|
$footer-color: $gray
|
|
|
|
// Menu colors
|
|
$menu-vertical-background-color: $section-background-color
|
|
|
|
// Menu text colors
|
|
$menu-color: $gray
|
|
$menu-dark: $gray-dark
|
|
$menu-medium: $gray
|
|
$menu-light: $gray-lighter
|
|
$menu-lighter: lighten($gray,20%)
|
|
|
|
// Menu link colors
|
|
$menu-link-color: $text-color
|
|
$menu-link-dark: $text-dark
|
|
$menu-link-medium: $text-medium
|
|
$menu-link-light: $text-lighter
|
|
$menu-link-active: $white
|
|
|
|
// Navigation colors
|
|
$nav-background-color: $menu-background-color
|
|
$nav-search-background-color: $blue
|
|
$nav-search-color: $section-background-color
|
|
$nav-link-color: $text-dark
|
|
$nav-link-color-visited: $purple
|
|
$nav-link-color-hover: $text-medium
|
|
$nav-link-color-alt: hsl(33, 100%, 51%)
|
|
$nav-caption: $gray
|
|
$nav-shadow: $gray-lighter
|
|
|
|
// Sidebar colors
|
|
$sidebar-background-color: $table-stripe-color
|
|
$sidebar-border-color: $table-border-color
|
|
$sidebar-title-background-color: $table-border-color
|
|
|
|
// Sphinx highlight color
|
|
$highlight-color: $yellow
|
|
|
|
$base-font-family: "Lato", Helvetica,Arial,sans-serif
|
|
$custom-font-family: "Lato", Helvetica,Arial,sans-serif
|
|
$custom-font-family2: "Lato", Helvetica,Arial,sans-serif
|
|
$code-font-family: "Source Code Pro", "Courier New", Courier, monospace
|
|
$btn-font-family: "Roboto Mono", "Lato", Helvetica,Arial,sans-serif
|
|
|
|
$weight-title: 400
|
|
$weight-body: 400
|
|
$weight-bold: 700
|
|
$weight-code: 400
|
|
$weight-btn: 400
|