@charset "utf-8";
/* CSS Document */


body {
	font-family: Arial;
	font-size: 12px;
	font-size: 1vw;
	line-height: 0.9em;
	padding: 1em;
	margin: 0;
}

pre, code {
	line-height: 1.2em;
}

h1, h2, h3, h4 {
	margin-top: 0;
}

a, a:link, a:visited, a:focus, a:active, a:hover {
	color: #255A7A;
	text-decoration:none;
}

a:hover {
	text-decoration: underline;
}

a[name]{
	position: relative;
	top: -1em;
} 

main, nav, header, footer {
	font-size:0.5em;
}

main {
	padding: 2em 0 0 0;
	width: calc(85% - 2em);
	position: relative;
	top: -1em;
	left: calc(15% + 2.5em);
}

main.big {
	left: 4.5em;
	width: calc(100% - 4em);
}
	
h1, h2 {
	font-size: 1.3em;
	text-transform: uppercase;
	letter-spacing: 0.1em;
	color: #666;
	padding: 0;
	margin: 0 0 1em 0;
}
	
h2 {
	background-color: #FC0;
	padding: 0.5em 1em;
	display:inline-block;
	margin-top: 0.5em;
}

h2:first-child {
	margin-top: 0;
}

h3 {
	font-size: 1.1em;
	color: #039;
	font-weight:bold;
		
	border-left: 4px solid #039;
	padding: 0 0 0 1em;
}
	
	
main a:hover {
	text-decoration:underline;
}
	
nav {
	position: fixed;
	left: 2em;
	top: 2em;
	margin: 0;
	height: calc(100% - 4em);
	padding:0;
	background-color: #FC0;
	width: 15%;
}

nav.small {
	width: 2em;
	padding: 0;
	z-index: 99;
}

nav .btn-container {
	height: 100%;
	padding: 0;
	margin: 0;
}

nav#sidebar .btn-container {
	position: absolute;
	left: 0;
	top: 0;
	width: 2em;
}

nav .btn-container button {
	height: 100%;
	padding: 0;
	margin: 0;
	width: 100%;
	border: 0;
	background: transparent;
	font-size: 1.2em;
	color: #fff;
}

nav a, nav a:hover, nav a:visited, nav a:link {
	color: #C00;
	text-transform: uppercase;
	letter-spacing: 0.1em;
	font-weight: bold;
	text-decoration: none;
}

nav div {
	margin: 1em 2em;	
	vertical-align:text-bottom;
	height: 100%;
	display: block;
	top: 0;
	font-size: 0.8em;
}

ul {
	margin: 0;
	padding: 0;
	list-style: none;
	display:block;	
}

ul.ul, .python ul.ul {
	list-style: disc;
	background-color: #fff;
}
	
li {
	padding: 0;
	margin: 0;
	text-align: center;
	color:#FFF;
}

ul.ul li {
	text-align: left;
	color: #000;
	padding-left: 1em;
}

	
li.break, li.break:hover {
	background-color: #FC0;
	border-bottom: 2px dashed #C00;
}
	
li a {
	display: block;
	padding: 0.3em 0
}

ul.ul li a {
	display: inline-block;
	text-decoration: underline;
}
	
li a:hover {
	color: #FFFFFF;
}


ul.ul li a:hover {
	color: #255A7A;
	text-decoration: none;
}

h2 + pre, h2 + p {
	margin-top: 0;
}

header {
	background-color: #fff;
	position: fixed;
	top: 0;
	left: 0;
	display: block;
		
	z-index: 100;
	padding: 0;
	margin: 0 2em;
	width: calc(100% - 3.5em);
	text-transform: uppercase;
	letter-spacing: 0.1em;
	font-weight: bold;
	border-width: 0 1px 1px 0;
	border-style: solid ;
	border-color: rgb(130, 203, 237)
}

header ul {
	padding: 0;
	margin: 0;
}

header li {
	display: inline-block;
	padding: 0.7em 0.5em 0 0.5em;
	overflow: hidden;
}

header .nav-container {
	text-align: center;
	padding: 0;
	margin: 0;
	line-height: 1em;
}

header .btn-container {
	padding: 0;
	margin: 0;
	line-height: 0.2em;
}

header .btn-container button {
	width: 100%;
	display: block;
	height: 2em;
	border: 0;
	background-color: transparent;
	padding: 0;
	margin: 0;
	font-size: 1em;
	overflow: hidden;
	line-height: 0.2em;
	color: rgb(130, 203, 237);
}

header .btn-container button:hover {
	color: rgb(12, 62, 86);
}

header a:hover {
	text-decoration: none;
}

header a, header a:link, header a:visited {
	color: #ccc;
}

.active, a.active, a:link.active, a:visited.active {
	color: rgb(12, 62, 86);
}

.active:hover, a.active:hover, header a:hover {
	color: rgb(130, 203, 237);
}

footer {
	width: 100%;
	height: 2em;
	position: fixed;
	bottom: 0;
	left: 0;
	background-color: #fff;
	font-style: italic;
	color: #CCC;
}

footer p {
	position: relative;
	top: 0;
	padding: 0;
	margin: 0;
	left: calc(15% + 4.5em);
	display: inline-block;
	font-size: 0.9em;
}

footer p a, footer p a:link, footer p a:visited {
	color: #888;
}

/* color schemes for languages ----------------------*/

nav.python, .python ul, .python li.break, nav.python a {
	background-color: rgb(130, 203, 237);
	color: #0C3E56;
	border-color: #0C3E56;
}

nav.python a:hover {
	color: #ffffff;
	background-color: rgba(12, 62, 86, 0.8);
}

.python h2 {
	background-color: rgb(130, 203, 237);
	color: #fff;
}

.python h3 {
	color: #0C3E56;
	border-color: #0C3E56;
}


/* Syntax highlighting ----------------------*/

code.hljs {
	padding: 0em 1em 1em 2em;
}

.hljs-title, .hljs-number {
	color: #8C4B14;
}

.hljs-string, .hljs-quote {
    color: #0087C6;
}

.hljs-keyword {
	font-weight: bolder;
	color: #000;
}

/* media queries ----------------------*/

@media (max-width: 1000px) {
	
	main, nav, header, footer {
		font-size:0.7em;
	}
	
	nav {
		width: 25%;
	}
	
	main {
		width: calc(75% - 3em);
		left: calc(25% + 3em);
	}
	
	footer p {
		left: calc(25% + 4.5em);
	}
}