body {
    font-family: sans-serif;
}
.alt {
    display: none;
}
.document * {
    display: inline;
}
.hidden {
    display: none;
}
ul.toc {
  list-style-type: none;
}
body {
    font-family: sans-serif;
}
.alt {
    display: none;
}
.document * {
    display: inline;
}
.hidden {
    display: none;
}
ul.toc {
  list-style-type: none;
}
.section {
	clear: both;
}
.rfc2119 {
	color: red;
}
Make sure RFC 2119 markup shows up in the output.
Make sure RFC 2119 markup shows up in the output.
