be99a76829
Having a title in the header is worse than a normal title inside the page. Restore the border to compensate.
35 lines
990 B
SCSS
35 lines
990 B
SCSS
$page_bg_color: #f6fbfd;
|
|
$page_text_color: #250f2d;
|
|
$page_link_color: #2b153f;
|
|
$page_link_hover_color: #180c23;
|
|
$page_width: 800px;
|
|
$small_page_width: 500px;
|
|
|
|
$help_text_color: rgba($page_text_color, .65);
|
|
|
|
$font_size: 16pt;
|
|
$font_family: "Open Sans";
|
|
|
|
$small_screen_font_size: 12pt;
|
|
|
|
$header_bg_color: #6bb8c4;
|
|
$header_text_color: #f6fbfd;
|
|
$header_infos_font_family: "Kalam";
|
|
$header_border_color: #51808c;
|
|
$nav_font_size: 18pt;
|
|
|
|
$footer_bg_color: $header_bg_color;
|
|
$footer_font_size: 12pt;
|
|
|
|
$indexbar_bg_color_1: rgba($header_bg_color, 0.75);
|
|
$indexbar_bg_color_2: rgba($header_bg_color, 0.6);
|
|
$indexbar_text_color: darken($page_link_color, 15);
|
|
|
|
$info_box_color: #c9c8ff;
|
|
$info_box_border_color: darken($info_box_color, 20%);
|
|
$error_box_color: #ffcddd;
|
|
$error_box_border_color: darken($error_box_color, 20%);
|
|
$success_box_color: #a4ffc4;
|
|
$success_box_border_color: darken($success_box_color, 40%);
|
|
$warning_box_color: #ffd45d;
|
|
$warning_box_border_color: darken($warning_box_color, 20%);
|