metanorma-ogc 2.7.0 → 2.7.1

data/lib/isodoc/ogc/html/htmlstyle.css

@@ -13,7 +13,8 @@ figure, figcaption, footer, header, hgroup,
 menu, output, ruby, section, summary,
 time, mark, audio, video {
   margin: 0;
-  padding: 0; }
+  padding: 0;
+}
 
 html, body, div, span, applet, object, iframe,
 h1, h2, h3, h4, h5, h6, p, blockquote, pre,
@@ -29,7 +30,8 @@ figure, figcaption, footer, header, hgroup,
 menu, nav, output, ruby, section, summary,
 time, mark, audio, video {
   border: 0;
-  font-size: 100%; }
+  font-size: 100%;
+}
 
 html, body, div, span, applet, object, iframe,
 h1, h2, h3, h4, h5, h6, p, blockquote, pre,
@@ -44,7 +46,8 @@ article, aside, canvas, details, embed,
 figure, figcaption, footer, header, hgroup,
 menu, nav, output, ruby, section, summary,
 time, mark, audio, video {
-  vertical-align: baseline; }
+  vertical-align: baseline;
+}
 
 html, body, div, span, applet, object, iframe,
 p, blockquote,
@@ -59,90 +62,115 @@ article, aside, canvas, details, embed,
 figure, figcaption, footer, header, hgroup,
 menu, nav, output, ruby, section, summary,
 time, mark, audio, video {
-  font-family: {{bodyfont}}; }
+  font-family: {{bodyfont}};
+}
 
 code, pre, tt, kbd, samp {
   font-family: {{monospacefont}};
-  font-variant-ligatures: none; }
+  font-variant-ligatures: none;
+}
 
 code *, pre *, tt *, kbd *, samp * {
   font-family: {{monospacefont}} !important;
-  font-variant-ligatures: none; }
+  font-variant-ligatures: none;
+}
 
 p code, dt code, li code, label code, legend code, caption code, th code, td code,
 p tt, dt tt, li tt, label tt, legend tt, caption tt, th tt, td tt,
 p kbd, dt kbd, li kbd, label kbd, legend kbd, caption kbd, th kbd, td kbd,
 p samp, dt samp, li samp, label samp, legend samp, caption samp, th samp, td samp {
-  font-size: {{monospacefontsize}}; }
+  font-size: {{monospacefontsize}};
+}
 
 sub, sup {
-  font-size: 0.75em; }
+  font-size: 0.75em;
+}
 
 article, aside, details, figcaption, figure,
 footer, header, hgroup, menu, nav, section {
-  display: block; }
+  display: block;
+}
 
 table {
   border-collapse: collapse;
-  border-spacing: 0; }
+  border-spacing: 0;
+}
 
 h1, h2, h3, h4, h5, h6 {
-  font-family: {{headerfont}}; }
+  font-family: {{headerfont}};
+}
 
 .h1, .h2, .h3, .h4, .h5, .h6 {
-  font-family: {{headerfont}}; }
+  font-family: {{headerfont}};
+}
 
 blockquote, q {
-  quotes: none; }
-  blockquote::before, blockquote::after, q::before, q::after {
-    content: '';
-    content: none; }
+  quotes: none;
+}
+blockquote::before, blockquote::after, q::before, q::after {
+  content: "";
+  content: none;
+}
 
 .h2Annex {
-  font-family: {{headerfont}}; }
+  font-family: {{headerfont}};
+}
 
 dl {
   display: grid;
-  grid-template-columns: max-content auto; }
-  dl dt p, dl dd p {
-    margin-top: 0; }
-  dl dt {
-    grid-column-start: 1; }
-  dl dd {
-    grid-column-start: 2; }
+  grid-template-columns: max-content auto;
+}
+dl dt p, dl dd p {
+  margin-top: 0;
+}
+dl dt {
+  grid-column-start: 1;
+}
+dl dd {
+  grid-column-start: 2;
+}
 
 b, strong {
-  font-weight: bold; }
+  font-weight: bold;
+}
 
 div.document-stage-band, div.document-type-band {
-  background-color: #333333; }
+  background-color: #333333;
+}
 
 a.FootnoteRef + a.FootnoteRef::before {
   content: ", ";
-  vertical-align: super; }
+  vertical-align: super;
+}
 
 a.TableFootnoteRef + a.TableFootnoteRef::before {
   content: ", ";
-  vertical-align: super; }
+  vertical-align: super;
+}
 
 a.TableFootnoteRef, span.TableFootnoteRef,
 a.FootnoteRef, span.FootnoteRef {
-  vertical-align: super; }
+  vertical-align: super;
+}
 
 .addition {
-  color: blue; }
+  color: blue;
+}
 
 .deletion {
   color: red;
-  text-decoration: line-through; }
+  text-decoration: line-through;
+}
 
 ruby {
   ruby-position: over;
-  -webkit-ruby-position: before; }
+  -webkit-ruby-position: before;
+}
 
 ruby ruby {
   ruby-position: under;
-  -webkit-ruby-position: after; }
+  -webkit-ruby-position: after;
+}
 
 /* code highlighting with line numbers */
 table.rouge-line-table td.rouge-gutter {
@@ -150,13 +178,15 @@ table.rouge-line-table td.rouge-gutter {
   -ms-user-select: none;
   -webkit-user-select: none;
   user-select: none;
-  padding-right: 1em; }
+  padding-right: 1em;
+}
 
 table.rouge-line-table td.rouge-code {
   -moz-user-select: all;
   -ms-user-select: all;
   -webkit-user-select: all;
-  user-select: all; }
+  user-select: all;
+}
 
 table.rouge-line-table,
 table.rouge-line-table th,
@@ -165,27 +195,32 @@ table.rouge-line-table td {
   border: none;
   margin: 0;
   padding: 0;
-  font-size: 100%; }
+  font-size: 100%;
+}
 
 table.rouge-line-table pre {
   margin: 0;
   padding: 0;
   overflow-x: visible;
-  font-size: 100%; }
+  font-size: 100%;
+}
 
 /* header § links */
 a.header {
   color: inherit;
-  text-decoration: none; }
+  text-decoration: none;
+}
 
 a.header:hover {
   color: #a53221 !important;
   background: inherit;
-  box-shadow: none; }
+  box-shadow: none;
+}
 
 a.header:visited {
   color: inherit;
-  text-decoration: none; }
+  text-decoration: none;
+}
 
 a.anchor {
   position: absolute;
@@ -196,18 +231,21 @@ a.anchor {
   text-decoration: none !important;
   visibility: hidden;
   text-align: center;
-  font-weight: 400; }
+  font-weight: 400;
+}
 
 a.anchor::before {
-  content: "\00A7";
-  font-size: .85em;
+  content: "§";
+  font-size: 0.85em;
   display: block;
-  padding-top: .1em; }
+  padding-top: 0.1em;
+}
 
 a.anchor:hover {
   color: #a53221;
   background: inherit;
-  box-shadow: none; }
+  box-shadow: none;
+}
 
 h1 > a.anchor:hover,
 h2 > a.anchor:hover,
@@ -223,13 +261,15 @@ h4:hover > a.anchor,
 h5:hover > a.anchor,
 h6:hover > a.anchor,
 .inline-header:hover > a.anchor {
-  visibility: visible; }
+  visibility: visible;
+}
 
 /* collapsible snippets: collapsible before hidable */
 .hidable {
   max-height: 0;
   overflow: hidden;
-  transition: max-height 0.2s ease-out; }
+  transition: max-height 0.2s ease-out;
+}
 
 .collapsible {
   background-color: #777;
@@ -241,386 +281,381 @@ h6:hover > a.anchor,
   border: none;
   text-align: left;
   outline: none;
-  font-size: 15px; }
+  font-size: 15px;
+}
 
 .active, .collapsible:hover {
-  background-color: #555; }
+  background-color: #555;
+}
 
 .collapsible:after {
-  content: '\25bc';
+  content: "▼";
   color: white;
   font-weight: bold;
   float: right;
   margin-left: 12px;
-  margin-right: 12px; }
+  margin-right: 12px;
+}
 
 .active:after {
-  content: "\25b2"; }
+  content: "▲";
+}
 
 /* collapsible: */
 .collapsible + .hidable {
-  margin-top: 0; }
+  margin-top: 0;
+}
 
 .collapsible:not(.active) + .hidable {
   overflow: hidden;
-  padding: 0; }
+  padding: 0;
+}
 
 #standard-band {
-  background-color: #3D9970; }
+  background-color: #0AC442;
+}
 
 #standard {
-  border-bottom: solid 3px #3D9970; }
-
-#draft-standard-band {
-  background-color: #3D9970; }
-
-#draft-standard {
-  border-bottom: solid 3px #3D9970; }
-
-#abstract-specification-topic-band {
-  background-color: #3D9970; }
-
-#abstract-specification-topic {
-  border-bottom: solid 3px #3D9970; }
-
-#reference-model-band {
-  background-color: #3D9970; }
-
-#reference-model {
-  border-bottom: solid 3px #3D9970; }
-
-#best-practice-band {
-  background-color: #39CCCC; }
-
-#best-practice {
-  border-bottom: solid 3px #39CCCC; }
-
-#discussion-paper-band {
-  background-color: #39CCCC; }
-
-#discussion-paper {
-  border-bottom: solid 3px #39CCCC; }
-
-#white-paper-band {
-  background-color: #39CCCC; }
-
-#white-paper {
-  border-bottom: solid 3px #39CCCC; }
-
-#technical-paper-band {
-  background-color: #39CCCC; }
-
-#technical-paper {
-  border-bottom: solid 3px #39CCCC; }
-
-#engineering-report-band {
-  background-color: #39CCCC; }
-
-#engineering-report {
-  border-bottom: solid 3px #39CCCC; }
-
-#release-notes-band {
-  background-color: #FFDC00; }
-
-#release-notes {
-  border-bottom: solid 3px #FFDC00; }
-
-#user-guide-band {
-  background-color: #FFDC00; }
-
-#user-guide {
-  border-bottom: solid 3px #FFDC00; }
+  border-bottom: solid 3px #0AC442;
+}
 
-#community-practice-band {
-  background-color: #FF851B; }
+#directive-band {
+  background-color: #540D6E;
+}
 
-#community-practice {
-  border-bottom: solid 3px #FF851B; }
+#directive {
+  border-bottom: solid 3px #540D6E;
+}
 
-#community-standard-band {
-  background-color: #FF851B; }
+#guide-band {
+  background-color: #D183C9;
+}
 
-#community-standard {
-  border-bottom: solid 3px #FF851B; }
+#guide {
+  border-bottom: solid 3px #D183C9;
+}
 
-#other-band {
-  background-color: #0074D9; }
+#specification-band {
+  background-color: #65AFFF;
+}
 
-#other {
-  border-bottom: solid 3px #0074D9; }
+#specification {
+  border-bottom: solid 3px #65AFFF;
+}
 
-#policy-band {
-  background-color: #0074D9; }
+#report-band {
+  background-color: #3A405A;
+}
 
-#policy {
-  border-bottom: solid 3px #0074D9; }
+#report {
+  border-bottom: solid 3px #3A405A;
+}
 
-#change-request-supporting-document-band {
-  background-color: #0074D9; }
+#amendment-band {
+  background-color: #F26430;
+}
 
-#change-request-supporting-document {
-  border-bottom: solid 3px #0074D9; }
+#amendment {
+  border-bottom: solid 3px #F26430;
+}
 
-#test-suite-band {
-  background-color: #001F3F; }
+#corrigendum-band {
+  background-color: #C84630;
+}
 
-#test-suite {
-  border-bottom: solid 3px #001F3F; }
+#corrigendum {
+  border-bottom: solid 3px #C84630;
+}
 
-#candidate-band {
-  background-color: #8B9EB7; }
+#administrative-band {
+  background-color: #BFAE48;
+}
 
-#candidate {
-  border-bottom: solid 3px #8B9EB7; }
+#administrative {
+  border-bottom: solid 3px #BFAE48;
+}
 
-#working-draft-band {
-  background-color: #8B9EB7; }
+#advisory-band {
+  background-color: #BD9391;
+}
 
-#working-draft {
-  border-bottom: solid 3px #8B9EB7; }
+#advisory {
+  border-bottom: solid 3px #BD9391;
+}
 
 #proposal-band {
-  background-color: #8B9EB7; }
+  background-color: #39A0ED;
+}
 
 #proposal {
-  border-bottom: solid 3px #8B9EB7; }
+  border-bottom: solid 3px #39A0ED;
+}
 
-#oab-review-band {
-  background-color: #8B9EB7; }
+#working-draft-band {
+  background-color: #2D7393;
+}
 
-#oab-review {
-  border-bottom: solid 3px #8B9EB7; }
+#working-draft {
+  border-bottom: solid 3px #2D7393;
+}
 
 #committee-draft-band {
-  background-color: #8B9EB7; }
+  background-color: #2A6B7C;
+}
 
 #committee-draft {
-  border-bottom: solid 3px #8B9EB7; }
-
-#swg-draft-band {
-  background-color: #8B9EB7; }
-
-#swg-draft {
-  border-bottom: solid 3px #8B9EB7; }
+  border-bottom: solid 3px #2A6B7C;
+}
 
-#public-rfc-band {
-  background-color: #48a0e7; }
+#draft-standard-band {
+  background-color: #1C7F7A;
+}
 
-#public-rfc {
-  border-bottom: solid 3px #48a0e7; }
+#draft-standard {
+  border-bottom: solid 3px #1C7F7A;
+}
 
-#tc-vote-band {
-  background-color: #fd06fd; }
+#final-draft-band {
+  background-color: #53C170;
+}
 
-#tc-vote {
-  border-bottom: solid 3px #fd06fd; }
+#final-draft {
+  border-bottom: solid 3px #53C170;
+}
 
 #published-band {
-  background-color: #9abd48; }
+  background-color: #069E2D;
+}
 
 #published {
-  border-bottom: solid 3px #9abd48; }
-
-#deprecated-band {
-  background-color: #7e0d13; }
-
-#deprecated {
-  border-bottom: solid 3px #7e0d13; }
-
-#retired-band {
-  background-color: #7e0d13; }
-
-#retired {
-  border-bottom: solid 3px #7e0d13; }
+  border-bottom: solid 3px #069E2D;
+}
 
-#legacy-band {
-  background-color: #7e0d13; }
+#withdrawn-band {
+  background-color: #004E64;
+}
 
-#legacy {
-  border-bottom: solid 3px #7e0d13; }
+#withdrawn {
+  border-bottom: solid 3px #004E64;
+}
 
-#rescinded-band {
-  background-color: #7e0d13; }
+#cancelled-band {
+  background-color: #2E382E;
+}
 
-#rescinded {
-  border-bottom: solid 3px #7e0d13; }
+#cancelled {
+  border-bottom: solid 3px #2E382E;
+}
 
 .coverpage-maturity, .coverpage-stage {
   font-family: {{headerfont}};
   font-weight: 400;
   font-size: 1.3em;
   margin: 0 0 2em 0;
-  text-transform: uppercase; }
+  text-transform: uppercase;
+}
 
 .icon-svg {
   width: 100%;
-  color: #5ecf86; }
+  color: #5ecf86;
+}
 
 .wrapper-top {
-  background: #00335b;
-  background: linear-gradient(130deg, #00335b 45%, #f1f8ff 100%);
+  background: rgb(0, 51, 91);
+  background: linear-gradient(130deg, rgb(0, 51, 91) 45%, rgb(241, 248, 255) 100%);
   color: #ffffff;
   padding: 5em 0;
-  width: 100%; }
+  width: 100%;
+}
 
 .wrapper-top-bottom {
   width: 0;
   height: 0;
   border-top: 100px solid #00335b;
   border-right: 100px solid transparent;
-  position: absolute; }
+  position: absolute;
+}
 
 .document-type-band {
-  top: 260px; }
+  top: 260px;
+}
 
 .document-stage-band > :first-child {
-  height: 240px; }
+  height: 240px;
+}
 
 .coverpage-metadata {
   margin-top: 35px;
   padding-top: 15px;
   margin-right: 25px;
-  border-top: solid 1px white; }
+  border-top: solid 1px white;
+}
 
 .coverpage-metadata,
 .coverpage-alt-formats {
   font-size: 12px;
   font-family: {{headerfont}};
   margin-left: 1em;
-  text-align: left; }
-  .coverpage-metadata span,
-  .coverpage-alt-formats span {
-    display: block;
-    text-align: left; }
-    .coverpage-metadata span a,
-    .coverpage-alt-formats span a {
-      color: white; }
-      .coverpage-metadata span a:hover,
-      .coverpage-alt-formats span a:hover {
-        text-decoration: underline;
-        background: none;
-        box-shadow: none !important;
-        font-weight: 400; }
-  .coverpage-metadata .value,
-  .coverpage-alt-formats .value {
-    font-size: 15px;
-    margin-bottom: 15px; }
-  .coverpage-metadata .label,
-  .coverpage-alt-formats .label {
-    font-size: 12px;
-    padding: 0; }
+  text-align: left;
+}
+.coverpage-metadata span,
+.coverpage-alt-formats span {
+  display: block;
+  text-align: left;
+}
+.coverpage-metadata span a,
+.coverpage-alt-formats span a {
+  color: white;
+}
+.coverpage-metadata span a:hover,
+.coverpage-alt-formats span a:hover {
+  text-decoration: underline;
+  background: none;
+  box-shadow: none !important;
+  font-weight: 400;
+}
+.coverpage-metadata .value,
+.coverpage-alt-formats .value {
+  font-size: 15px;
+  margin-bottom: 15px;
+}
+.coverpage-metadata .label,
+.coverpage-alt-formats .label {
+  font-size: 12px;
+  padding: 0;
+}
 
 .coverpage-alt-formats span {
   display: inline;
-  text-align: left; }
-  .coverpage-alt-formats span a {
-    padding-right: 5px; }
+  text-align: left;
+}
+.coverpage-alt-formats span a {
+  padding-right: 5px;
+}
 
 .coverpage-title {
   padding-bottom: 0.5em;
   font-family: {{headerfont}};
   font-weight: 100;
   padding-left: 1em;
-  padding-right: 1em; }
-  .coverpage-title span {
-    font-family: {{headerfont}};
-    font-size: 1.8em;
-    line-height: 1; }
+  padding-right: 1em;
+}
+.coverpage-title span {
+  font-family: {{headerfont}};
+  font-size: 1.8em;
+  line-height: 1;
+}
 
 .docstage-box table {
-  width: auto; }
-
+  width: auto;
+}
 .docstage-box th {
-  background-color: #93c0d6; }
-
+  background-color: #93c0d6;
+}
 .docstage-box td {
   vertical-align: top;
   background-color: #daeef3;
   padding: 0.5em;
-  border: 0; }
-
+  border: 0;
+}
 .docstage-box th:first-child {
-  border-radius: 1em 0 0 0; }
-
+  border-radius: 1em 0 0 0;
+}
 .docstage-box th:last-child {
-  border-radius: 0 1em 0 0; }
-
+  border-radius: 0 1em 0 0;
+}
 .docstage-box tr:first-child {
-  border-radius: 0 0 0 1em; }
-
+  border-radius: 0 0 0 1em;
+}
 .docstage-box tr:last-child {
-  border-radius: 0 1em 0 0; }
-
+  border-radius: 0 1em 0 0;
+}
 .docstage-box tr:last-child > td:first-child {
-  border-radius: 0 0 0 1em; }
-
+  border-radius: 0 0 0 1em;
+}
 .docstage-box tr:last-child > td:last-child {
-  border-radius: 0 0 1em 0; }
+  border-radius: 0 0 1em 0;
+}
 
 .WordSection11 {
-  padding: 0 2em 0 3em; }
+  padding: 0 2em 0 3em;
+}
 
 .info-section {
-  padding: 0 2em 0 5em; }
+  padding: 0 2em 0 5em;
+}
 
 .prefatory-section {
-  padding: 0 3em 0 6em; }
+  padding: 0 3em 0 6em;
+}
 
 .zzSTDTitle1, .MsoCommentText {
-  display: none; }
+  display: none;
+}
 
 .coverpage {
   text-align: center;
-  padding-left: 1.5em; }
+  padding-left: 1.5em;
+}
 
 .coverpage-logo span, .coverpage-tc-name span {
   font-family: {{bodyfont}};
   text-transform: none;
   font-weight: 300;
-  margin-left: 1em; }
+  margin-left: 1em;
+}
 
 .coverpage-logo img {
   width: 500px;
-  height: auto; }
+  height: auto;
+}
 
 .coverpage-tc-name {
   font-size: 1.2em;
   line-height: 1.2em;
-  margin: 0.25em 0; }
+  margin: 0.25em 0;
+}
 
 .copyright {
   padding: 1em;
   font-size: 0.9em;
-  text-align: left; }
+  text-align: left;
+}
 
 /* Document Identity */
 .coverpage-doc-identity {
   font-size: 2em;
-  line-height: 2em; }
+  line-height: 2em;
+}
 
 .coverpage-title .title-second {
-  display: none; }
+  display: none;
+}
 
 .coverpage-stage-block {
   font-family: {{headerfont}};
   font-weight: 600;
   font-size: 1.25em;
   margin: 2em 0em 2em 0em;
-  text-transform: uppercase; }
+  text-transform: uppercase;
+}
 
 .authors {
-  margin-top: 2em; }
-  .authors span {
-    display: block;
-    line-height: 2; }
-  .authors span.roletag {
-    display: inline-block;
-    font-size: 12px;
-    color: #00335b;
-    background-color: white;
-    padding: 2px 5px;
-    margin-left: 7px;
-    border-radius: 5px; }
+  margin-top: 2em;
+}
+.authors span {
+  display: block;
+  line-height: 2;
+}
+.authors span.roletag {
+  display: inline-block;
+  font-size: 12px;
+  color: #00335b;
+  background-color: white;
+  padding: 2px 5px;
+  margin-left: 7px;
+  border-radius: 5px;
+}
 
 /* Draft Warning */
 .coverpage-warning {
@@ -629,37 +664,46 @@ h6:hover > a.anchor,
   margin: 1em 2em;
   color: #2e81c2;
   padding: 2em 1em 1em 1em;
-  border-radius: 25px; }
-  .coverpage-warning h1 {
-    font-family: {{headerfont}};
-    font-weight: 300;
-    text-transform: uppercase;
-    font-size: 1.2em; }
+  border-radius: 25px;
+}
+.coverpage-warning h1 {
+  font-family: {{headerfont}};
+  font-weight: 300;
+  text-transform: uppercase;
+  font-size: 1.2em;
+}
 
 @media print {
   .document-info, .copyright {
-    page-break-before: always; }
+    page-break-before: always;
+  }
   .coverpage {
-    height: 23cm; }
+    height: 23cm;
+  }
   .info-section {
-    display: none; }
+    display: none;
+  }
   .wrapper-top {
     top: 0;
     padding-top: 4cm;
-    padding-bottom: 4cm; }
+    padding-bottom: 4cm;
+  }
   .wrapper-top-bottom {
     margin-top: -5px;
-    display: none; } }
-
+    display: none;
+  }
+}
 /* For Requirement Test anchors */
 p.RecommendationTitle:hover > a.anchor,
 p.RecommendationTitle > a.anchor:hover,
 p.RecommendationTestTitle:hover > a.anchor,
 p.RecommendationTestTitle > a.anchor:hover {
-  visibility: visible; }
+  visibility: visible;
+}
 
 table a.anchor {
-  margin-left: -2em; }
+  margin-left: -2em;
+}
 
 body {
   margin-left: auto;
@@ -669,82 +713,100 @@ body {
   font-weight: 300;
   line-height: 1.5;
   color: #00335b;
-  background-color: #f6f8fa; }
-  body main {
-    margin: 0 3em 0 6em; }
-  @media screen and (min-width: 768px) {
-    body {
-      padding-left: 360px; } }
-  @media print {
-    body {
-      padding-left: 0; } }
+  background-color: #f6f8fa;
+}
+body main {
+  margin: 0 3em 0 6em;
+}
+@media screen and (min-width: 768px) {
+  body {
+    padding-left: 360px;
+  }
+}
+@media print {
+  body {
+    padding-left: 0;
+  }
+}
+
 dl {
-  grid-template-columns: minmax(0, 1fr) 93%; }
-  dl pre {
-    overflow-x: scroll; }
+  grid-template-columns: minmax(0, 1fr) 93%;
+}
+dl pre {
+  overflow-x: scroll;
+}
 
 #toc ul, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) ul {
   margin: 0;
   padding: 0;
-  list-style: none; }
-  #toc ul li a, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) ul li a {
-    padding: 5px 10px; }
-  #toc ul a, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) ul a {
-    color: #00335b;
-    text-decoration: none;
-    display: block; }
-    #toc ul a:hover, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) ul a:hover {
-      box-shadow: none;
-      color: white; }
-
+  list-style: none;
+}
+#toc ul li a, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) ul li a {
+  padding: 5px 10px;
+}
+#toc ul a, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) ul a {
+  color: #00335b;
+  text-decoration: none;
+  display: block;
+}
+#toc ul a:hover, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) ul a:hover {
+  box-shadow: none;
+  color: white;
+}
 #toc .h2, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) .h2 {
-  padding-left: 30px; }
-
+  padding-left: 30px;
+}
 #toc .h3, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) .h3 {
-  padding-left: 50px; }
-
+  padding-left: 50px;
+}
 #toc .h4, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) .h4 {
-  padding-left: 70px; }
-
+  padding-left: 70px;
+}
 #toc .h5, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) .h5 {
-  padding-left: 90px; }
-
+  padding-left: 90px;
+}
 #toc .h6, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) .h6 {
-  padding-left: 110px; }
-
+  padding-left: 110px;
+}
 #toc .toc-active, #toc li:hover, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) .toc-active, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) li:hover {
   background: #00335b;
-  box-shadow: inset -5px 0px 10px -5px #00335b !important; }
-  #toc .toc-active a, #toc li:hover a, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) .toc-active a, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) li:hover a {
-    color: white; }
-
+  box-shadow: inset -5px 0px 10px -5px #00335b !important;
+}
+#toc .toc-active a, #toc li:hover a, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) .toc-active a, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) li:hover a {
+  color: white;
+}
 @media print {
   #toc .toc-active, #toc li:hover, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) .toc-active, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) li:hover {
     background: white;
-    box-shadow: none !important; }
+    box-shadow: none !important;
+  }
   #toc .toc-active a, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) .toc-active a {
-    color: #00335b; }
+    color: #00335b;
+  }
   #toc li:hover a, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) li:hover a {
-    color: black; } }
-
+    color: black;
+  }
+}
 #toc li a, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) li a {
-  font-size: 14px; }
-
+  font-size: 14px;
+}
 #toc li::before, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) li::before {
   content: " ";
-  display: none; }
-
+  display: none;
+}
 #toc .toc-active, #toc li:hover, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) .toc-active, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) li:hover {
-  font-weight: 600; }
-
+  font-weight: 600;
+}
 #toc li:hover a, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) li:hover a {
   background: none;
-  box-shadow: none; }
+  box-shadow: none;
+}
 
 #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) {
   margin-top: 0;
   margin-bottom: 0;
-  font-size: 100%; }
+  font-size: 100%;
+}
 
 @media screen and (min-width: 768px) {
   nav {
@@ -756,8 +818,9 @@ dl {
     font-size: 0.9em;
     overflow: auto;
     padding: 0 0 0 30px;
-    background-color: #f1f8ff; } }
-
+    background-color: #f1f8ff;
+  }
+}
 @media print {
   nav {
     position: relative;
@@ -766,11 +829,14 @@ dl {
     overflow: auto;
     padding: 0;
     margin-right: 0;
-    background-color: white; } }
-
+    background-color: white;
+  }
+}
 @media screen and (min-width: 768px) {
   nav {
-    margin-right: 30px; } }
+    margin-right: 30px;
+  }
+}
 
 @media screen and (min-width: 768px) {
   #toggle {
@@ -780,62 +846,78 @@ dl {
     background-color: #00335b;
     color: white !important;
     cursor: pointer;
-    z-index: 100; }
-    #toggle span {
-      text-align: center;
-      width: 100%;
-      position: absolute;
-      top: 50%;
-      transform: translate(0, -50%); } }
-
+    z-index: 100;
+  }
+  #toggle span {
+    text-align: center;
+    width: 100%;
+    position: absolute;
+    top: 50%;
+    transform: translate(0, -50%);
+  }
+}
 @media screen and (max-width: 768px) {
   #toggle {
-    display: none; } }
-
+    display: none;
+  }
+}
 @media print {
   #toggle {
-    display: none; } }
+    display: none;
+  }
+}
 
 .rule {
   width: 100%;
   height: 1px;
   background-color: #00335b;
-  margin: 2em 0; }
-  @media screen and (min-width: 768px) {
-    .rule.toc {
-      display: none; } }
+  margin: 2em 0;
+}
+@media screen and (min-width: 768px) {
+  .rule.toc {
+    display: none;
+  }
+}
+
 @media screen and (min-width: 768px) {
   h1.toc-contents {
-    margin-top: 1em; }
+    margin-top: 1em;
+  }
   ul#toc-list, ul#toc-list > :is(.h1, .h2, .h3, .h4, .h5, .h6) {
     padding: 0;
-    margin: 0; } }
-
+    margin: 0;
+  }
+}
 #toc-list ul {
-  margin-bottom: 0.25em; }
-
+  margin-bottom: 0.25em;
+}
 #toc-list li {
-  list-style-type: none; }
+  list-style-type: none;
+}
 
 .figure {
   line-height: 1.6em;
   padding: 1.5em;
   margin: 2em 0 1em 0;
-  overflow: auto; }
-  .figure .FigureTitle, .figure .figure-title {
-    font-weight: 700;
-    font-size: 1em;
-    text-align: center; }
-  .figure > img, .figure > svg {
-    margin-left: auto;
-    margin-right: auto;
-    display: block;
-    max-width: 100%;
-    height: auto; }
+  overflow: auto;
+}
+.figure .FigureTitle, .figure .figure-title {
+  font-weight: 700;
+  font-size: 1em;
+  text-align: center;
+}
+.figure > img, .figure > svg {
+  margin-left: auto;
+  margin-right: auto;
+  display: block;
+  max-width: 100%;
+  height: auto;
+}
 
 table div.figure {
   padding: 0;
-  margin: 0; }
+  margin: 0;
+}
 
 .document-stage-band {
   left: 0;
@@ -844,110 +926,133 @@ table div.figure {
   position: fixed;
   display: block;
   z-index: 101;
-  box-shadow: -5px 0px 10px #1d1d1d; }
-  .document-stage-band > :first-child {
-    position: relative;
-    width: 25px;
-    font-weight: 300;
-    height: 160px;
-    color: white;
-    text-transform: uppercase;
-    font-size: 0.9em;
-    font-weight: 400;
-    letter-spacing: 0.05em;
-    margin: 0;
-    margin-left: 6px;
-    writing-mode: tb-rl;
-    -webkit-transform: rotate(180deg);
-    -moz-transform: rotate(180deg);
-    -o-transform: rotate(180deg);
-    white-space: nowrap;
-    display: block;
-    bottom: 0; }
-  @media print {
-    .document-stage-band {
-      display: none; } }
+  box-shadow: -5px 0px 10px #1d1d1d;
+}
+.document-stage-band > :first-child {
+  position: relative;
+  width: 25px;
+  font-weight: 300;
+  height: 160px;
+  color: white;
+  text-transform: uppercase;
+  font-size: 0.9em;
+  font-weight: 400;
+  letter-spacing: 0.05em;
+  margin: 0;
+  margin-left: 6px;
+  writing-mode: tb-rl;
+  -webkit-transform: rotate(180deg);
+  -moz-transform: rotate(180deg);
+  -o-transform: rotate(180deg);
+  white-space: nowrap;
+  display: block;
+  bottom: 0;
+}
+@media print {
+  .document-stage-band {
+    display: none;
+  }
+}
+
 .document-type-band {
   left: 0;
   top: 180px;
   height: 100%;
   position: fixed;
   display: block;
-  z-index: 102; }
-  .document-type-band > :first-child {
-    position: relative;
-    width: 25px;
-    font-weight: 400;
-    color: white;
-    text-transform: uppercase;
-    font-size: 0.9em;
-    font-weight: 400;
-    letter-spacing: 0.05em;
-    margin: 0;
-    margin-left: 6px;
-    writing-mode: tb-rl;
-    -webkit-transform: rotate(180deg);
-    -moz-transform: rotate(180deg);
-    -o-transform: rotate(180deg);
-    white-space: nowrap;
-    display: block;
-    bottom: 0; }
-  @media print {
-    .document-type-band {
-      display: none; } }
-  .document-type-band .document-type {
-    top: 20px; }
+  z-index: 102;
+}
+.document-type-band > :first-child {
+  position: relative;
+  width: 25px;
+  font-weight: 400;
+  color: white;
+  text-transform: uppercase;
+  font-size: 0.9em;
+  font-weight: 400;
+  letter-spacing: 0.05em;
+  margin: 0;
+  margin-left: 6px;
+  writing-mode: tb-rl;
+  -webkit-transform: rotate(180deg);
+  -moz-transform: rotate(180deg);
+  -o-transform: rotate(180deg);
+  white-space: nowrap;
+  display: block;
+  bottom: 0;
+}
+@media print {
+  .document-type-band {
+    display: none;
+  }
+}
+.document-type-band .document-type {
+  top: 20px;
+}
 
 #governance-band p.document-type {
   font-weight: 400;
-  height: 230px !important; }
+  height: 230px !important;
+}
 
 #standard-band p {
-  height: 135px; }
+  height: 135px;
+}
 
 #proposal-band p {
-  height: 150px; }
+  height: 150px;
+}
 
 #standard-band,
 #published-band {
-  color: #7ba812; }
+  color: rgb(123, 168, 18);
+}
 
 #standard,
 #published {
-  color: #9ABD48; }
+  color: #9ABD48;
+}
 
 p {
   margin-top: 1em;
-  margin-bottom: 1em; }
+  margin-bottom: 1em;
+}
 
 h1, h2, h3, h4, h5, h6,
 .h1, .h2, .h3, .h4, .h5, .h6 {
   color: #00335b;
   font-weight: 400;
   margin-top: 1.6em;
-  margin-bottom: 0.3em; }
+  margin-bottom: 0.3em;
+}
 
 h1, .h1 {
   font-size: 1.8em;
   text-transform: uppercase;
-  margin-top: 2em; }
-  h1 #content, .h1 #content {
-    margin-top: 2em; }
+  margin-top: 2em;
+}
+h1 #content, .h1 #content {
+  margin-top: 2em;
+}
 
 h2, .h2 {
   margin-top: 1.3em;
   font-size: 1.7em;
-  font-weight: 300; }
-  h2 p, .h2 p {
-    display: inline; }
+  font-weight: 300;
+}
+h2 p, .h2 p {
+  display: inline;
+}
 
 h3, .h3 {
   margin-top: 1.3em;
   font-size: 1.5em;
-  font-weight: 100; }
+  font-weight: 100;
+}
 
 h4, .h4 {
-  font-size: 1.4em; }
+  font-size: 1.4em;
+}
 
 .contact-info {
   padding: 2em;
@@ -956,49 +1061,63 @@ h4, .h4 {
   text-align: left;
   border: #00335b solid 2px;
   color: #00335b !important;
-  border-radius: 25px; }
-  .contact-info a:hover {
-    text-decoration: underline;
-    background: none;
-    box-shadow: 0 0 0 0; }
-  .contact-info a, .contact-info a:hover {
-    color: #00335b; }
-  .contact-info p, .contact-info a {
-    font-family: {{monospacefont}};
-    font-variant-ligatures: none;
-    font-weight: 400; }
-  .contact-info #boilerplate-name {
-    font-weight: 700;
-    font-size: 1.2em;
-    margin-bottom: 0; }
-  .contact-info #boilerplate-address {
-    font-size: 1em;
-    line-height: 1.3em;
-    margin-top: 0; }
+  border-radius: 25px;
+}
+.contact-info a:hover {
+  text-decoration: underline;
+  background: none;
+  box-shadow: 0 0 0 0;
+}
+.contact-info a, .contact-info a:hover {
+  color: #00335b;
+}
+.contact-info p, .contact-info a {
+  font-family: {{monospacefont}};
+  font-variant-ligatures: none;
+  font-weight: 400;
+}
+.contact-info #boilerplate-name {
+  font-weight: 700;
+  font-size: 1.2em;
+  margin-bottom: 0;
+}
+.contact-info #boilerplate-address {
+  font-size: 1em;
+  line-height: 1.3em;
+  margin-top: 0;
+}
 
 ul, ol {
-  margin-left: 1.2em; }
+  margin-left: 1.2em;
+}
 
 ul > li {
-  list-style: none; }
-  ul > li::before {
-    content: "\2014";
-    display: inline-block;
-    width: 1em;
-    margin-left: -1em; }
-  ul > li p:first-child {
-    display: inline; }
-  ul > li:first-child {
-    margin-top: 1em; }
+  list-style: none;
+}
+ul > li::before {
+  content: "—";
+  display: inline-block;
+  width: 1em;
+  margin-left: -1em;
+}
+ul > li p:first-child {
+  display: inline;
+}
+ul > li:first-child {
+  margin-top: 1em;
+}
 
 ul ul > li:first-child {
-  margin-top: 0; }
+  margin-top: 0;
+}
 
 ol ul > li:first-child {
-  margin-top: 0; }
+  margin-top: 0;
+}
 
 span.keyword {
-  font-weight: 600; }
+  font-weight: 600;
+}
 
 /* Tables */
 table {
@@ -1008,25 +1127,33 @@ table {
   margin-left: auto;
   margin-right: auto;
   padding-right: 2em;
-  /*color: #010d16;*/ }
-  table, table th, table td {
-    border: 1px solid black;
-    font-size: 0.95em; }
-  table th, table td {
-    padding: 1em; }
-  table td.header {
-    font-weight: 400; }
-  table thead tr th {
-    background-color: #5d99d6; }
-  table td, table th {
-    padding: 1em; }
-  table td.header {
-    font-weight: 400; }
+  /*color: #010d16;*/
+}
+table, table th, table td {
+  border: 1px solid black;
+  font-size: 0.95em;
+}
+table th, table td {
+  padding: 1em;
+}
+table td.header {
+  font-weight: 400;
+}
+table thead tr th {
+  background-color: #5d99d6;
+}
+table td, table th {
+  padding: 1em;
+}
+table td.header {
+  font-weight: 400;
+}
 
 .docstage-box table,
 .docstage-box table th,
 .docstage-box table td {
-  border: none; }
+  border: none;
+}
 
 table.modspec {
   width: 100%;
@@ -1035,91 +1162,115 @@ table.modspec {
   margin-left: auto;
   margin-right: auto;
   padding-right: 2em;
-  color: #010d16; }
-  table.modspec, table.modspec th, table.modspec td {
-    border: none !important;
-    font-size: 0.95em; }
-  table.modspec th, table.modspec td {
-    padding: 1em; }
-  table.modspec td.header {
-    font-weight: 400; }
-  table.modspec tr:nth-child(even) {
-    background: #ffffff; }
-  table.modspec tr:nth-child(odd) {
-    background: #ffffff; }
-  table.modspec thead tr th {
-    background-color: #5d99d6; }
-  table.modspec td, table.modspec th {
-    padding: 1em; }
-  table.modspec td.header {
-    font-weight: 400; }
+  color: #010d16;
+}
+table.modspec, table.modspec th, table.modspec td {
+  border: none !important;
+  font-size: 0.95em;
+}
+table.modspec th, table.modspec td {
+  padding: 1em;
+}
+table.modspec td.header {
+  font-weight: 400;
+}
+table.modspec tr:nth-child(even) {
+  background: #ffffff;
+}
+table.modspec tr:nth-child(odd) {
+  background: #ffffff;
+}
+table.modspec thead tr th {
+  background-color: #5d99d6;
+}
+table.modspec td, table.modspec th {
+  padding: 1em;
+}
+table.modspec td.header {
+  font-weight: 400;
+}
 
 td > p:first-child, th > p:first-child {
-  margin-top: 0em; }
+  margin-top: 0em;
+}
 
 td > p:last-child, th > p:last-child {
-  margin-bottom: 0em; }
+  margin-bottom: 0em;
+}
 
 p.TableTitle {
   text-align: center;
   margin-top: 2.5em;
-  font-weight: 400; }
+  font-weight: 400;
+}
 
 /* Terms */
 .TermNum {
-  font-weight: 300; }
+  font-weight: 300;
+}
 
 .TermNum, .Terms, .AltTerms {
   color: #00335b;
-  font-family: {{headerfont}}; }
+  font-family: {{headerfont}};
+}
 
 h2.TermNum {
-  margin-bottom: 0; }
+  margin-bottom: 0;
+}
 
 p.AltTerms {
   font-size: 24px;
-  margin-top: 1em; }
+  margin-top: 1em;
+}
 
 span.AdmittedLabel, span.DeprecatedLabel {
   color: #00335b;
   background-color: #CFE2F3;
   font-size: 70%;
-  vertical-align: top; }
+  vertical-align: top;
+}
 
 /* Links, selection */
 a, a:visited {
   text-decoration: none;
-  color: #2e81c2; }
+  color: #2e81c2;
+}
 
 a:hover {
   color: #00335b;
   background: #39CCCC;
-  box-shadow: 3px 0 0 #39CCCC, -3px 0 0 #39CCCC; }
+  box-shadow: 3px 0 0 #39CCCC, -3px 0 0 #39CCCC;
+}
 
 *::selection {
   background: #39CCCC;
-  color: #00335b; }
+  color: #00335b;
+}
 
 *::-moz-selection {
   background: #39CCCC;
-  color: #00335b; }
+  color: #00335b;
+}
 
 /* Bibliograhy */
 p.Biblio, p.NormRef {
   margin-top: 1em;
-  margin-left: 2em; }
+  margin-left: 2em;
+}
 
 /* Blocks */
 .SourceTitle, .FigureTitle {
   font-weight: 700;
   font-size: 1em;
-  text-align: center; }
+  text-align: center;
+}
 
 .ListTitle {
   font-weight: 700;
   font-size: 1em;
   text-align: center;
-  text-align: left; }
+  text-align: left;
+}
 
 pre, .sourcecode {
   font-family: {{monospacefont}};
@@ -1132,55 +1283,67 @@ pre, .sourcecode {
   overflow-y: auto;
   overflow-x: scroll;
   font-family: {{monospacefont}};
-  font-variant-ligatures: none; }
+  font-variant-ligatures: none;
+}
 
 .Admonition {
   padding: 1em 1.2em 1.2em 1.2em;
   margin: 1em 0 1em 0;
   background-color: #fcad88;
   border-top: 10px solid #eb5a06;
-  color: #290404; }
-  .Admonition .AdmonitionTitle {
-    font-weight: 700;
-    font-size: 1em;
-    text-align: center; }
-  .Admonition.Important {
-    background-color: #f58cff;
-    color: #5d1364;
-    border-top: 10px solid #9503a8; }
-  .Admonition.Warning {
-    background-color: #ff989d;
-    color: #270204;
-    border-top: 10px solid #e4010c; }
-  .Admonition p, .Admonition.Important p, .Admonition.Warning p {
-    margin: 0; }
+  color: #290404;
+}
+.Admonition .AdmonitionTitle {
+  font-weight: 700;
+  font-size: 1em;
+  text-align: center;
+}
+.Admonition.Important {
+  background-color: #f58cff;
+  color: #5d1364;
+  border-top: 10px solid #9503a8;
+}
+.Admonition.Warning {
+  background-color: #ff989d;
+  color: #270204;
+  border-top: 10px solid #e4010c;
+}
+.Admonition p, .Admonition.Important p, .Admonition.Warning p {
+  margin: 0;
+}
 
 .figure, pre, .pseudocode, .sourcecode {
   background-color: #e1eef1;
   color: #424242;
-  font-size: {{monospacefontsize}}; }
+  font-size: {{monospacefontsize}};
+}
 
 .Note {
   background-color: #fff8bb;
   color: #7d760b;
   padding: 1.2em;
-  margin: 1em 0 1em 0; }
-  .Note p {
-    margin: 0; }
+  margin: 1em 0 1em 0;
+}
+.Note p {
+  margin: 0;
+}
 
 .example {
   background-color: #e1eef1;
   color: #424242;
   padding: 1.2em;
   margin: 2em 0 1em 0;
-  padding-left: 2em; }
-  .example .example-title {
-    font-weight: 700;
-    text-transform: uppercase;
-    margin-top: 0;
-    margin-left: -1.5em; }
-  .example pre, .example .pseudocode {
-    background: none; }
+  padding-left: 2em;
+}
+.example .example-title {
+  font-weight: 700;
+  text-transform: uppercase;
+  margin-top: 0;
+  margin-left: -1.5em;
+}
+.example pre, .example .pseudocode {
+  background: none;
+}
 
 .Quote {
   background-color: #e1eef1;
@@ -1189,33 +1352,39 @@ pre, .sourcecode {
   padding: 1.5em;
   margin-top: 2em;
   margin-left: auto;
-  margin-right: auto; }
+  margin-right: auto;
+}
 
 .formula {
   background-color: #f6f6f6;
   padding: 1.5em;
   margin-top: 2em;
-  text-align: center; }
+  text-align: center;
+}
 
 .recommend .RecommendationTitle, .recommendtest .RecommendationTitle {
   font-weight: 700;
   font-size: 1em;
-  text-align: center; }
+  text-align: center;
+}
 
 .require .RecommendationTitle, .requiretest .RecommendationTitle {
   font-weight: 700;
   font-size: 1em;
-  text-align: center; }
+  text-align: center;
+}
 
 .permission .RecommendationTitle, .permissiontest .RecommendationTitle {
   font-weight: 700;
   font-size: 1em;
-  text-align: center; }
+  text-align: center;
+}
 
 .RecommendationTestTitle {
   font-weight: 700;
   font-size: 1em;
-  text-align: center; }
+  text-align: center;
+}
 
 /*
 .recommend {
@@ -1248,21 +1417,25 @@ pre, .sourcecode {
 .recommend .RecommendationTitle {
   font-weight: 700;
   font-size: 1em;
-  text-align: center; }
+  text-align: center;
+}
 
 .require .RecommendationTitle {
   font-weight: 700;
   font-size: 1em;
-  text-align: center; }
+  text-align: center;
+}
 
 .permission .RecommendationTitle {
   font-weight: 700;
   font-size: 1em;
-  text-align: center; }
+  text-align: center;
+}
 
 tbody td.recommend p.RecommendationTitle, tbody td.recommend p.RecommendationTitle, tbody td.recommend p.RecommendationTitle {
   font-weight: normal;
-  text-align: left; }
+  text-align: left;
+}
 
 #myBtn {
   font-family: {{monospacefont}};
@@ -1280,55 +1453,74 @@ tbody td.recommend p.RecommendationTitle, tbody td.recommend p.RecommendationTit
   color: white;
   cursor: pointer;
   padding: 10px 15px 10px 15px;
-  border-radius: 4px; }
-  #myBtn:hover {
-    opacity: 1; }
-  @media print {
-    #myBtn {
-      display: none; } }
+  border-radius: 4px;
+}
+#myBtn:hover {
+  opacity: 1;
+}
+@media print {
+  #myBtn {
+    display: none;
+  }
+}
+
 a.anchorjs-link:hover {
   background: none;
   color: #2e81c2;
-  box-shadow: none; }
+  box-shadow: none;
+}
 
 @page {
-  margin: 2cm 1cm; }
-
+  margin: 2cm 1cm;
+}
 @media print {
   h1, h2, h3, h4, .h1, .h2, .h3, .h4 {
     page-break-after: avoid;
-    margin-top: 1.2em; }
+    margin-top: 1.2em;
+  }
   h1, .h1 {
     font-size: 1.5em;
-    line-height: 1.5; }
-    h1.content, .h1.content {
-      margin-top: 2em;
-      line-height: 2.5em; }
+    line-height: 1.5;
+  }
+  h1.content, .h1.content {
+    margin-top: 2em;
+    line-height: 2.5em;
+  }
   h2, .h2 {
-    font-size: 1.2em; }
+    font-size: 1.2em;
+  }
   h3, .h3 {
-    font-size: 1em; }
+    font-size: 1em;
+  }
   .prefatory-section {
-    page-break-before: always; }
+    page-break-before: always;
+  }
   .note, .pseudocode {
-    page-break-inside: avoid; }
+    page-break-inside: avoid;
+  }
   .Note {
     background-color: #fff495;
     color: #47430c;
     padding: 5px;
-    margin: 2em 0 1em 0; }
-    .Note p {
-      padding: 0 5px 0 5px; }
+    margin: 2em 0 1em 0;
+  }
+  .Note p {
+    padding: 0 5px 0 5px;
+  }
   nav {
-    line-height: 1; } }
-
+    line-height: 1;
+  }
+}
 /* Footnotes */
 a.footnote-number {
   vertical-align: super;
-  font-size: 0.8em; }
+  font-size: 0.8em;
+}
 
 .footnote {
-  font-size: {{footnotefontsize}}; }
+  font-size: {{footnotefontsize}};
+}
 
 span.hi {
-  background-color: yellow; }
+  background-color: yellow;
+}