@font-face {
	font-family: 'Ubuntu';
	src: url(/fonts/ubuntu-light-webfont.woff2) format('woff2');
	font-weight: 300;
	font-style: normal;
}

@font-face {
	font-family: 'Ubuntu-Mono';
	src: url(/fonts/ubuntumono-regular-webfont.woff2) format('woff2');
	/*font-weight: 300;*/
	font-style: normal;
}

html {
	font-family: Ubuntu, sans-serif;
}

.menu-list li a {
	font-family: Ubuntu-Mono,'Noto Mono'
}

#editor {
	position: absolute;
	top: 0;
	right: 0;
	bottom: 0;
	left: 0;
	margin: 3%;
}

.select:not(.is-multiple):not(.is-loading)::after {
	border-color: $dark-shadow;
}

.select:not(.is-multiple):not(.is-loading):hover::after {
	border-color: darken($dark-shadow, 20%);
}

.ace-solarized-light {
	background: $background-light;

	& .ace_gutter {
		background: $background-dark;
	}
}