/* Global colors */
$primary: #050533;
$secondary: #0D698B;
$text: #F2F1E8;
$accent: #E34234;
$active: green;
$inactive: red;
$warn: orange;
$button: #2b2b2b;

/* Global vars */
$header_height: 3em;

/* Global defaults */
html, body {
	height: 95%;
	background-color: $primary;
	color: $text;
	font-family: sans-serif;
}