body {
  padding: 0em 8em;
}

* {
  line-height: 1.1em;
  text-align: justify;
}

ul > li {
  padding-bottom: 0.5em;
}

li > ul {
  padding-top: 0.5em;
}

.col1 {
  width: 25em;
}

.col2 {
  width: 10em;
}

th,td {
  padding: 4px;
}

h2 {
  font-size: 24px;
}

h3 {
  font-size: 18px;
}

.topnav {
  display: flex;
  align-items: center;
  justify-content: space-between;
  padding-top: 1em;
  padding-bottom: 1em;
  border-bottom: 1px solid rgb(230, 230, 230);
}

div.topnav a {
  margin-right: 8px;
}

div.topnav img {
  margin-right: 8px;
  padding-top: 0px;
}

div.links img {
  margin-right: 0px;
}

div.lang a {
  margin-right: 0px;
}

.botnav {
  display: flex;
  align-items: center;
  justify-content: space-between;
  padding-top: 1em;
  padding-bottom: 1em;
  border-top: 1px solid rgb(230, 230, 230);
}

div.botnav a {
  margin-right: 8px;
}

/*img {
  padding: 10px;
}*/

img {
  padding-top: 10px;
}

table img {
  padding-top: 0px;
}

pre {
  margin: 10px 0px 10px;
}