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

header {
	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;
}

dl dt {
  display: inline-block;
  min-width: 5em;
}
dl dd {
  display: inline-block;
  margin: 0;
}
*/
/* display on same line */
dl dd {
  display: inline;
  margin: 0;
}
dd:after {
  display: block;
  content: "";
}
dl dt {
  display: inline-block;
  min-width: 3em;
  text-align: right;
  margin-right: 2em;
}



nav {
  display: table-cell;
	width: 100%;
	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;
}
nav a {
	color: #fff;
	background-color: #708;
	font-weight: bold;
	text-decoration: none;
}
nav a:hover {
	text-decoration: underline;
}
nav ul {

	display: inline;
}
nav li {
	padding-right: 2em;
	display: inline;
}

article {
	margin-top: 2em;
	padding-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;
}
#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;
}