/* Specgen style */

html, body {
	font-family: sans-serif;
	font-size: 100%;
	background-color: #fff;
	color: #000;
	margin: 0;
	padding: 0;
}
a:link, a:visited {
	text-decoration: none;
}
a:link {
	color: #00a;
}
a:visited {
	color: #518;
}
a:hover {
	text-decoration: underline;
}
img {
	border: 0;
}
h1, h2, h3, h4, h5, h6 {
	line-height: 1em;
	margin: 1em 0 0.5em 0;
}
h1 {
	font-size: 180%;
	font-weight: 900;
}
h2 {
	font-size: 140%;
	font-weight: 650;
}
h3 {
	font-size: 130%;
	font-weight: 600;
}
h4 {
	font-size: 120%;
	font-weight: 550;
}
h5 {
	font-size: 110%;
	font-weight: 500;
}
h6 {
	font-size: 100%;
	font-weight: 450;
}
#header {
	background-color: #F3F3F3;
	border: 0;
	border-bottom: 1px solid #DDD;
	margin: 0 0 1em 0;
	padding: 1ex;
}
#title {
	font-size: 200%;
	font-weight: 700;
	margin: .25ex 0 .25ex 0;
	padding: 0;
}
#subtitle {
    margin: 0 auto 2ex 0.5ex;
}
#logo {
	height: 63px;
	margin-left: 1em;
	margin-top: 10px;
	width: 100px;
}
#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;
}
div#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;
	margin: 0;
	padding: 0 0 0 8px;
}
#utility-menu dd a {
	color: #888;
	margin: 0;
	padding: 0;
}
#utility-menu dt {
	margin: 0;
}
#footer {
	border-top: 1px dashed #ccc;
	bottom: 0;
	clear: both;
	font-size: 75%;
	margin: 3em 0 0;
	padding: 1em;
	position: relative;
	text-align: right;
	vertical-align: top;
}
.footer-text {
	margin: 0 0 0 0;
	vertical-align: top;
	color: #444;
}
#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;
}
#content {
	font-size: 115%;
	min-height: 500px;
}
#body-main .success p {
	margin: 4px 8px;
}
body {
	background: #FFF;
	color: #000;
	margin: 0;
}
:link {
	background: transparent;
	color: #00C;
}
:visited {
	background: transparent;
	color: #609;
}
a:active {
	background: transparent;
	color: #C00;
}
.sec {
	background-color: #FBFBFB;
	border-top: 1px solid #EEE;
	color: #000;
	margin: 1em 1ex .5em 1ex;
	padding: 1ex;
}
ul, ol {
	margin-top: 0;
	padding-top: 0;
	margin: 0 0 0.5ex 0;
}
.content {
	margin-left: 1.5em;
	margin-right: 1.5em;
}
.label {
	font-style: italic;
	margin: 1ex 0;
}
.index {
	margin-left: 1em;
}
.prop {
	margin: 0;
	padding: 0;
}
.description {
	margin-bottom: 0.75em;
}
.blankdesc {
	background-color: #eee;
	border: 1px solid #ddd;
	margin: 0;
	padding: 0;
}
.blankterm {
	padding-right: .5em;
}
.terminfo, .restriction {
	border-spacing: 0.5ex 0.5ex;
    border-collapse: collapse;
    border-style: hidden;
}
.restriction {
	margin: 0;
	padding: 0;
	border-spacing: 0;
	vertical-align: text-top;
}
.terminfo th, .terminfo td {
    border: solid 1px #f3f3f3;
}
.terminfo th, .restriction th {
	padding: 0 1ex 0 0;
}
.specterm {
	background-color: #fbfbfb;
	border: 0;
	border-top: 1px solid #ddd;
	margin: 0;
	padding: 0;
	margin-bottom: 1em;
}
.specterm h3 {
	background-color: #F3F3F3;
	padding: 0.5ex;
	margin: 0;
}
.spectermbody {
	padding: 1ex 1ex 1ex 1ex;
}
dl {
	margin: 0;
	padding: 0;
}
dt {
	font-weight: 700;
	margin-top: .75ex;
}
hr {
	background-color: silver;
	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: collapse;
    border-style: hidden;
    margin: 0;
}
th {
    vertical-align: text-top;
}
td, th {
    border: 1px solid #eee;
    padding: 0.3ex 1em 0.3ex 1em;
}
#meta {
    margin: 1ex 0 0 0.5ex;
    font-size: small;
}
#meta tr td, #meta tr th {
    padding-left: 0;
}
pre {
    margin: 1em 1em 1em 4em;
    padding: 0;
}
code {
	color: #373;
	font-family: fixed,monospace;
	font-weight: 500;
}
#menu li, #searchbox form, ul#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;
}
.warning {
    color: red;
    font-weight: bold;
}

/* Pygments Style */
.hll { background-color: #ffffcc }
.c { color: #408080; font-style: italic } /* Comment */
.err { border: 1px solid #FF0000 } /* Error */
.k { color: #BB712B; } /* Keyword */
.o { color: #666666 } /* Operator */
.cm { color: #408080; font-style: italic } /* Comment.Multiline */
.cp { color: #D33682 } /* Comment.Preproc */
.c1 { color: #408080; font-style: italic } /* Comment.Single */
.cs { color: #408080; font-style: italic } /* Comment.Special */
.gd { color: #A00000 } /* Generic.Deleted */
.ge { font-style: italic } /* Generic.Emph */
.gr { color: #FF0000 } /* Generic.Error */
.gh { color: #000080; font-weight: bold } /* Generic.Heading */
.gi { color: #00A000 } /* Generic.Inserted */
.go { color: #808080 } /* Generic.Output */
.gp { color: #000080; font-weight: bold } /* Generic.Prompt */
.gs { font-weight: bold } /* Generic.Strong */
.gu { color: #800080; font-weight: bold } /* Generic.Subheading */
.gt { color: #0040D0 } /* Generic.Traceback */
.kc { color: #008000; font-weight: bold } /* Keyword.Constant */
.kd { color: #008000; font-weight: bold } /* Keyword.Declaration */
.kn { color: #008000; font-weight: bold } /* Keyword.Namespace */
.kp { color: #008000 } /* Keyword.Pseudo */
.kr { color: #008000; font-weight: bold } /* Keyword.Reserved */
.kt { color: #3E873E } /* Keyword.Type */
.m { color: #666666 } /* Literal.Number */
.s { color: #BA2121 } /* Literal.String */
.na { color: #7D9029 } /* Name.Attribute */
.nb { color: #008000 } /* Name.Builtin */
.nc { color: #000000; font-weight: bold } /* Name.Class */
.no { color: #880000 } /* Name.Constant */
.nd { color: #AA22FF } /* Name.Decorator */
.ni { color: #999999; font-weight: bold } /* Name.Entity */
.ne { color: #D2413A; font-weight: bold } /* Name.Exception */
.nf { color: #222222; font-weight: bold } /* Name.Function */
.nl { color: #A0A000 } /* Name.Label */
.nn { color: #000000 } /* Name.Namespace */
.nt { color: #008000; font-weight: bold } /* Name.Tag */
.nv { color: #19177C } /* Name.Variable */
.ow { color: #AA22FF; font-weight: bold } /* Operator.Word */
.w { color: #bbbbbb } /* Text.Whitespace */
.mf { color: #666666 } /* Literal.Number.Float */
.mh { color: #666666 } /* Literal.Number.Hex */
.mi { color: #666666 } /* Literal.Number.Integer */
.mo { color: #666666 } /* Literal.Number.Oct */
.sb { color: #BA2121 } /* Literal.String.Backtick */
.sc { color: #BA2121 } /* Literal.String.Char */
.sd { color: #BA2121; font-style: italic } /* Literal.String.Doc */
.s2 { color: #BA2121 } /* Literal.String.Double */
.se { color: #BB6622; font-weight: bold } /* Literal.String.Escape */
.sh { color: #BA2121 } /* Literal.String.Heredoc */
.si { color: #BB6688; font-weight: bold } /* Literal.String.Interpol */
.sx { color: #008000 } /* Literal.String.Other */
.sr { color: #BB6688 } /* Literal.String.Regex */
.s1 { color: #BA2121 } /* Literal.String.Single */
.ss { color: #19177C } /* Literal.String.Symbol */
.bp { color: #008000 } /* Name.Builtin.Pseudo */
.vc { color: #19177C } /* Name.Variable.Class */
.vg { color: #19177C } /* Name.Variable.Global */
.vi { color: #19177C } /* Name.Variable.Instance */
.il { color: #666666 } /* Literal.Number.Integer.Long */