html, body {
	height: 100%;
}
body {
	padding: 50px 0 0 0 !important;
}
.navmenu {
	padding-top: 70px;
	width: 350px;
}

.navbar {
	display: block;
	text-align: center;
}
.navbar-brand {
	display: inline-block;
	float: none;
}
.navbar-toggle {
	position: absolute;
	float: left;
	margin-left: 15px;
}

.container {
	max-width: 100%;
}

@media (min-width: 1px) {
	.navbar-toggle {
		display: block !important;
	}
}

@media (min-width: 992px) {
	body {
		padding: 0 0 0 260px !important;
	}
	.navmenu {
		padding-top: 0;
		width: 250px;
	}
	.navbar {
		display: none !important; /* IE8 fix */
	}
}

#tutorialTitle {
	font-size: 38px;
	font-weight: bold;
	color: #333333;
	padding: 20px 0 0 20px;
}

/* Decorate internal documents */
#footer, #main-header, .page-metadata {
	display: none;
}
#main-content p, #main-content li {
	line-height: 30px;
}
.codeContent pre {
	line-height: 18px !important;
}
#main-content h1 {
	margin-top: 15px;
	font-size: 30px;
	line-height: 50px;
}
#main-content h2 {
	margin-top: 10px;
	font-size: 24px;
	line-height: 40px;
}
#main-content h3 {
	margin-top: 10px;
	font-size: 20px;
	line-height: 30px;
}
.docTitle {
	font-size: 38px;
	font-weight: bold;
	color: #333333;
	padding: 20px 0 0 20px;
}
#docBody {
	height: 99.6%;
	width: 100%;
	border: 0;
}