html {
	overflow-y: scroll;
	position: relative;
	min-height: 100%
}

html, body {
	font-size: 14px !important;
	color: #333;
	font-family: Lato,Arial,Helvetica,sans-serif;
	-webkit-font-smoothing: antialiased;
	-webkit-text-size-adjust: 100%;
	-ms-text-size-adjust: 100%;
	text-rendering: optimizeLegibility
}

body {
	padding-bottom: 35px;
	margin-bottom: 35px
}

.container,
.jumbotron .container {
	max-width: 860px
}

nav.navbar {
	font-weight: 700;
	background-color: #222 !important;
}

@-moz-document url-prefix() {
	nav.navbar {
		font-weight: normal !important;
	}
}

footer.footer {
	position: absolute;
	bottom: 0;
	width: 100%;
	background-color: #f5f5f5
}

.modal-open[style] {
	padding-right: 0px !important;
}

.frontpage-jumbotron {
	border-radius: 0 !important;
	margin-bottom: 0;
	background: #003366 !important;
	color: #fff;
}

.frontpage-jumbotron-search {
	color: initial !important;
}

span.link {
	color: #007bff;
	text-decoration: none;
	background-color: transparent;
	cursor: pointer;
}

.pointer {
	color: #007bff;
	text-decoration: none;
	cursor: pointer;
}

.hidden {
	display: none;
}

th {
	font-weight: normal !important;
}

.prettyprint {
	border-radius: .3rem;
}
.pln {
	color: #fffefe!important
}

pre .str {
	color: #f4645f
}

pre .kwd {
	color: #4bb1b1
}

pre .com {
	color: #888
}

pre .typ {
	color: #ef7c61
}

pre .lit {
	color: #bcd42a
}

pre .clo,
pre .opn,
pre .pun {
	color: #fff
}

pre .tag {
	color: #4bb1b1
}

pre .atn {
	color: #ef7c61
}

pre .atv {
	color: #bcd42a
}

pre .dec {
	color: #fff
}

pre .var {
	color: #606
}

pre .fun {
	color: red
}