@import "./pygments.css";

/* Specgen style */

a:link, a:visited {
	text-decoration: none;
}
a:link {
	color: #546E00;
}
a:visited {
	color: #354500;
}
a:hover {
	text-decoration: underline;
}
img {
	border: 0;
}
h1, h2, h3, h4, h5, h6 {
	line-height: 1.0125em;
	font-family: "DejaVu Sans",Helvetica,Arial,sans-serif;
	margin-top: 1em;
	margin-bottom: 0.5em;
}
h1 {
	font-size: 300%;
	font-weight: 400;
}
h1 a, h1 a:link, h1 a:visited ,
h2 a, h2 a:link, h2 a:visited ,
h3 a, h3 a:link, h3 a:visited ,
h4 a, h4 a:link, h4 a:visited ,
h5 a, h5 a:link, h5 a:visited ,
h6 a, h6 a:link, h6 a:visited {
	color: #444;
}
h2 {
	font-size: 200%;
	font-weight: 400;
}
h3 {
	font-size: 140%;
	font-weight: 400;
}
h4, h4 a, h4 a:link, h4 a:visited {
	color: black;
	font-size: 110%;
	font-weight: 500;
}
h5 {
	font-size: 100%;
	font-weight: 600;
}
h6 {
	font-size: 100%;
	font-weight: 700;
}
#titlebox, #metabox {
	display: inline-block;
}
#titlebox{
	display: inline-block;
	max-width: 60%;
	left: 0;
	top: 0;
}
#metabox {
	float: right;
	display: inline-block;
	font-size: x-small;
	margin: 0 0 0.25em 0;
	right: 0;
	top: 0;
	color: #666;
	font-style: italic;
	padding: 0 1em;
}
#meta {
	border-style: hidden;
}
#meta tr, #meta th, #meta td {
	border: 0;
	font-weight: normal;
	padding: 0 0 0.125em 0;
	background-color: transparent;
}
#meta th {
	text-align: right;
}
#meta th:after {
	content: ": ";
}
#subtitle {
	font-size: small;
}
#shortdesc {
	padding: 0;
	margin: 0 0 0.5em 0;
	font-style: italic;
	color: #666;
	display: inline-block;
}
#logo {
	height: 63px;
	margin-left: 1em;
	margin-top: 10px;
	width: 100px;
}
#titlesep {
	color: #DDD;
}
#content-body {
	border-bottom: 0;
	display: block;
	font-size: 75%;
	left: 0;
	margin-left: 2em;
	min-width: 660px;
	padding: 3px 10px 0 0;
	position: absolute;
	top: 63px;
	width: 93.900002%;
	z-index: 0;
}
#body-main {
	font-size: 100%;
	line-height: 1.4em;
	margin-left: 19em;
	padding: 0 .55em 40px 0;
}
#left-hand-navigation {
	left: 1ex;
	position: absolute;
	top: 100px;
	z-index: 1;
}
#menu {
	font-size: 75%;
	margin-bottom: 5px;
	padding: 0;
	width: 16em;
}
#menu ul {
	border: 0;
	list-style: none;
	margin: 0;
	padding: 0;
}
#menu ul.level-one a {
	background-color: #f5f5f5;
	border: 1px solid #dadada;
	color: #4b5a6a;
	display: block;
	margin: 0 0 4px 1.4em;
	padding: 2px 2px 2px 4px;
	text-transform: uppercase;
	width: 13.4em!important;
}
#menu ul.level-one a.selected {
	background-color: #FFF;
	border-left: 3px solid #ffdb4c;
	color: #000;
}
#menu ul.level-two li:first-child a {
	border-top: 0;
}
#menu ul.level-two a {
	background: none;
	background-color: transparent;
	border: 0;
	border-top: 1px solid #ddd;
	color: #3c4b7b;
	display: block;
	margin: 0 3em 0 1.5em;
	padding: .1em;
	text-transform: none;
	width: 11em!important;
}
#menu ul.level-two a:visited {
	color: #4c3b5b;
}
#menu ul.level-one ul.level-two a.selected {
	background-color: #FFF;
	border-left: 0;
	color: #000;
	font-weight: 700;
}
#menu li ul {
	margin-bottom: 7px;
}
#menu a {
	text-decoration: none;
}
#menu ul.level-three a {
	border: 0;
	color: #5e72a5;
	display: block;
	font-size: 95%;
	margin: 0 3em 0 1.8em;
	padding: .1em .1em .1em 1em;
	width: 10em!important;
}
#menu ul.level-three li.selected a.selected {
	color: #000;
	font-weight: 400;
}
#menu ul.level-three {
	margin-top: 5px;
}
#left-hand-navigation h4 {
	color: #4c5b6b;
	font-size: 77%;
	margin: .2em 0 .3em;
	padding: .4em 0 0 1.5em;
}
#left-hand-navigation h4 a {
	color: #4c5b6b;
	font-weight: 700;
	text-decoration: none;
}
#body-main ul, #body-main li {
	margin-left: 1em;
	padding-left: 0;
}
#utility-menu {
	font-size: 88%;
	height: 85px;
	margin: 0;
	padding: 0;
	position: absolute;
	right: 4%;
	top: 0;
	width: 400px;
	z-index: 1;
}
#utility-menu a {
	color: #436a85;
	padding: 0 .5em;
	text-decoration: none;
}
#utility-menu a:hover {
	text-decoration: underline;
}
#utility-menu #screen-switcher {
	bottom: 0;
	margin: 0;
	padding: 0;
	position: absolute;
	right: 0;
}
#screen-switcher dl {
	margin: 0;
	padding: 0;
}
#searchbox {
	font-weight: 700;
	position: absolute;
	right: 0;
	text-align: right;
	top: 0;
	vertical-align: middle;
	white-space: nowrap;
	width: 28.1em;
}
#search {
	color: #a38e60;
	padding: 5px 5px 0 0;
}
#search .input-text {
	background-color: #FFF;
	border: 1px solid #c4cccc;
	font-size: 116%;
	font-weight: 400;
	margin-top: 3px;
	vertical-align: top;
	width: 11em;
}
#search .input-button {
	background-color: #f8f7f7;
	border-bottom: 1px solid #6f7777;
	border-left: 1px solid #c4cccc;
	border-right: 1px solid #6f7777;
	border-top: 1px solid #c4cccc;
	color: #234;
	font-weight: 700;
	margin: 3px .4em 0;
	padding: 0 .2em;
	vertical-align: text-top;
}
input.formbutton {
	background-color: #f8f7f7;
	border-bottom: 1px solid #6f7777;
	border-left: 1px solid #c4cccc;
	border-right: 1px solid #6f7777;
	border-top: 1px solid #c4cccc;
	color: #234;
	font-weight: 700;
	vertical-align: text-top;
}
.formtextinput {
	background-color: #FFF;
	border: 1px solid #c4cccc;
	font-size: 116%;
	font-weight: 400;
	vertical-align: top;
}
#content table {
	clear: right;
}
#body-main h1.pageheading {
	margin: 40px 0 10px;
}
.content-section {
	margin-top: 15px;
}
.content-section h1 {
	margin: 0 0 10px;
}
.content-section p {
	margin: 0 0 5px;
	padding-left: 12px;
}
.content-section .pubdate {
	color: #696969;
	margin: 0 0 8px;
	padding: 0 0 0 12px;
}
blockquote {
	border-left: 1px solid #ccc;
	margin-left: 1em;
	padding-left: 1em;
}
#utility-menu dl {
	font-size: 80%;
	font-weight: 700;
	text-align: right;
}
#utility-menu dd {
	display: inline;
	font-weight: 400;
	padding: 0 0 0 8px;
}
#utility-menu dd a {
	color: #888;
	margin: 0;
	padding: 0;
}
#utility-menu dt {
	margin: 0;
}
#footer {
	bottom: 0;
	clear: both;
	font-size: x-small;
	margin: 2em 0 0 0;
	padding: 0;
	color: #888;
}

#searchbox a.reference, #searchbox span.reference {
	color: #339;
	font-size: 85%;
	font-weight: 400;
	position: absolute;
	right: 8.3em;
	text-decoration: none;
	top: 2.9em;
}
#body-main .success p {
	margin: 4px 8px;
}
body {
	background: #FFF;
	color: #222;
	font-style: normal;
	line-height: 1.6em;
	margin-left: auto;
	margin-right: auto;
	padding: 1em;
	max-width: 60em;
	font-family: "DejaVu Serif",Palatino,serif;
	text-rendering: optimizeLegibility;
}
:link {
	background: transparent;
	color: #00C;
}
:visited {
	background: transparent;
	color: #609;
}
.sec {
	margin: 0.5em 0 0.5em 0;
	padding: 1ex 0 0.5ex 0;
}
ul, ol {
	margin-top: 0;
	padding-top: 0;
	margin: 0 0 0.5ex 0;
}
#topbar {
	line-height: 1em;
}
@media print {
	#topbar {
		color: #000;
		margin: 0.25em auto 0.25em auto;
		padding: 0.25em 0.5em 0.5em 0.5em;
		max-width: 60em;
		position: relative;
	}
	#contentsbox {
	    display: none;
	}
	#topbar a, #topbar a:visited {
		color: #000
	}
	#title a, #title a:visited {
		color: #000;
	}
	#contents {
		display: none;
	}
}
@media screen {
	#topbar {
		margin: 0.25em auto 0.25em auto;
		padding: 0;
		max-width: 60em;
		position: relative;
	}
	#contentsbox {
	    color: #546E00;
	    font-size: small;
	    font-family: "DejaVu Sans",Helvetica,Arial,sans-serif;
	    margin: 0.5em 0 0.5em 0;
	}
	#contents {
	    display: inline;
		padding: 0;
	}
	#contents li {
		display: inline;
		list-style-type: none;
	    margin-left: 0;
		margin-right: 0.5em;
		padding: 0.25ex;
	}
	hr.contentssep {
	    line-height: 0.5;
	    margin: 0 0 1em 0;
	    padding: 0;
	}
}
#title {
	margin-top: 0;
	margin-bottom: 0.25em;
}
#content {
	clear: both;
	padding: 0;
	max-width: 60em;
	margin-left: auto;
	margin-right: auto;
}
.section {
	padding: 0;
}
.category {
	font-size: small;
	color: #AAA;
	float: right;
	vertical-align: bottom;
	padding: 0;
	margin: 0;
	padding-right: 0.25em;
}
.label {
	font-style: italic;
	margin-top: 0.25em;
	color: #666;
}
table.index {
	border-collapse: initial;
	border-radius: 6px;
	border-spacing: 0;
	border: 0;
	font-family: "DejaVu Sans",Helvetica,Arial,sans-serif;
	font-size: small;
	line-height: 1.5em;
	width: 100%;
}
table thead th {
	border: 0;
	border-bottom: 1px solid #DDD;
}
table thead tr:first-child th {
	border: 0;
}
table td {
	border: 0;
}
table td:first-child {
	border: 0;
}
.index td {
    vertical-align: top;
}
.index ul {
	padding-left: 1.25em;
	margin-left: 0;
	list-style-type: circle;
}
.index ul li
{
	padding-left: 0;
	color: #888;
}
.prop {
	margin: 0;
	padding: 0;
}
.description {
	margin-top: 0;
	margin-bottom: 0.75em;
}
.blankdesc, .blankdef {
	margin: 0;
	padding: 0;
	border-spacing: 0;
}
.blankdesc tbody tr td, .blankdef {
	border: 0!important;
}
.blankdesc td {
	padding-right: 0.5em;
}
.blankdesc tbody tr td:first-child {
	border-left: 1px solid #BBB;
	text-align: right;
}
.terminfo, .restriction {
	border-collapse: initial;
	border-spacing: 0;
	font-size: small;
	color: #666;
	border-radius: 0;
	border-bottom-left-radius: 6px;
	border-bottom-right-radius: 6px;
}
table.terminfo {
	border-top: 0;
	margin: 0;
	margin-left: 1.5em;
	margin-bottom: 1.5em;
	padding: 0;
	float: right;
	border-bottom: 1px solid #EEE;
	max-width: 50%;
}
table.terminfo tbody tr:last-child td:first-child,
table.terminfo tbody tr:last-child th:first-child {
	border-bottom-left-radius: 6px;
	border-left: 1px solid #BBB;
}
.restriction {
	border-style: hidden;
}
.terminfo th {
	text-align: right;
	padding-right: 0;
	font-size: 100%;
}
.restriction {
	margin: 0 0 0.5ex 0;
	padding: 0;
	vertical-align: text-top;
}
.restriction td {
	vertical-align: text-top;
}
.terminfo th {
	padding: 0.125em 0.25em 0.125em 0.5em;
	border-left: 1px solid #EEE!important;
	vertical-align: top;
}
.specterm {
	border: 0;
	margin: 1em 0 3em 0;
	padding: 0;
	clear: both;
}
.specterm h4 {
	margin-bottom: 0;
	display: inline;
}
.spectermbody {
	border-top: 1px solid #EEE;
	padding: 0;
}
dl {
	margin: 0;
	padding: 0;
}
dt {
	margin-top: .5em;
	font-family: "DejaVu Sans",Helvetica,Arial,sans-serif;
}
hr {
	background-color: #DDD;
	border: 0;
	color: gray;
	height: 1px;
	margin-bottom: 1.5ex;
	margin-top: 1.5ex;
}
div.head {
	margin-bottom: 1em;
}
div.head h1 {
	clear: both;
	margin-top: 2em;
}
div.head table {
	margin-left: 2em;
	margin-top: 2em;
}
table {
	border-collapse: initial;
	border-spacing: 1.0em 0;
	margin: 0;
	border: 0;
}
th {
	font-size: 115%;
	font-weight: 500;
	text-align: left;
	padding-bottom: 0.5em;
}

p {
	font-family: inherit;
	margin-bottom: 1em;
}

pre {
	margin: 1em 1em 1em 4em;
	padding: 0;
	color: #444;
	font-family: fixed,monospace;
}
code {
	color: #444;
	font-family: fixed,monospace;
}
#menu li, #searchbox form, #iconbar li, #body-main .success p a {
	display: inline;
}
#menu ul.level-one a:hover, #menu ul.level-two a:hover, #menu ul.level-three a:hover, #left-hand-navigation h4 a:hover {
	color: #000;
	text-decoration: underline;
}
h1, h2, h3, h4, h5, h6, th {
	text-align: left;
}
.error {
	color: #DC322F;
}
.warning {
	color: #B58900;
}
.success {
	color: #859900;
}