html { overflow-y: scroll; }
body {
	font-family: GandhiSerif, serif;
	background: #eee;
	color: black;
}
code, pre, tt {
	font-family: Inconsolata, monospace;
	font-size:90%;
}
div#header p {
	font-size:2em;
	font-weight:bold;
}
div#header li {
	font-family: Lato, sans-serif;
	font-weight:bold;
	text-transform: uppercase;
}
div#header li a {
	text-decoration: none;
}
@media print
{
	div#header {
		display: none !important;
	}
	div.document {
		border: none !important;
	}
}
.toc .meta {
	text-align:right;
	margin-top:0.2em;
	margin-bottom:0;
}
div.toc.danish {
	background-image: url(../../static/thumb/da.svg);;
	background-repeat: no-repeat;
	background-position: top right;
}
div.toc h3 {
	margin:0;
	font-size:105%;
	clear:none;
}
div.toc h3 img.icon {
	float:left;
	margin:0 0.5em 0.2em;
	width:64px;
	height:64px;
	border:0px solid black;
}
div.toc h3 img.lang {
	width:1.2em;
	border:none;
	text-size:50%;
}
div.toc p,ul {
	margin:0;
}
div.toc ul {
	padding-left: 1em;
	list-style: square inside url('data:image/gif;base64,R0lGODlhBQAKAIABAAAAAP///yH5BAEAAAEALAAAAAAFAAoAAAIIjI+ZwKwPUQEAOw==');
}
hr.hide {
	display:none;
}
div.toc,
div.document {
	background: #fff;
	color: black;
	border-radius: 0.5em;
	border: 1px solid #ddd;
	padding: 0.7em;
}
div.toc {
	margin: 1em auto 0;
}
div.document {
	padding: 0.7em 2em 2em;
	margin: 1em auto 1em;
	max-width: 45em;
}
div.document h1 {
        border-bottom: 1px solid #ddd;
}
div.document > p {
	text-align: justify;
}

.abstract {
	margin: 1.5em 3em;
}
.abstract,.contents,li p {
	margin-top: 0.2em;
	margin-bottom: 0.2em;
}

.topic-title {
	font-weight: bold;
	margin-top: 0.2em;
}
div.topic.float40 {
	width: 40%;
	margin: 0.5em;
	padding: 0.5em;
	float: right;
	border: 1px #ccc solid;
	background: #eee;
	color: black;
	font-size: 90%;
}

/* admonitions: note, tip, hint, caution, danger */
.note { border-color:#bbbbdd; background:#ddddff; }
.tip { border-color:#bbddbb; background:#ddffdd; }
.hint { border-color:#bbd7dd; background:#ddf9ff; }
.caution { border-color:#ddd2bb; background:#fff4dd; }
.danger { border-color:#ddbbbb; background:#ffdddd; }
.note,
.tip,
.hint,
.caution,
.danger {
	border-width:1px;
	border-style:solid;
	color:black;
	padding:1em;
	margin: 1em auto;
}
.note p.admonition-title,
.tip p.admonition-title,
.hint p.admonition-title,
.caution p.admonition-title,
.danger p.admonition-title {
	font-weight:bold;
	float: left;
	margin: auto 0.5em;
	width: 6em;
}
.note>*,
.tip>*,
.hint>*,
.caution>*,
.danger>* {
	margin: 0 0 0 7em;
}
.document .note pre,
.document .tip pre,
.document .hint pre,
.document .caution pre,
.document .danger pre {
	margin-left: 7em;
}

ul.nav {
	font-size:66%;
	display:block;
	list-style:none;
}
ul.nav li {
	display:inline-block;
	list-style:none;
	padding: 0.3em;
}
.nav li.active {
	font-weight:bold;
}

.meta {
	font-family:Lato, sans-serif;
	font-weight:bold;
	font-size:66%;
	color:silver;
	background:transparent;
}

.document .meta {
	margin-top: -1.5em;
	margin-bottom: 1.5em;
	margin-left: 0em;
}

.left {
	float:left;
}
.right {
	float:right;
}

.document pre,
tt {
	background: #ebf1f5;
	color: black;
}
.document pre {
	margin: 0 1%;
	padding: 0.5em;
	border: 1px solid #bcd;
}

.document img {
	padding: 0;
	border: 1px silver solid;
	margin: 0.5em 1%;
}

.document img.wide {
	width: 98%;
}

.document table {
	border-collapse:collapse;
}
.document table,
.document table th,
.document table td {
	border: 1px solid silver;
}

.document table th,
.document table td {
	padding: 0.25em;
}

.document div.figure			{ margin: 0.5em 1%; padding: 0.5em; border: 1px silver solid; }
.document div.figure img		{ margin: 0.12em auto; width: 100%; border: none;}
.document div.figure p.caption		{ margin: 0.12em auto; font-size: .8em;}


.document blockquote:not(.pull-qoute)	{ margin: 1em 5em; border-left: rgb(238, 238, 238) 5px solid; font-style: italic; }
.document blockquote p.attribution	{ font-style: normal; text-align: right; padding-right: 2em; }

/* Blockquote attached pull-quotes.
 * See http://miekd.com/articles/pull-quotes-with-html5-and-css/)
 */
.document blockquote.pull-quote		{ margin-left: 4.5em; margin-right: 4.5em; border-left: none; position: relative; padding-left: 0; position: relative; }
.document blockquote.pull-quote:before, blockquote.pull-quote:after { position: absolute; font-size: 2em; color: silver; }
.document blockquote.pull-quote:before {
    top: -0.2em;
    left: -0.5em;
    content: "“";
}
.document blockquote.pull-quote:after {
    bottom: -0.5em;
    bottom: -0.3em;
    right: -0.3em;
    content: "”";
}

/* in-line pull quote, but simple pull-quote doesn't generate child P-tags. */
/*
.document blockquote p:not(.attribution) { font-style: italic; }
.document blockquote p:not(.attribution):before, blockquote p:not(.attribution):after {
    position: relative;
    display: inline-block;
    top: 0.15em;
    margin-top: -0.15em;
    font-size: 1.5em;
    color: #aaa; }
.document blockquote p:not(.attribution):before {
    content: "“";
    width: 0.85em;
    padding-right: 0.15em;
    margin-left: -1em;
    text-align: right; }
.document blockquote p:not(.attribution):after {
    content: "”";
    width: 0.5em;
    margin-right: -0.5em; }
.document blockquote .attribution { text-align: right; }
*/

.document table.footnote {
    margin-top: 2em;
    border-top: 1px solid black;
    border-bottom: none;
    border-left: none;
    border-right: none;
    font: 70% Lato;
    width: 70%;
}
.document table.footnote td {
    border: none;
}
.document table.footnote label {
    font-size: 50%;
    text-align: center;
}

/*
 * The Perfect 'Double Page' 2 Column Liquid Layout (Percentage widths)
 * http://matthewjamestaylor.com/blog/perfect-2-column-double-page.htm
 *
 */

/* Header styles */
#header {
	clear:both;
	float:left;
	width:100%;
	border-bottom:1px solid #000;
	margin-bottom:1em;
}
#header ul,
#header p,
#header h1,
#header h2 {
	text-align:center;
	padding:0 15px 0 15px;
	margin:0;
}
.colmask {
	position:relative;		/* This fixes the IE7 overflow hidden bug */
	clear:both;
	float:left;
	width:100%;			/* width of whole page */
	overflow:hidden;		/* This chops off any overhanging divs */
}
.colright,
.colmid,
.colleft {
	float:left;
	width:100%;
	position:relative;
}
.col1,
.col2,
.col3 {
	float:left;
	position:relative;
	padding:0 0 0 0;
	overflow:hidden;
}
/* Full page settings */
.fullpage {
	background:#eee;		/* page background colour */
}
.fullpage .col1, .fullpage .col2 {
	width:96%;			/* page width minus left and right padding */
	left:2%;			/* page left padding */
}
@media(min-width: 50em) {
/* 2 Column (double page) settings */
.doublepage {
	background:#eee;		/* right column background colour */
}
.doublepage .colleft {
	right:50%;			/* right column width */
	background:#eee;		/* left column background colour */
}
.doublepage .col1 {
	width:46%;			/* left column content width (column width minus left and right padding) */
	left:52%;			/* right column width plus left column left padding */
}
.doublepage .col2 {
	width:46%;			/* right column content width (column width minus left and right padding) */
	left:56%;			/* (right column width) plus (left column left and right padding) plus (right column left padding) */
}
}
/* Footer styles */
#footer {
	clear:both;
	float:left;
	width:100%;
	border-top:1px solid #000;
}
#footer p {
	padding:0px;
	margin:0;
}