body {
  background-color: #e5e5e5;
  margin: 0mm;
}

div.all {
  margin: 5mm;
}

table.nav-bottom {
  margin-top: 3mm;
  background-color: #002080;
}

p,h1,h2,h3,h4,ul,ol,li,div,td,th,address,blockquote,b,i,dt,dd,dl {
  font-family: Helvetica,Arial,sans-serif;
}

th {
  font-weight: bold;
  color: #002080;
}

.invers {
  font-weight: bold;
  background-color: #002080;
  color: #e5e5e5;
}

.linklist {
  font-weight: bold;
  color: #e5e5e5;
}

.parentlist {
  font-weight: bold;
  background-color: #002080;
  color: #e5e5e5;
}

h1 {
  color: #002080;
  font-size: x-large;
  font-style: normal;
  font-weight: bold;
}

h2 {
  color: #002080;
  font-size: large;
  font-style: normal;
  font-weight: normal;
  margin-top: 3mm;
}

b.main {
  color: #002080;
  font-size: large;
  font-style: normal;
  font-weight: normal;
}


h3 {
  color: #002080;
  font-size: medium;
  font-style: normal;
  font-weight: bold;
}

a:link {
  color: #ff0000;
}

a.parentlist:link {
  font-weight: bold;
  background-color: #002080;
  color: #e5e5e5;
}

a.linklist:link {
  font-weight: bold;
  background-color: #707070;
  color: #e5e5e5;
}

a:visited {
  color: #a00000;
}

a.parentlist:visited {
  font-weight: bold;
  background-color: #002080;
  color: #e5e5e5;
}

a.linklist:visited {
  font-weight: bold;
  background-color: #707070;
  color: #e5e5e5;
}

p.metainfo {
  text-align: right;
  color: #002080;
}

p.example {
  background-color: #ffffff;
  border-style: solid;
  border-width: thin;
  padding: 2mm;
}

div.fixed {
  padding: 2mm;
  background-color: #ffffff;
  border-style: solid;
  border-width: thin;
  margin: 0;
  font-family: monospace;
}

div.menu {
  border-style: solid;
  border-width: thin;
  padding: 2mm;
}

/****************************************************************************/

table.list {
  border-collapse: collapse;
  margin-bottom: 10px;
}

table.list th {
  color: #ffffff;
  background-color: #002080;
  padding: 4px;
  border: 1px solid #a0a0a0;
  width: 50%;
}

table.list td {
  background-color: #ffffff;
  padding: 4px;
  border: 1px solid #a0a0a0;
  vertical-align: top;
}


/****************************************************************************/

table.webpagelist td {
  vertical-align: top;
  padding: 4px;
}

table.webpagelist img {
  border: 1px dotted #707070;
  padding: 1px;
}

table.webpagelist a:hover img {
  border: 1px solid #707070;
}

/****************************************************************************/

table.publist {
  border-collapse: collapse;
}

table.publist tr {
  background-color: #ffffff;
}

table.publist td {
  border-top: 3px solid #f6f6f6;
  padding: 3px;
  vertical-align: top;
}