body {
	margin: 0;
	font-family: Helvetica, Arial, sans-serif;
}
abbr {
	border-bottom: 1px dotted #999;
}
pre,
code {
	font-family: Menlo, monospace;
	font-size: 14px;
}
pre {
	line-height: 18px;
	background: #e9e9e9;
	padding: 10px;
	-webkit-border-radius: 5px;
	-moz-border-radius: 5px;
	border-radius: 5px;
	tab-size: 4;
	overflow-x: auto;
}
code {
	font-weight: bold;
}
pre > code {
	font-weight: inherit;
}
pre .comment {
	color: #375EAB;
}
pre .highlight,
pre .highlight-comment,
pre .selection-highlight,
pre .selection-highlight-comment {
	background: #FFFF00;
}
pre .selection,
pre .selection-comment {
	background: #FF9632;
}
pre .ln {
	color: #999;
}
body {
	color: #222;
}
a,
.exampleHeading .text {
	color: #375EAB;
	text-decoration: none;
}
a:hover,
.exampleHeading .text:hover {
	text-decoration: underline;
}
p,
pre,
ul,
ol {
	margin: 15px;
}

li > ul {
	margin-top: 10px;
	margin-bottom: 10px;
}

li > p {
	margin-left: 0;
	margin-right: 0;
}

h1,
h2,
h3,
h4 {
	margin: 20px 0;
	padding: 0;
	color: #375EAB;
	font-weight: bold;
}
h1 {
	font-size: 24px;
}
h1.rootHeading {
	color: #333;
	margin: 0.9em 0.5em;
	font-size: 30px;
	font-weight: normal;
	text-align: center;
	line-height: 1.3em;
}
h1.rootHeading em {
	font-weight: bold;
	font-style: normal;
}
h2,
h2>a {
	color: #fff;
	background: #699023;
	padding: 4px 8px;
}
h2 {
	font-size: 20px;
}
h2>a {
	font-size: 18px;
	text-decoration: underline;
}
h2>a:hover {
	color: #be1d2d;
}
h3 {
	font-size: 20px;
}
h3,
h4 {
	margin: 20px 5px;
}
h4 {
	font-size: 16px;
}
.rootHeading {
	font-size: 20px;
	margin: 0;
}

dl {
	margin: 20px;
}
dd {
	margin: 2px 20px;
}
dl,
dd {
	font-size: 14px;
}

table.dir th {
	text-align: left;
}
table.dir td {
	word-wrap: break-word;
	vertical-align: top;
}
div#page.wide table.dir td.name {
	white-space: nowrap;
}

#header {
  text-align: center;
}

.bar {
  height: 43px;
  width: 788;
  text-align: center;
  background: #699023;
  margin-left: auto;
  margin-right: auto;
  margin-top: 0em;
  margin-bottom: 1em;
}

.bar .hatecss,
h2 {
  color: #fff;
  font: 700 20px 'Source Sans Pro', arial, serif;
  text-transform: uppercase;
  letter-spacing: 0.1em;
  text-shadow: -1px 1px #666;
}
.content h2 {
	text-transform: capitalize;
}

.bar .hatecss {
  display: table-cell;
  vertical-align: middle;
  text-align: center;
  width: 788px;
  height: 44px;
  /* border: 1px solid red; */
  margin: 0;
}

.bar .hatecss a {
  color: #fff;
  margin: 0 0.5em;
  font-size: 24px;
}

div.content {
  width: 788px;
  margin-left: auto;
  margin-right: auto;
  margin-top: 1em;
  margin-bottom: 1em;
  line-height: 140%;
  font-size: 16px;
}

#props {
  margin-top:1em;
  text-align: center;
  font-size: 75%;
}

table.status {
  border: 2px solid black;
  width: 100%;
}

table.status td {
  border: 1px solid #999;
  padding: 0.4em;
}

table.status th {
  border: 1px solid black;
  padding: 0.4em;
}

dl.terms dt {
  margin-top: 0.5em;
  font-weight: bold;
  font-style: italic;
}

pre.sty {
    padding-left: 1em;
    border-left: 2px solid #e84c00;
    background: #e8b9a2;
}

a.local {
    text-underline: dotted-underline;  /* TODO: i forget. look this up */
}

span.termhashlink {
    font-weight: normal;
    font-size: small;
    color: #e84c00;
}

span.termhashlink a {
    color: #e84c00;
}

.toggleButton { cursor: pointer; }
.toggle .collapsed { display: block; }
.toggle .expanded { display: none; }
.toggleVisible .collapsed { display: none; }
.toggleVisible .expanded { display: block; }

/* For monthly release page */
a.downloadBox {
	margin-top: 1em;
	display: block;
	color: #222;
	border: 1px solid #375EAB;
	border-radius: 5px;
	background: #E0EBF5;
	width: 280px;
}
a.downloadBox:hover {
	text-decoration: none;
}
.downloadBox .platform {
	font-size: large;
}
.downloadBox .filename {
	color: #375EAB;
	font-weight: bold;
	line-height: 1.5em;
}
a.downloadBox:hover .filename {
	text-decoration: underline;
}
.downloadBox .checksum {
	font-size: 5pt;
}

a { font-weight: bold; }

/* Header anchor links styling */
.anchor {
	padding:4px;
}
.anchor svg {
	visibility: hidden;
	vertical-align:middle;
}
h1 svg,
h2 svg,
h3 svg,
h4 svg {
	fill: #375EAB;
}
h2 svg {
	fill: #fff;
}
h1:hover .anchor svg, h2:hover .anchor svg,
h3:hover .anchor svg, h4:hover .anchor svg,
h5:hover .anchor svg, h6:hover .anchor svg {
	visibility: visible;
}