redoc/lib/shared/styles/_variables.scss

// Colors
// ---------------------------
$primary-color: #0033a0;
$secondary-color: #263238;
$black: #263238;
$green: #00aa13;
$yellow: #f1c400;
$red: #e53935;
$background-color: #fff;
$border-color: #ccc;

$em-size: 14px;

// Font weights
// ---------------------------
$light: 300;
$regular: 400;
$bold: 700;

// Base Font
// ---------------------------
$base-font: Roboto;
$base-font-family: sans-serif;
$base-font-weight: $light;
$base-font-size: 1em;
$base-line-height: 1.5em;
$text-color: $black;

// Heading Font
// ---------------------------
$headers-font: Montserrat;
$headers-font-family: sans-serif;
$headers-font-weight: $regular;
$headers-color: $primary-color;
$h1: 1.85714285714286em;
$h2: 1.5714285714285714em;
$h3: 1.2857142857142858em;
$h4: 1.1428571428571428em;
$h5: 0.929em;

// spacings
$section-spacing: 40px;

// Side Bar
// ---------------------------
$side-bar-width: 260px;
$side-bar-bg-color: #fafafa;
$side-menu-item-color: #384248;
$side-menu-even-bg-color: #f0f0f0;
$side-menu-active-bg-color: #f0f0f0;
$side-menu-item-hpadding: 20px;
$side-menu-item-vpadding: 5px;

// Sample Panel
// ---------------------------
$samples-panel-bg-color: $black;
$samples-panel-width: 40%;
$sample-panel-headers-color: lighten($black, 50%);
$sample-panel-color: lighten($black, 80%);

$tree-lines-color: rgba($primary-color, 0.5);

$side-menu-mobile-breakpoint: 1000px;
$right-panel-squash-breakpoint: 1100px;

// Border Radius
// ---------------------------
$border-radius: 2px;

// texts
$array-text: 'Array of ';
$tuple-text: 'Tuple ';