$highlight_blue: white;
$widget_black: #00007d;//68BBE3, add8e6
$border_gray: #ccc;
$background_gray: #ededed;
$background_light_gray: #fafafa;
$announcement_red: #ae0000;
$theme_color:  #9c3706;

$base_font_size: 14px;
$widget_border_radius: 0.5em;
$table_header_rounding: 6px;

$monospace-fonts: var(--md-code-font-family),monospace;
$navbar_height: 50px;
$navbar_height_mobile: 36px;