.header {
    padding: 20px;
    padding-left: 1rem;
    padding-right: 1rem;
    border-bottom: solid 1px rgba(0, 0, 0, 0.2);
}
.header > div {
    margin: 0;
    max-width: 1140px;
    margin: 0px auto;
}
.header h1 {
    margin: 0;
}
.header .mynav {
    line-height: 2;
}
.header a {
    text-decoration: none;
    color: inherit;
}

.body {
    padding: 5px;
}

.body .container {
    max-width: 1140px;
    margin: 0px auto;
}

.label {
    min-width: 150px;
    display: inline-block;
}

.fieldset {
    padding-block: 0.35em 0.625em;
    padding-inline: 0.75em;
}

fieldset > div {
    margin-bottom: 0.25em;
}

a.subnetlink {
    text-decoration: none;
}

.mono {
    font-family: 'courier new', monospace;
}