body {
	margin:0px;
	padding:0px;
	color:#000;
	background-color: #fff;
}

#head {
	display: table;
	width: 100%;
}

h1 {
	display: table-caption;
  caption-side: top;
	color: #708;
	background-color: #fff;
	margin: 0.5em 0em 0em 0em;
	padding: 0em 0em 0em 0em;
}

.abstract {
	margin-bottom: 2em;
	padding-left: 0.8em;
	border-style: solid;
	border-color: #708;
	border-width: 0px 0px 0px 0.5em;
}
h3.abstract {
	margin-bottom: 0.5em;
}

dd {
	margin-bottom: 0.5em;
}


#navigation {
  display: table-cell;
	margin: 0em 0px 6em 0em;
	padding: 0.1em 0px 0px 0em;
	border-style: solid;
	border-color: #700080;
	border-width: 0px 0px 0.2em 0px;
	background-color: #708;
	text-align: right;
}
#navigation a {
	color: #fff;
	background-color: #708;
	font-weight: bold;
	text-decoration: none;
}
#navigation a:hover {
	text-decoration: underline;
}
#navigation ul {

	display: inline;
}
#navigation li {
	padding-right: 2em;
	display: inline;
}
#navigation h2 {
	display: none;
}

#content {
	margin-top: 2em;
	margin-left: 4em;
	margin-right: 4em;
}

pre {
	white-space: pre-wrap;       /* css-3 */
	white-space: -moz-pre-wrap;  /* Mozilla, since 1999 */
	white-space: -pre-wrap;      /* Opera 4-6 */
	white-space: -o-pre-wrap;    /* Opera 7 */
	word-wrap: break-word;       /* Internet Explorer 5.5+ */
	padding: 0.5em;
	background: #eee;
}


#footer {
	margin-top: 5em;
	margin-bottom: 3em;
	padding: 0em 0.5em 0em 0.5em;
	border-style: solid;
	border-color: silver;
	border-width: 1px 0px 0px 0px;
	font-size: x-small;
}
.mtime {
	float: left;
}
.validate {
	float: right;
}
#licence {
	text-align: left;
	clear: both;
	max-width: 25em;
	font-size: xx-small;
}

#language {
	font-size: x-small;
  display: table-row;
}
#language ul {
	padding: 0em;
	display: inline;
}
#language li:before {
	content: "[ ";
}
#language li:after {
	content: " ]";
}
#language li {
	padding-right: 1em;
	display: inline;
}
#language h2 {
	display: none;
}