h1 {
	margin-bottom: 1ex;
	text-align: center;	
}

.content {
  margin-right: 20%;
  margin-left: 5%;
}

.toc {
    position: fixed;
    left: 82%;
    top: 20%;
    width: 16%;
    
    float: right; /* when position: fixed; isn't supported */
    
    padding-left: 0px;
    padding-right: 1ex;
}

.toc li {
    list-style: none outside none;
    margin-bottom: 1ex;
    padding: 3px 0px 4px 4px;
    
	border-top: 1px solid black;
    border-left: 1px solid black;
	background-color: rgb(250, 250, 250);
}

.foto {
  float: right;
  padding: 5%;
}

table.description th {
  text-align: right;
}

ul#nav {
	display: block;
	border-bottom: 0.5ex solid black;
	padding-bottom: 1ex;
	text-align: right;
}

ul#nav li {
	display: inline;
	padding-left: 1em;
	padding-right: 1em;
}

ul#categories {
	display: block;
}

ul#categories li {
	display: inline;
	padding-left: 1em;
	padding-right: 1em;
	font-size: 120%;
}

.section {
    margin-top: 2em;
	border-top: 1px solid black;
    border-left: 1px solid black;
	padding: 1px 1em;
	background-color: rgb(250, 250, 250);
	color: rgb(0, 0, 0);
}

.section p {
	text-align: justify;
}

.section p.info {
	text-align: right;
	font-size: 80%;
}

.attention {
    color: red;
    font-weight: bold;
}

h2 {
  margin-top: 0.5ex;
	border-bottom: 2px solid black;
}

h3 {
	border-bottom: 1px solid black;
}

table.data {
}

table.data tbody {
}

tbody tr.odd {
  background-color: rgb(250, 250, 200);
}

ul.filelist {  
}

dt {
  font-weight: bold;
}