* {
  box-sizing: border-box;
}

body {
  overflow-x: hidden;
  font-size: 100%;
}

div#header {
  display: flex;
  flex-direction: column;
  align-items: flex-start;
  height: auto;
  min-height: 0;
  padding: 0 12px 10px;
  white-space: normal;
  background-position: right top;
}

div#logo {
  position: static;
  width: 225px;
  max-width: 100%;
  height: 109px;
  margin: 0;
}

div#menlinks {
  position: static;
  display: flex;
  flex-wrap: wrap;
  gap: 6px 10px;
  width: 100%;
  margin-top: 4px;
  font-size: 13px;
  line-height: 1.5;
  white-space: normal;
}

div#menlinks a,
div#menlinks a:visited {
  margin-right: 0;
}

#menlinks img {
  display: none;
}

div.search,
div#navbars {
  position: static;
  width: auto;
  margin: 10px 12px;
}

div.search {
  font-size: 90%;
  text-align: left;
}

.search h2 {
  text-align: left;
}

.search input[type="text"] {
  width: min(68%, 16rem);
  max-width: calc(100% - 4rem);
}

div.navbar {
  width: auto;
  margin-bottom: 10px;
  font-size: 90%;
}

.navbar ul,
.navbar ol {
  padding-right: 6px;
}

.navbar p {
  overflow-x: auto;
}

div#content {
  width: auto;
  margin: 0;
  padding: 10px 12px;
  border: 0;
  font-size: 95%;
  line-height: 1.45;
}

div#content table {
  display: block;
  width: 100%;
  overflow-x: auto;
}

div#content th,
div#content td {
  min-width: 8rem;
}

h1,
h2,
h3,
h4,
h5 {
  line-height: 1.25;
}

pre {
  overflow-x: auto;
}

img {
  max-width: 100%;
  height: auto;
}

div.footer {
  width: auto;
  margin: 14px 12px 20px;
  white-space: normal;
}