/* === reset.css === */


/* http://meyerweb.com/eric/tools/css/reset/ 
   v2.0 | 20110126
   License: none (public domain)
*/

html, body, div, span, applet, object, iframe, h1, h2, h3, h4, h5, h6, p, blockquote, pre, a, abbr, acronym, address, big, cite, code, del, dfn, em, img, ins, kbd, q, s, samp, small, strike, strong, sub, sup, tt, var, b, u, i, center, dl, dt, dd, ol, ul, li, fieldset, form, label, legend, table, caption, tbody, tfoot, thead, tr, th, td, article, aside, canvas, details, embed, figure, figcaption, footer, header, hgroup, menu, nav, output, ruby, section, summary, time, mark, audio, video {
	margin: 0;
	padding: 0;
	border: 0;
	font-size: 100%;
	font: inherit;
	vertical-align: baseline;
}


/* HTML5 display-role reset for older browsers */

article, aside, details, figcaption, figure, footer, header, hgroup, menu, nav, section {
	display: block;
}

body {
	line-height: 1;
}

ol, ul {
	list-style: none;
}

blockquote, q {
	quotes: none;
}

blockquote:before, blockquote:after, q:before, q:after {
	content: '';
	content: none;
}

table {
	border-collapse: collapse;
	border-spacing: 0;
}


/* === style-html.css === */


/*
 *  HTML / body level CSS rules
 *
 *  Includes font loading rules.
 */

.clear {
	clear: both;
}


/* Used to allow browser search for e.g. ".duk_push_nan" in the index,
 * but leave the dot hidden.  Note that "display: none" or "visibility: hidden"
 * don't work, as browsers (at least Chromium) won't then find the char
 * in a search.
 */

.hidechar {
	color: #ffffff;
	font-size: 0pt;
}


/* Horizontal rules have been added for text browsers, never show them
 * normally.
 */

hr {
	display: none;
}

html {
	background: #ffffff;
	color: #000000;
	width: 100%;
	margin: 0;
	padding: 0;
	border: 0;
}

body {
	background: #ffffff;
	color: #000000;
	width: 100%;
	margin: 0;
	padding: 0;
	border: 0;
	font-family: 'Open Sans', sans-serif;
	/*font-family: 'Open Sans', fantasy;*/
	/* useful for debugging font loading */
	font-weight: 400;
	font-size: 12pt;
}

@media print {
	body {
		font-family: serif;
		font-weight: 400;
		font-size: 10pt;
	}
}


/* web font loading */

html {
	visibility: hidden;
}

html.wf-active {
	visibility: visible;
}

html.wf-inactive {
	visibility: visible;
}

html.wf-fail {
	/* custom rule, see: http://kevindew.me/post/47052453532/a-fallback-for-when-google-web-font-loader-fails */
	visibility: visible;
}

html.wf-nojavascript {
	/* custom rule, allows non-javascript browsers to render using fallback fonts */
	visibility: visible;
}


/* === style-content.css === */


/*
 *  Content CSS rules.
 *
 *  The 'content' class can be applied to any element which wants to get
 *  styling for "main content".
 */


/*
 *  Common headings, text styles etc
 */

.content .main-title {
	font-size: 24pt;
	margin: 0 0 2ex 0;
	color: #000000;
	text-shadow: 1px 1px 1px #777777;
	filter: dropshadow(color=#777777, offx=1, offy=1);
}

@media print {
	.content .main-title {
		font-size: 21pt;
		text-shadow: none;
		filter: none;
	}
}

.content h1 {
	font-size: 21pt;
	margin: 4ex 0 1ex 0;
	padding: 0 0 1ex 0;
	border-bottom: 1px solid #eeeeee;
}

@media print {
	.content h1 {
		font-size: 16pt;
	}
}

.content h1 a {
	color: #000000;
	text-decoration: none;
}

.content h1 a:visited {
	color: #000000;
	text-decoration: none;
}

.content h1 a:hover {
	color: #222266;
	text-decoration: none;
}

.content h2 {
	font-size: 18pt;
	margin: 2ex 0 1ex 0;
	color: #6666ff;
}

@media print {
	.content h2 {
		font-size: 13pt;
	}
}

.content h3 {
	font-size: 14pt;
	font-weight: bold;
	margin: 2.5ex 0 0.5ex 0;
	color: #000000;
}

@media print {
	.content h3 {
		font-size: 12pt;
	}
}

.content p {
	font-size: 12pt;
	margin: 2ex 0 1ex 0;
	line-height: 1.4;
}

@media print {
	.content p {
		font-size: 10pt;
	}
}

.content tt, .content code, .content samp {
	font-family: 'Droid Sans Mono', sans-serif;
}

@media print {
	.content tt, .content code, .content samp {}
}

.content b {
	font-size: 12pt;
	font-weight: 700;
}

@media print {
	.content b {
		font-size: 10pt;
	}
}

.content ul {}

.content ul li {
	margin: 1ex 0 1ex 2em;
	/* list-style: disc; */
	list-style: circle;
	list-style-position: outside;
	line-height: 1.4;
}


/* Special style for tag lists.  Disable link text-shadow because it
 * causes layout sizes when hovering over the links (apparently the
 * shadow somehow changes the item's size at least from multi-column
 * layout perspective).  Because of no text-shadow, the link hover is
 * not as visible, so add a faint background and a darker color.
 */

ul.taglist {
	-moz-column-count: 4;
	/* Firefox */
	-webkit-column-count: 4;
	/* Safari and Chrome */
	column-count: 4;
	font-size: 10pt;
}

ul.taglist li {
	margin: 0.25ex 0 0.25ex 2em;
	list-style: none;
	line-height: 1.2;
}

ul.taglist li a {
	text-decoration: none;
}

ul.taglist li a:hover {
	/* Remove text-shadow and filter from .content a:hover rule */
	background-color: #eeeeff;
	color: #000088;
	text-decoration: underline;
	text-shadow: none;
	filter: none;
}

@media screen and (max-width:800px) {
	.taglist {
		-moz-column-count: 1;
		/* Firefox */
		-webkit-column-count: 1;
		/* Safari and Chrome */
		column-count: 1;
	}
}


/* special styling for breakdowns (additive to base ul / ul li style) */

ul.breakdown {
	margin: 2ex 0 2ex 2em;
	/* additional indent */
}

ul.breakdown li {
	list-style: none;
	padding: 0.5ex 2ex 1ex 2ex;
	/*background: #f8f8f8;*/
	border: 2px solid #eeeeee;
	border-radius: 10px;
	margin: 1ex 0 1ex 0;
}

@media screen and (max-width:800px) {
	ul.breakdown {
		margin: 2ex 0 2ex 0;
		/* remove indent */
	}
}

.content pre {
	overflow: auto;
	font-family: monospace;
	font-size: 10pt;
	font-weight: 400;
	line-height: 1.5;
	background: #eeeeee;
	border: 2px dashed #cccccc;
	padding: 1.5ex;
	margin: 2ex 2em 2ex 0ex;
}

@media print {
	.content pre {
		overflow: visible;
		font-family: monospace;
		font-size: 10pt;
		font-weight: 400;
		page-break-inside: avoid;
	}
}


/* narrow layout: smaller preformatted text (tends to be quite wide) */

@media screen and (max-width:800px) {
	.content pre {
		font-size: 10pt;
	}
}


/* generated manually with buildimages.py */

@media screen {
	.content pre.c-code {
		background: #eeeeee url(data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAAUCAYAAABroNZJAAAAAXNSR0IArs4c6QAAAAZiS0dEAAAAAAAA+UO7fwAAAAlwSFlzAAALEwAACxMBAJqcGAAAAAd0SU1FB90HBRMMIRk2ywgAAAAZdEVYdENvbW1lbnQAQ3JlYXRlZCB3aXRoIEdJTVBXgQ4XAAAAnUlEQVQ4y+3TIW5CcRDE4ckTCFDcoKKYXgGDAd8L9Bi9Rz1XKElTFAmeA6BJEMUiCBVUfBX8X4IilFcHY1bNLzs72eSuWxKGeMcXDthhhc9zvuoE8JZklmSbZJCkk+QxyWuS9iUbvDjqo0mMRYH0m0D2BdK9xl/9RyE1ZFnmU5M4zQ9bV1xAY/TQwgOeMf8LaIQJNvjBN9aY3tDP/QKrO4MiF+jAygAAAABJRU5ErkJggg==) no-repeat right top;
	}
	.content pre.ecmascript-code {
		background: #eeeeee url(data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAFwAAAAUCAYAAAAA5FpZAAAAAXNSR0IArs4c6QAAAAZiS0dEAAAAAAAA+UO7fwAAAAlwSFlzAAALEwAACxMBAJqcGAAAAAd0SU1FB90HBRMME9HhmogAAAAZdEVYdENvbW1lbnQAQ3JlYXRlZCB3aXRoIEdJTVBXgQ4XAAACKUlEQVRYw+3XvWtUQRQF8KzZoBEjfhBExY9KTBAVRIRAQE2lhVqJBokiWAgW9oJ/g4WVoKRRRBF7jSJJjI2gCHYSTCT4gXaJGiX52dyFx/LMvn3JLgrvdHPemfvunJm5M9PSUqBAgQIFChQoUOAfhkCj/1Ou/OxvglKpVCqmo/ZkZfWqXJjb3LEvyzGbu3AXH/ELb3E6uS1xAeOYxRscxRVMYQYj6E6JfTn6z0X8G+hIfN+MQXyI2J9wB7115ncSY5iurM60kpLQD0ScWbzDmerVXVdZyirEfnzHJPqwEl24XZXgQ6yPgVXwAOtwKtpjKfGvohsrcD501xPfnwV3AsuxEf0YrjO/l9iL1oU8SOjHsA1bMBrcodz13wKo0g0FfbxGnJ3Rbk/hypjHbI2cWqPfRIKbDq4XpZQ+WfPbl2XRJfQ9Ca4nuKeLNjyDbiaka2sMqJzCtdUY3Hbci1Iwl+g3l9CMJPgZvMI1bKozv7Y6DV+V4DqC+9pMw9dkjVMHNxz0pSgXbdW62NK3omQkMZI3v0UY/q0Zhj8J6bEGGF4pF+3R3lPDoNWJ82A6b35LVFLmG2X4AfzAexyOGr0Dg0tg+Iug+9GJRykrfCgOzM7YAUdC8jhvfhkNH8XWqkOzL6GbCq5rSQ/N0O6OWvsZv9OuXTkN78Jz/MQELqYYfhD38SWuaJO4iQ1588to+Fm8jhvQOAaqdOfiitqU12rx3G/kw6dAYfh/hT9Hv5t3lMuhdwAAAABJRU5ErkJggg==) no-repeat right top;
	}
	.content pre.coffeescript-code {}
}


/*
 *  Table
 */


/* containing div.table-wrap ensures table overflow works cleanly */


/* http://stackoverflow.com/questions/1648622/tables-overflowing-with-css-in-firefox */

.content .table-wrap {
	overflow: auto;
}

@media print {
	.content .table-wrap {
		overflow: visible;
	}
}

.content table {
	margin: 2ex 1em 2ex 1em;
	border: none;
}

.content table tr {}

.content table tr.header th {
	padding-bottom: 1ex;
}

.content table tr.header {
	border-bottom: 1px solid #cccccc;
}

.content table th {
	padding: 0.75ex 0.75em 0.75ex 0.75em;
	text-align: left;
	font-weight: 700;
}

.content table td {
	padding: 0.75ex 0.75em 0.75ex 0.75em;
	text-align: left;
}

.content a {
	text-decoration: none;
	color: #4444ff;
}

.content a:visited {
	color: #4444ff;
}

.content a:hover {
	text-decoration: underline;
	color: #222266;
	text-shadow: 0px 0px 10px #7777ff;
	filter: dropshadow(color=#9999ff, offx=1, offy=1);
}


/*
 *  Stack
 */

.content .stack-wrapper {
	display: block;
	margin-top: 1ex;
	margin-bottom: 2ex;
}


/* narrow layout: smaller font */

@media screen and (max-width:800px) {
	.content .stack-wrapper {
		font-size: 10pt;
	}
}


/* .arrow and .arrow .text have invisible borders, shadows, etc, to keep
 * them aligned
 */

.content .stack-wrapper .arrow {
	display: inline-block;
	margin: 0 0.1em 0 0.1em;
	padding: 0;
	vertical-align: middle;
}

.content .stack-wrapper .arrow b {
	display: inline-block;
	min-width: 1.25em;
	margin: 0;
	padding: 0;
	vertical-align: middle;
	text-align: center;
	font-size: 24pt;
}

.content .stack-wrapper .stack {
	display: inline-block;
	background: #eeeeee;
	margin: 0;
	border: 2px solid #888888;
	border-radius: 10px;
	box-shadow: 3px 3px 5px #bbbbbb;
	padding: 0.7ex 1ex 0.7ex 1ex;
	vertical-align: middle;
}

.content .stack-wrapper .stack .elem {
	display: inline-block;
	min-width: 1.25em;
	background: #cccccc;
	margin: 0;
	/* space chars between spans are enough */
	border: 1px solid #888888;
	border-radius: 5px;
	box-shadow: 1px 1px 3px #bbbbbb;
	padding: 0.5ex 0.35em 0.5ex 0.35em;
	vertical-align: middle;
	text-align: center;
}

.content .stack-wrapper .stack .ellipsis {
	width: 2em;
	text-align: center;
}

.content .stack-wrapper .stack .active {
	background: #ffffff;
}

.content .stack-wrapper .stack .referred {
	background: #dddddd;
}

.content .stack-wrapper .stack .ghost {
	border-style: dashed;
	background: #eeeeee;
	color: #666666;
	box-shadow: none;
}


/* orthogonal */

.content .stack-wrapper .stack .literal {
	font-family: monospace;
	font-size: 12pt;
}

.content .stack-wrapper .stack .cap {
	display: none;
}

.content .stack-wrapper .stack-comment {
	display: inline-block;
	margin: 0 0 0 2em;
	padding: 0;
	vertical-align: middle;
	text-align: center;
	font-size: 12pt;
	color: #888888;
}


/*
 *  Callouts
 */

.content .tip {
	border: 2px solid #eeeeee;
	background: #ffffff;
	color: #000000;
	padding: 1.5ex;
	margin: 2ex 2em 2ex 0ex;
	line-height: 1.4;
}

.content .tip:before {
	content: "TIP: ";
	font-weight: 700;
}

.content .note {
	border: 2px solid #eeeeee;
	background: #ffffff;
	color: #000000;
	padding: 1.5ex;
	margin: 2ex 2em 2ex 0ex;
	line-height: 1.4;
}

.content .note:before {
	content: "NOTE: ";
	font-weight: 700;
}

.content .fixme {
	border: 2px solid red;
	background: #000000;
	color: #ffffff;
	padding: 1.5ex;
	margin: 2ex 2em 2ex 0ex;
	line-height: 1.4;
}

.content .fixme:before {
	content: "FIXME: ";
	font-weight: 700;
}


/*
 *  Section sign link
 */

.content .sectiontitle a.sectionlink {
	color: #ffffff;
}

.content .sectiontitle:hover a.sectionlink {
	color: #8888ff;
}

@media print {
	.content .sectiontitle .sectionlink {
		display: none;
	}
}


/*
 *  Prevent breaking a span
 */

.nobreak {
	-webkit-hyphens: none;
	-moz-hyphens: none;
	hyphens: none;
}


/* === style-top.css === */


/*
 *  Site top part CSS rules
 */

#site-top {
	display: block;
	width: 100%;
	padding: 20px 0px 20px 0px;
	border: 0;
	margin: 0;
	background: #444444;
	color: #ffffff;
	box-shadow: 7px 7px 15px #bbbbbb;
	/* This only matters if the browser is so narrow that the nav
	 * div clears the logo.  This rule extends the dark background
	 * to cover the nav even in that case.
	 */
	overflow: auto;
	/* Font is already set here so that we can size both the logo
	 * and the nav float using the same font point size (point
	 * sizes refer to -parent- font).
	 */
	font-family: 'Droid Sans Mono', sans-serif;
	font-size: 24pt;
	font-weight: 400;
}

@media print {
	#site-top {
		display: none;
	}
}

#site-top-logo {
	display: block;
	float: left;
	margin: 0 0 0 0.5em;
	/* logo font */
}

#logo {
	display: inline;
	font-family: 'Droid Sans Mono', sans-serif;
	font-size: 24pt;
	font-weight: 400;
	color: #ffffff;
	text-shadow: 3px 3px 3px #000000;
	filter: dropshadow(color=#000000, offx=3, offy=3);
}

@media print {
	/* Note: not actually displayed now in print (the entire top
	 * div is hidden).
	 */
	#logo {
		font-family: 'Droid Sans Mono', sans-serif;
		font-size: 20pt;
		font-weight: 400;
	}
}

#site-top-nav {
	display: block;
	float: right;
	margin: 0 0.75em 0 0;
	/* logo font */
}

#site-top-nav ul {
	display: inline;
	vertical-align: bottom;
	line-height: 24pt;
	margin: 0;
	border: 0;
	padding: 0;
	/* 'line-height' in this element is sized using logo font inherited
	 * from #site-top.  The margins in #site-top-nav are sized using the
	 * navigation font which needs to be set here (in the parent) for that
	 * to be possible.
	 */
	font-family: 'Droid Sans Mono', sans-serif;
	font-size: 18pt;
	font-weight: 400;
}

#site-top-nav ul li {
	display: inline;
	vertical-align: bottom;
	margin: 0 0.5em 0 0;
	font-family: 'Droid Sans Mono', sans-serif;
	font-size: 18pt;
	font-weight: 400;
	color: #cccccc;
}

#site-top-nav ul li a {
	color: #cccccc;
	text-decoration: none;
}

#site-top-nav ul li.selected a {
	color: #ffffff;
	text-shadow: 3px 3px 3px #000000;
	filter: dropshadow(color=#000000, offx=3, offy=3);
}

#site-top-nav ul li a:hover {
	color: #9999ff;
	text-shadow: 3px 3px 3px #000000;
	filter: dropshadow(color=#000000, offx=3, offy=3);
}


/* === style-middle.css === */


/*
 *  Site middle part CSS rules
 */

#site-middle {
	width: 100%;
	padding: 0;
	border: 0;
	margin: 10ex 0 10ex 0;
	background: #ffffff;
	color: #000000;
	overflow: auto;
	/* clear fix */
}

#site-middle-nav {
	float: left;
	width: 10em;
	padding: 0;
}

#site-middle-nav li {
	margin: 0.5ex 0 0.5ex 1em;
	list-style: none;
	list-style-position: outside;
}

#site-middle-nav a {
	color: #444444;
	font-size: 10pt;
	text-decoration: none;
}

#site-middle-nav a:hover {
	color: #222266;
	text-shadow: 0px 0px 10px #7777ff;
	filter: dropshadow(color=#9999ff, offx=1, offy=1);
}

#site-middle-content {
	margin: 0px 2em 0px 14em;
	overflow: auto;
	/* clear fix */
}

@media print {
	#site-middle-nav {
		display: none;
	}
	#site-middle-content {
		margin: 0px 0px 0px 0px;
	}
}


/* narrow screen */

@media screen and (max-width:800px) {
	#site-middle-nav {
		float: none;
		margin-bottom: 8ex;
		/* space before content */
	}
	#site-middle-content {
		margin-left: 2em;
	}
}


/* === style-bottom.css === */


/*
 *  Site bottom part CSS rules
 */

#site-bottom {
	clear: both;
	width: 100%;
	padding: 18px 0px 20px 0px;
	border: 0;
	border-top: 2px solid #dddddd;
	margin: 10ex 0px 0px 0px;
	background: #eeeeee;
	color: #888888;
	font-size: 10pt;
}

@media print {
	#site-bottom {
		font-size: 8pt;
	}
}

#site-bottom p {
	color: #888888;
	margin-top: 1ex;
	text-align: center;
}

#site-bottom a {
	color: #6666ee;
	text-decoration: none;
}

#site-bottom a:visited {
	color: #6666ee;
	text-decoration: none;
}

#site-bottom a:hover {
	color: #222288;
	text-decoration: underline;
}


/* === style-index.css === */


/*
 *  Frontpage specific CSS rules
 */

#front-steps {
	width: 45%;
	float: right;
	/*
	background: #fcfcfc;
	border: 2px solid black;
	border-radius: 1em;
	box-shadow: 3px 3px 5px #bbbbbb;
	margin: 0 1em 1em 0;
	padding: 1em;
*/
	background: #ffffff;
	border-left: 2px dashed #bbbbbb;
	margin: 0 1em 1em 0;
	padding: 1em;
}

#front-steps .step {
	font-weight: bold;
	margin-right: 0.5em;
	color: #eeeeee;
	/* off white to work in IE6 where dropshadow not recognized */
	font-size: 24pt;
	text-shadow: 0px 0px 6px #000000;
	filter: dropshadow(color=#000000, offx=2, offy=2);
}

#front-steps pre {
	font-size: 12pt;
}

#front-blurp {
	width: 45%;
	float: left;
	margin: 0 0 1em 1em;
}

#front-blurp p {
	font-size: 16pt;
}

#front-blurp b {
	font-size: 16pt;
}

@media screen and (max-width:800px) {
	#front-steps {
		float: none;
		width: auto;
		margin: 0 1em 1em 1em;
	}
	#front-blurp {
		float: none;
		width: auto;
		margin: 0 1em 4em 1em;
		/* extra bottom margin: space before steps */
	}
}

#front-blurp ul {
	margin-top: 2ex;
	font-size: 16pt;
}

#front-blurp ul li {
	margin-top: 1.5ex;
	font-size: 16pt;
}


/* === style-download.css === */


/*
 *  Download page specific CSS rules
 */

#download {
	margin: 0 0 1em 1em;
}

#download .hash {
	font-family: monospace;
}

#download .latest {
	border: 1px dashed #cccccc;
	background: #f8f8f8;
}


/* Control table cells only if browser is wide enough */

@media screen and (min-width:800px) {
	.releases {
		width: 90%;
	}
	.releases tr {
		height: 3ex;
	}
	.releases .reldate {
		width: 6em;
	}
	.releases .filename {
		width: 12.5em;
	}
	.releases .description {
		/* flex */
	}
	.releases .hash {
		/* XXX: this is sized using -parent- font, not the monospace one */
		width: 20em;
	}
}


/* === style-api.css === */


/*
 *  API specific CSS rules
 */

@media screen and (min-width:801px) {
	/* On wide screens, slide API entry section headings to the side
	 * to make the entries more compact.
	 *
	 * Specificity must override normal section heading rules.
	 *
	 * The challenge here is to keep the section heading vertically
	 * aligned with the content on the right.  To do this, we need
	 * to avoid top margins in the elements on the right (paragraphs,
	 * stacks, <pre>-blocks) which is a bit hackish.  The api-part
	 * div margins are then used to provide spacing between the API
	 * documentation parts.
	 */
	.api-call h2.api-proto, .api-call h2.api-stack, .api-call h2.api-summary, .api-call h2.api-example, .api-call h2.api-seealso {
		position: absolute;
		left: 10px;
		margin: 0;
		padding: 0 0 0 0;
		width: 200px;
		text-align: right;
		height: 0;
		overflow: visible;
		color: #ccccdd;
		font-size: 100%;
	}
	.api-part {
		margin: 3ex 0 3ex 0;
	}
	.content .api-call .stack-wrapper {
		margin-top: 0;
		margin-bottom: 2ex;
	}
	.content .api-call .stack {
		margin-top: 0;
	}
	.content .api-call p {
		margin-top: 0;
	}
	.content .api-call pre {
		margin-top: 0;
	}
}


/* Selector specificity issues here, workaround is to add more selectors. */

h1.apih1 a.apitag {
	float: right;
	margin: 3px;
	border: 2px solid #cccccc;
	border-radius: 4px;
	padding: 3px;
	font-size: 8pt;
	background: #eeeeee;
	color: #888888;
}

h1.apih1 a.apitag:hover {
	background: #ffffff;
	color: #888888;
}

h1.apih1 a.apitag visited {
	color: #888888;
}

h1.apih1 a.apitagwarn {
	background: #dd0000;
	border-color: #880000;
	color: #ffffff;
}

h1.apih1 a.apitagwarn:hover {
	background: #ff8800;
	color: #ffffff;
}

h1.apih1 a.apitagwarn:visited {
	color: #ffffff;
}

h1.apih1 a.apitagprotected {
	background: #00aa00;
	border-color: #004400;
	color: #ffffff;
}

h1.apih1 a.apitagprotected:hover {
	background: #55cc55;
	color: #ffffff;
}

h1.apih1 a.apitagprotected:visited {
	color: #ffffff;
}


/* === style-guide.css === */


/*
 *  Guide specific CSS rules
 */

.typeshorthand tbody td:nth-child(1) {
	text-align: center;
}

.typecomparison tbody td {
	text-align: center;
}

.propname {
	font-family: monospace;
}

.definename {
	font-family: monospace;
}

.highlight {
	background: #eeeeee;
}


/* === highlight.css === */


/*
 *  Source highlight CSS rules
 */

body {
	background-color: white;
}


/* the color for context lines (when specified with line ranges) */

.context {
	color: gray;
}

.keyword {
	color: #000044;
	font-weight: bold;
}

.type {
	color: #000088;
}

.usertype, .classname {
	color: teal;
}

.string {
	color: #aa0000;
	font-family: monospace;
}

.regexp {
	color: orange;
}

.specialchar {
	color: #aa0000;
	font-family: monospace;
}

.comment {
	color: #999999;
	font-style: italic;
}

.number {
	color: #aa0000;
}

.preproc {
	color: darkblue;
	font-weight: bold;
}

.symbol {
	color: #000000;
	font-weight: bold;
}

.function {
	color: #000000;
}

.cbracket {
	color: #000000;
	font-weight: bold;
}

.todo {
	font-weight: bold;
	background-color: cyan;
}


/* line numbers */

.linenum {
	color: black;
	font-family: monospace;
}


/* Internet related */

.url {
	color: blue;
	text-decoration: underline;
	font-family: monospace;
}


/* other elements for ChangeLog and Log files */

.date {
	color: blue;
	font-weight: bold;
}

.time, .file {
	color: darkblue;
	font-weight: bold;
}

.ip, .name {
	color: darkgreen;
}


/* for Prolog, Perl */

.variable {
	color: darkgreen;
}

.italics {
	color: darkgreen;
	font-style: italic;
}

.bold {
	color: darkgreen;
	font-weight: bold;
}


/* for LaTeX */

.underline {
	color: darkgreen;
	text-decoration: underline;
}

.fixed {
	color: green;
	font-family: monospace;
}

.argument, .optionalargument {
	color: darkgreen;
}

.math {
	color: orange;
}

.bibtex {
	color: blue;
}


/* for diffs */

.oldfile {
	color: orange;
}

.newfile {
	color: darkgreen;
}

.difflines {
	color: blue;
}


/* for css */

.selector {
	color: purple;
}

.property {
	color: blue;
}

.value {
	color: darkgreen;
	font-style: italic;
}


/* for Oz */

.atom {
	color: orange;
}

.meta {
	font-style: italic;
}