haxelib.css

html, body{
  height:100%;
}
body {
  padding: 0;
  margin:0;
  min-height:100%;
  font-size:16px;
  font-family:"Open Sans", sans-serif;
  color: #1e1e1e;
  line-height: 1.5;
}
h1, h2, h3, h4, h5, h6 {
	font-family: "Source Sans Pro", sans-serif;
	font-weight: 600;
	word-wrap: break-word;
}
h1 {
	font-size: 36px;
	color: #171717;
}
h1 small {
	font-size: 14px;
	color: #999;
	font-weight: normal;
}
h2 {
	font-size: 30px;
}
h3 {
	font-size: 24px;
}
h4 {
	font-size: 20px;
}
h5, h5 code {
	font-size: 18px;
}
h6 {
	font-size: 16px;
}
html pre, html pre code {
	font-family: "Source Code Pro", "Courier New";
	font-size: 14px;
	line-height: 20px;
	white-space: pre;
	overflow-x: auto;
}
pre, div.pre {
	color: #333;
	background-color: #f3f3f3;
	border: 1px solid #bbb;
	margin: 15px;
	padding: 5px;
	padding-left: 20px;
}

code {
  font-family: Monaco,Menlo,Consolas,"Courier New",monospace;
  font-weight: normal;
  color: #666;
  background-color: #f7f7f9;
  border: 1px solid #e1e1e8;
  white-space: nowrap;
  border-radius: 3px;
  padding: 2px 4px;
  font-size: 13px;
}
code .identifier, code.type {
  font-weight: bold;
}

code a { text-decoration:none; }
code a:hover { text-decoration:underline; }

.navbar { margin:0 0 20px 0; padding:0; color:#fff; } 
.navbar .tagline { position:relative; top:11px; } 
.navbar .brand { padding: 7px 20px 7px;}
.navbar .pull-right { position:relative; top:8px; } 
.navbar .pull-right a {color: #F48821;}

.dark {
	background: rgb(20,20,25);
	color: white;
}
.dark a {
	color: white;
}
.dark a:hover {
	color: rgb(200,200,200);
}
.dark blockquote {
	border-left: 3px solid rgb(126,126,129);
}
.dark blockquote small {
	color: white;
	font-weight: bold;
}
.dark blockquote small:before {
	display: none;
}

footer{
	margin-top:40px;
	font-size:12px;
	padding: 10px;
}
.copyright {
	padding: 6px;
	overflow: hidden;
	text-align:center;
	margin: 40px 0;
}
.dark .copyright .hf-link { color:#F48821; }

.legacy-notice {
	border : 1px solid #AAA;
	padding: 10px;
	margin: 10px;
}

li {line-height:1.5}

.clear {
	clear : both;
}

.list-unstyled {
	list-style:none;
	margin-left:0;
}

.menu ul i.fa {
	color: rgb(200,200,200);
	font-weight: normal;
	font-size: 16px;
}
.menu .badge {
	border:1px solid rgb(180,180,180);
	background:transparent;
	color: rgb(180,180,180);
	font-weight: normal;
}

.input-append .add-on, .input-prepend .add-on {background: #F48821;}
.well h1 {margin-top:0}
.well table, .well p.lead { margin-bottom: 0; }

.avatar {
	margin-right:40px;
}

.navbar .nav>li:nth-child(2){
	margin-left:40px;
}
.navbar .nav>li>a {
	color: #F48821;
	text-shadow:none;
}
.navbar .nav>li>a:hover {
	color: #F48821;
	text-decoration:underline;
	text-shadow:none;
}