body {
    background: silver;
    font-family: sans-serif;
    overflow-y: scroll;
}
#toolbar {
    position: fixed;
    left: 0;
    top: 0;
    height: 48px;
    width: 100%;
    background: #eee;
    line-height: 46px;
    text-align: center;
    border-bottom: 1px solid black;
    -webkit-box-shadow: 0px 5px 10px #888;
    -moz-box-shadow: 0px 5px 10px #888;
}
#rfcnum {
    line-height: 43px;
    font-size: 25pt;
    opacity: 0.5;
    color: black;
    position: fixed;
    left: 2px;
    top: 2px;
    margin-left: 0.5ex;
}
input {
    width: 5ex;
}
button {
    font-size: 10pt;
    text-transform: uppercase;
    letter-spacing: 1px;
}
#toolbar-space {
    height: 48px;
}
.anchor {
    position: relative;
    top: -58px;  /* -1 * (48 + 10) */
}
.page {
    display: table;
    background: white;
    margin: 1em;
    margin-left: auto;
    margin-right: auto;
    border: 1px solid black;
    box-shadow: 5px 5px 10px #444;
    -webkit-box-shadow: 5px 5px 10px #444;
    -moz-box-shadow: 5px 5px 10px #444;
    padding: 2em;
    page-break-after: always;
/*  }
pre { */
    line-height: 175%;
    font-family: "DejaVu Sans Mono", "Bitstream Vera Mono", monospace;
    font-size: 10pt;
}
h1, h2, h3, h4, h5, h6 {
    font-family: "DejaVu Sans";
    font-weight: bold;
    font-size: 110%;
}
h1, h2, h3, h4, h5, h6, .title {
    display: inline;
    margin-bottom: 0;
    margin-top: 0;
}
a {
    color: blue;
    text-decoration: underline;
}
a:hover {
    color: red;
}
a.i {
    text-decoration: none;
    border-bottom: 1px dotted blue;
}
.MUST, .REQUIRED, .SHALL {
    color: crimson;
    font-weight: bold;
}
.SHOULD, .RECOMMENDED {
    color: orangered;
    font-weight: bold;
}
.MAY, .OPTIONAL {
    color: green;
    font-weight: bold;
}

.header, .footer, .title {
    color: maroon;
    font-weight: bold;
}
.obsoleted_by {
    padding: 2ex;
    margin: auto;
    margin-top: 2ex;
    background: crimson;
    color: white;
    text-align: center;
    display: table;
    border-radius: 10px;
    -moz-border-radius: 10px;
    -webkit-border-radius: 10px;
    -khtml-border-radius: 10px;
}
.obsoleted_by a {
    color: white;
}
#suggestions b {
    color: orangered;
}
\@media print {
    #toolbar, #toolbar-space { display: none; }
    .page pre { font-size: 10pt; line-height: 115%; }
}