@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;
}

.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;

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

	& .ace_gutter-active-line {
		border-radius: 50px 0 0 50px;
	}

	& .ace_marker-layer .ace_active-line {
		border-radius: 0 50px 50px 0;
	}
}