@import url('https://fonts.googleapis.com/css2?family=Noto+Sans:ital,wght@0,100..900;1,100..900&display=swap');

h1 {
  font-size: 1.5em;
  margin: 1.6em auto 1.8em auto;
  text-align: center;
  font-weight: bold;
}

h2 {
  font-weight: bold;
  margin: 2em 0 0.9em 0;
  font-size: 1.1em;
  text-align: left;
}

p {
  margin: 0.7em 0 0 0;
  line-height: 1.5em;
  text-align: justify;
}

p.downloadlist {
  color: #999;
}

p.lic {
  font-style: italic;
  margin-top: 1.8em;
  color: #555;
  text-align: center;
}

html {
  font-size: 1.1em;
  margin: 0;
  padding: 0;
  background-color: #c87;
  height: 100%;
}

body {
  font-size: 1.1em;
  background-color: #fff;
  width: 100%;
  max-width: 45em;
  margin: 0 auto;
  height: auto !important;
  min-height: 100%;
  box-sizing: border-box;
  padding: 0.7em;
  border: 1px #777 solid;
  border-top: none;
  border-bottom: none;
  font-family: "Noto Sans", sans-serif;
}

tt {
  border: 1px #888 dashed;
  padding: 0.3em 0.6em;
  font-size: 1.1em;
  line-height: 2.5em;
  text-align: left;
}

img {
  float: right;
  width: 17em;
  margin: 0.1em 0 0.1em 0.6em;
  border: 1px #777 solid;
  border-radius: 0.3em;
}

@media (max-width: 46em) {
  img {
    display: none;
  }
}


a {
  color: #11f;
}

a:first-of-type {
  font-size: 1.1em;
  font-weight: 500;
}