metanorma-ieee 1.4.0 → 1.4.1

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

@@ -20,7 +20,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,
@@ -36,7 +37,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,
@@ -51,7 +53,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,
@@ -66,90 +69,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 {
@@ -157,13 +185,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,
@@ -172,27 +202,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;
@@ -203,18 +238,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,
@@ -230,13 +268,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;
@@ -248,131 +288,171 @@ 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: #0AC442; }
+  background-color: #0AC442;
+}
 
 #standard {
-  border-bottom: solid 3px #0AC442; }
+  border-bottom: solid 3px #0AC442;
+}
 
 #directive-band {
-  background-color: #540D6E; }
+  background-color: #540D6E;
+}
 
 #directive {
-  border-bottom: solid 3px #540D6E; }
+  border-bottom: solid 3px #540D6E;
+}
 
 #guide-band {
-  background-color: #D183C9; }
+  background-color: #D183C9;
+}
 
 #guide {
-  border-bottom: solid 3px #D183C9; }
+  border-bottom: solid 3px #D183C9;
+}
 
 #specification-band {
-  background-color: #65AFFF; }
+  background-color: #65AFFF;
+}
 
 #specification {
-  border-bottom: solid 3px #65AFFF; }
+  border-bottom: solid 3px #65AFFF;
+}
 
 #report-band {
-  background-color: #3A405A; }
+  background-color: #3A405A;
+}
 
 #report {
-  border-bottom: solid 3px #3A405A; }
+  border-bottom: solid 3px #3A405A;
+}
 
 #amendment-band {
-  background-color: #F26430; }
+  background-color: #F26430;
+}
 
 #amendment {
-  border-bottom: solid 3px #F26430; }
+  border-bottom: solid 3px #F26430;
+}
 
 #corrigendum-band {
-  background-color: #C84630; }
+  background-color: #C84630;
+}
 
 #corrigendum {
-  border-bottom: solid 3px #C84630; }
+  border-bottom: solid 3px #C84630;
+}
 
 #administrative-band {
-  background-color: #BFAE48; }
+  background-color: #BFAE48;
+}
 
 #administrative {
-  border-bottom: solid 3px #BFAE48; }
+  border-bottom: solid 3px #BFAE48;
+}
 
 #advisory-band {
-  background-color: #BD9391; }
+  background-color: #BD9391;
+}
 
 #advisory {
-  border-bottom: solid 3px #BD9391; }
+  border-bottom: solid 3px #BD9391;
+}
 
 #proposal-band {
-  background-color: #39A0ED; }
+  background-color: #39A0ED;
+}
 
 #proposal {
-  border-bottom: solid 3px #39A0ED; }
+  border-bottom: solid 3px #39A0ED;
+}
 
 #working-draft-band {
-  background-color: #2D7393; }
+  background-color: #2D7393;
+}
 
 #working-draft {
-  border-bottom: solid 3px #2D7393; }
+  border-bottom: solid 3px #2D7393;
+}
 
 #committee-draft-band {
-  background-color: #2A6B7C; }
+  background-color: #2A6B7C;
+}
 
 #committee-draft {
-  border-bottom: solid 3px #2A6B7C; }
+  border-bottom: solid 3px #2A6B7C;
+}
 
 #draft-standard-band {
-  background-color: #1C7F7A; }
+  background-color: #1C7F7A;
+}
 
 #draft-standard {
-  border-bottom: solid 3px #1C7F7A; }
+  border-bottom: solid 3px #1C7F7A;
+}
 
 #final-draft-band {
-  background-color: #53C170; }
+  background-color: #53C170;
+}
 
 #final-draft {
-  border-bottom: solid 3px #53C170; }
+  border-bottom: solid 3px #53C170;
+}
 
 #published-band {
-  background-color: #069E2D; }
+  background-color: #069E2D;
+}
 
 #published {
-  border-bottom: solid 3px #069E2D; }
+  border-bottom: solid 3px #069E2D;
+}
 
 #withdrawn-band {
-  background-color: #004E64; }
+  background-color: #004E64;
+}
 
 #withdrawn {
-  border-bottom: solid 3px #004E64; }
+  border-bottom: solid 3px #004E64;
+}
 
 #cancelled-band {
-  background-color: #2E382E; }
+  background-color: #2E382E;
+}
 
 #cancelled {
-  border-bottom: solid 3px #2E382E; }
+  border-bottom: solid 3px #2E382E;
+}
 
 body {
   margin-left: auto;
@@ -381,11 +461,14 @@ body {
   font-weight: 300;
   line-height: 1.3;
   color: -internal-root-color;
-  background-color: #ffffff; }
-  body main {
-    margin: 0 3em 0 6em; }
-  body main {
-    margin: 0; }
+  background-color: #ffffff;
+}
+body main {
+  margin: 0 3em 0 6em;
+}
+body main {
+  margin: 0;
+}
 
 /* HTML5 display-role reset for older browsers */
 article,
@@ -399,97 +482,116 @@ hgroup,
 menu,
 nav,
 section {
-  display: block; }
+  display: block;
+}
 
 blockquote,
 q {
-  quotes: none; }
+  quotes: none;
+}
 
 blockquote::before,
 blockquote::after,
 q::before,
 q::after {
-  content: '';
-  content: none; }
+  content: "";
+  content: none;
+}
 
 /* New CSS */
 body {
   margin-left: 298px;
-  margin-right: 2em; }
+  margin-right: 2em;
+}
 
 main {
   padding-left: 4em;
-  padding-right: 2em; }
+  padding-right: 2em;
+}
 
 .title-section,
 .prefatory-section {
   padding-left: 4em;
-  padding-top: 2em; }
+  padding-top: 2em;
+}
 
 .prefatory-section {
-  margin-bottom: 5em; }
+  margin-bottom: 5em;
+}
 
 .doctitle-en,
 .doctitle-fr {
   margin-top: 2em;
-  text-align: left; }
+  text-align: left;
+}
 
 .doctitle-en {
   background-color: black;
   padding-left: 3em;
   margin-left: -3em;
   padding-top: 2em;
-  padding-bottom: 2em; }
+  padding-bottom: 2em;
+}
 
 .doctitle-en span {
   font-size: 1.5em;
   line-height: 1.5em;
   font-weight: 900;
   display: block;
-  color: white; }
+  color: white;
+}
 
 .doctitle-fr span {
   font-size: 1.2em;
   line-height: 1.2em;
   font-style: italic;
-  display: block; }
+  display: block;
+}
 
 .doctitle-part {
-  margin-top: 1em; }
+  margin-top: 1em;
+}
 
 span.title {
   text-transform: uppercase;
   font-size: 1em;
-  font-weight: 800; }
+  font-weight: 800;
+}
 
 .coverpage_docstage {
   margin-top: 2em;
-  margin-bottom: 2em; }
+  margin-bottom: 2em;
+}
 
 .coverpage_warning {
   font-size: 0.9em;
   font-style: italic;
-  padding-bottom: 1em; }
+  padding-bottom: 1em;
+}
 
 .coverpage_docnumber,
 .coverpage_techcommittee {
   text-align: right;
   font-size: 0.9em;
-  line-height: 0.5em; }
+  line-height: 0.5em;
+}
 
 .boilerplate-copyright #boilerplate-name {
   font-weight: 900;
-  padding-top: 1em; }
+  padding-top: 1em;
+}
 
 .boilerplate-copyright p {
   margin-top: 1em;
   line-height: 1.1em;
   display: block;
-  font-size: 0.9em; }
+  font-size: 0.9em;
+}
 
 /* TYPOGRAPHY */
 h1, .h1 {
-  font-weight: 900; }
+  font-weight: 900;
+}
 
 h2,
 h3,
@@ -497,19 +599,22 @@ h4,
 h5,
 h6,
 .h2, .h3, .h4, .h5, .h6 {
-  font-weight: 700; }
+  font-weight: 700;
+}
 
 h1, .h1 {
   font-size: 1.5em;
   line-height: 2em;
   margin-top: 2em;
-  margin-bottom: 1em; }
+  margin-bottom: 1em;
+}
 
 h2, .h2 {
   font-size: 1.2em;
   line-height: 1.5em;
   margin-top: 2em;
-  margin-bottom: 1em; }
+  margin-bottom: 1em;
+}
 
 h1,
 h2,
@@ -518,7 +623,8 @@ h4,
 h5,
 h6,
 .h1, .h2, .h3, .h4, .h5, .h6 {
-  line-height: 1.2; }
+  line-height: 1.2;
+}
 
 /* override for amendments */
 {% if doctype == "Amendment" or doctype == "Technical Corrigendum" %}
@@ -528,178 +634,233 @@ h1, h2, h3, h4, h5, h6, .h1, .h2, .h3, .h4, .h5, .h6 {
   font-style: italic;
   line-height: 2em;
   margin-top: 2em;
-  margin-bottom: 1em; }
+  margin-bottom: 1em;
+}
 
 {% endif %}
 h2 p, .h2 p {
-  display: inline; }
+  display: inline;
+}
 
 p {
   margin-top: 1em;
   margin-bottom: 1em;
-  line-height: 1.2em; }
+  line-height: 1.2em;
+}
 
 p.zzSTDTitle1 {
   font-weight: 700;
-  font-size: 1.5em; }
+  font-size: 1.5em;
+}
 
 p.zzSTDTitle2 {
-  font-size: 1.5em; }
+  font-size: 1.5em;
+}
 
 span.obligation {
-  font-weight: 400; }
+  font-weight: 400;
+}
 
 a {
   color: black;
-  text-decoration-color: black; }
+  text-decoration-color: black;
+}
 
 h2 p, .h2 p {
-  display: inline; }
+  display: inline;
+}
 
 ul > li {
-  list-style: none; }
+  list-style: none;
+}
 
 ul > li > p:first-child::before {
-  content: "\2014";
+  content: "—";
   display: inline-block;
   width: 1em;
   margin-left: -1.5em;
-  margin-right: 0.5em; }
+  margin-right: 0.5em;
+}
 
 li p {
   /* display: inline-block; */
   margin-bottom: 0.6em;
-  line-height: 1.2; }
+  line-height: 1.2;
+}
 
 #toc li::before {
   content: " ";
-  display: none; }
+  display: none;
+}
 
 p.AltTerms {
   margin-bottom: 0;
-  margin-left: 2em; }
+  margin-left: 2em;
+}
 
 p.Terms {
-  margin-top: 0em; }
+  margin-top: 0em;
+}
 
 /* Navigation*/
 #toc, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) {
   font-family: {{bodyfont}};
-  font-weight: 400; }
-  #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 {
-      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; }
-  #toc .h3, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) .h3 {
-    padding-left: 50px; }
-  #toc .h4, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) .h4 {
-    padding-left: 70px; }
-  #toc .h5, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) .h5 {
-    padding-left: 90px; }
-  #toc .h6, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) .h6 {
-    padding-left: 110px; }
+  font-weight: 400;
+}
+#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 {
+  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;
+}
+#toc .h3, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) .h3 {
+  padding-left: 50px;
+}
+#toc .h4, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) .h4 {
+  padding-left: 70px;
+}
+#toc .h5, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) .h5 {
+  padding-left: 90px;
+}
+#toc .h6, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) .h6 {
+  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: #1d1d1d;
+  box-shadow: inset -5px 0px 10px -5px #1d1d1d !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: #1d1d1d;
-    box-shadow: inset -5px 0px 10px -5px #1d1d1d !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; }
-    #toc li:hover a, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) li:hover a {
-      color: black; } }
-  @media screen and (max-width: 768px) {
-    #toc, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) {
-      padding: 0 1.5em;
-      overflow: visible; } }
-  #toc li::before, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) li::before {
-    content: " ";
-    display: none; }
+    background: white;
+    box-shadow: none !important;
+  }
+  #toc li:hover a, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) li:hover a {
+    color: black;
+  }
+}
+@media screen and (max-width: 768px) {
+  #toc, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) {
+    padding: 0 1.5em;
+    overflow: visible;
+  }
+}
+#toc li::before, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) li::before {
+  content: " ";
+  display: none;
+}
 
 #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) {
   margin-top: 0;
   margin-bottom: 0;
-  font-size: 100%; }
+  font-size: 100%;
+}
 
 nav {
-  line-height: 1.2em; }
-  @media screen and (min-width: 768px) {
-    nav {
-      position: fixed;
-      top: 0;
-      bottom: 0;
-      left: 0;
-      width: 278px;
-      font-size: 0.9em;
-      overflow: auto;
-      padding: 0 0 0 20px;
-      background-color: #f7f7f7; } }
-  @media print {
-    nav {
-      position: relative;
-      width: auto;
-      font-size: 0.9em;
-      overflow: auto;
-      padding: 0;
-      margin-right: 0;
-      background-color: white; } }
+  line-height: 1.2em;
+}
+@media screen and (min-width: 768px) {
+  nav {
+    position: fixed;
+    top: 0;
+    bottom: 0;
+    left: 0;
+    width: 278px;
+    font-size: 0.9em;
+    overflow: auto;
+    padding: 0 0 0 20px;
+    background-color: #f7f7f7;
+  }
+}
+@media print {
+  nav {
+    position: relative;
+    width: auto;
+    font-size: 0.9em;
+    overflow: auto;
+    padding: 0;
+    margin-right: 0;
+    background-color: white;
+  }
+}
+
 #toggle {
   margin-left: -4em;
-  margin-top: -2em; }
-  @media screen and (min-width: 768px) {
-    #toggle {
-      position: fixed;
-      height: 100%;
-      width: 30px;
-      background-color: black;
-      color: white !important;
-      cursor: pointer;
-      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; } }
-  @media print {
-    #toggle {
-      display: none; } }
+  margin-top: -2em;
+}
+@media screen and (min-width: 768px) {
+  #toggle {
+    position: fixed;
+    height: 100%;
+    width: 30px;
+    background-color: black;
+    color: white !important;
+    cursor: pointer;
+    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;
+  }
+}
+@media print {
+  #toggle {
+    display: none;
+  }
+}
+
 @media screen and (min-width: 768px) {
   .container {
-    padding-left: 360px; }
+    padding-left: 360px;
+  }
   .rule.toc {
-    display: none; }
+    display: none;
+  }
   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;
+  }
+}
 @media screen and (max-width: 768px) {
   body {
-    margin-left: 2em; }
+    margin-left: 2em;
+  }
   main {
-    padding: 0; }
+    padding: 0;
+  }
   .title-section,
   .prefatory-section {
     padding-left: 0;
     padding-top: 0;
-    width: 100%; } }
-
+    width: 100%;
+  }
+}
 .figure,
 pre,
 .pseudocode {
@@ -709,33 +870,39 @@ pre,
   padding: 1.5em;
   margin: 2em 0 1em 0;
   overflow: auto;
-  font-size: {{normalfontsize}}; }
-  .figure .SourceTitle,
-  pre .SourceTitle,
-  .pseudocode .SourceTitle {
-    font-weight: 700;
-    font-size: 1em;
-    text-align: center; }
+  font-size: {{normalfontsize}};
+}
+.figure .SourceTitle,
+pre .SourceTitle,
+.pseudocode .SourceTitle {
+  font-weight: 700;
+  font-size: 1em;
+  text-align: center;
+}
 
 div.figure {
   line-height: 1.6em;
   padding: 1.5em;
   margin: 2em 0 1em 0;
-  overflow: auto; }
-  div.figure .FigureTitle, div.figure .figure-title {
-    font-weight: 700;
-    font-size: 1em;
-    text-align: center; }
-  div.figure > img, div.figure > svg {
-    margin-left: auto;
-    margin-right: auto;
-    display: block;
-    max-width: 100%;
-    height: auto; }
+  overflow: auto;
+}
+div.figure .FigureTitle, div.figure .figure-title {
+  font-weight: 700;
+  font-size: 1em;
+  text-align: center;
+}
+div.figure > img, div.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 types + stages
@@ -746,30 +913,35 @@ table div.figure {
   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;
+}
 
 .document-stage-band {
   left: 0;
@@ -778,29 +950,34 @@ 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: 400;
-    height: 100%;
-    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: 400;
+  height: 100%;
+  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;
+  }
+}
+
 p.document-stage {
   position: relative;
   width: 25px;
@@ -820,70 +997,90 @@ p.document-stage {
   white-space: nowrap;
   display: block;
   bottom: 0;
-  writing-mode: vertical-rl; }
+  writing-mode: vertical-rl;
+}
 
 #governance-band p.document-type {
   font-weight: 400;
-  height: 230px !important; }
+  height: 230px !important;
+}
 
 p.document-stage {
   font-weight: 300;
-  height: 160px; }
+  height: 160px;
+}
 
 #standard-band {
-  background-color: #0ac442; }
+  background-color: #0ac442;
+}
 
 #standard {
-  border-bottom: solid 3px #0ac442; }
+  border-bottom: solid 3px #0ac442;
+}
 
 #governance {
-  border-bottom: solid 3px #750697; }
+  border-bottom: solid 3px #750697;
+}
 
 #governance-band {
-  background-color: #750697; }
+  background-color: #750697;
+}
 
 #guide {
-  border-bottom: solid 3px #48a0e7; }
+  border-bottom: solid 3px #48a0e7;
+}
 
 #guide-band {
-  background-color: #48a0e7; }
+  background-color: #48a0e7;
+}
 
 .coverpage-maturity {
-  font-family: 'Overpass', sans-serif;
+  font-family: "Overpass", sans-serif;
   font-weight: 400;
   font-size: 1em;
   margin: 0 0 2em 0;
-  text-transform: uppercase; }
+  text-transform: uppercase;
+}
 
 #working-draft {
-  border-bottom: solid 3px #fda706; }
+  border-bottom: solid 3px #fda706;
+}
 
 #working-draft-band {
-  background-color: #fda706; }
+  background-color: #fda706;
+}
 
 #committee-draft {
-  border-bottom: solid 3px #fd06fd; }
+  border-bottom: solid 3px #fd06fd;
+}
 
 #committee-draft-band {
-  background-color: #fd06fd; }
+  background-color: #fd06fd;
+}
 
 #draft-standard {
-  border-bottom: solid 3px #fdf906; }
+  border-bottom: solid 3px #fdf906;
+}
 
 #draft-standard {
-  border-bottom: solid 3px #fdf906; }
+  border-bottom: solid 3px #fdf906;
+}
 
 #standard {
-  border-bottom: solid 3px #0ac442; }
+  border-bottom: solid 3px #0ac442;
+}
 
 #standard-band {
-  background-color: #0ac442; }
+  background-color: #0ac442;
+}
 
 #obsolete {
-  border-bottom: solid 3px #7e0d13; }
+  border-bottom: solid 3px #7e0d13;
+}
 
 #obsolete-band {
-  background-color: #7e0d13; }
+  background-color: #7e0d13;
+}
 
 /* 3 Other styles */
 /*
@@ -891,20 +1088,24 @@ p.document-stage {
 */
 a {
   color: black;
-  text-decoration-color: black; }
+  text-decoration-color: black;
+}
 
 /*
     3.3 Lists
 */
 ul,
 ol {
-  margin-left: 2em; }
+  margin-left: 2em;
+}
 
 #toc-list ul {
-  margin-bottom: 0.25em; }
+  margin-bottom: 0.25em;
+}
 
 #toc-list ol li {
-  list-style-type: none; }
+  list-style-type: none;
+}
 
 /*
 3.4 Rules
@@ -913,7 +1114,8 @@ ol {
   width: 100%;
   height: 1px;
   background-color: #0e1a85;
-  margin: 2em 0; }
+  margin: 2em 0;
+}
 
 /*
 3.5 Bibliograhy
@@ -921,7 +1123,8 @@ ol {
 p.Biblio,
 p.NormRef {
   margin-top: 1em;
-  margin-left: 2em; }
+  margin-left: 2em;
+}
 
 /*
 3.6 Source Code + figures
@@ -935,33 +1138,39 @@ pre,
   padding: 1.5em;
   margin: 2em 0 1em 0;
   overflow: auto;
-  font-size: {{normalfontsize}}; }
-  .figure .SourceTitle,
-  pre .SourceTitle,
-  .pseudocode .SourceTitle {
-    font-weight: 700;
-    font-size: 1em;
-    text-align: center; }
+  font-size: {{normalfontsize}};
+}
+.figure .SourceTitle,
+pre .SourceTitle,
+.pseudocode .SourceTitle {
+  font-weight: 700;
+  font-size: 1em;
+  text-align: center;
+}
 
 pre {
   font-family: {{monospacefont}};
-  font-variant-ligatures: none; }
+  font-variant-ligatures: none;
+}
 
 .AdmonitionTitle {
   font-weight: 700;
   font-size: 1em;
-  text-align: center; }
+  text-align: center;
+}
 
 .RecommendationTitle {
   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;
+}
 
 .figure-title,
 .FigureTitle,
@@ -970,7 +1179,8 @@ pre {
 .RecommendationTitle {
   font-weight: 700;
   font-size: 1em;
-  text-align: center; }
+  text-align: center;
+}
 
 /*
 3.7 Notes
@@ -981,21 +1191,25 @@ pre {
   color: #47430c;
   padding: 0.5em;
   margin: 1.5em 0 1.5em 0;
-  text-align: left; }
+  text-align: left;
+}
 
 .Note p,
 .note p {
-  margin: 0; }
+  margin: 0;
+}
 
 .Admonition {
   background-color: #ffcccc;
   color: #47430c;
   padding: 0.5em;
   margin: 1.5em 0 1.5em 0;
-  text-align: left; }
+  text-align: left;
+}
 
 .Admonition p {
-  margin: 0; }
+  margin: 0;
+}
 
 /*
 3.8 Examples
@@ -1008,19 +1222,24 @@ pre {
   color: #424242;
   padding-left: 2em;
   color: black;
-  padding-left: 2em; }
-  .example p {
-    margin: 0; }
-  .example .example-title {
-    font-weight: 700;
-    text-transform: uppercase;
-    margin-left: -1.5em; }
-  .example .example-title {
-    margin-left: -1.5em;
-    font-style: italic; }
-  .example pre,
-  .example .pseudocode {
-    background: none; }
+  padding-left: 2em;
+}
+.example p {
+  margin: 0;
+}
+.example .example-title {
+  font-weight: 700;
+  text-transform: uppercase;
+  margin-left: -1.5em;
+}
+.example .example-title {
+  margin-left: -1.5em;
+  font-style: italic;
+}
+.example pre,
+.example .pseudocode {
+  background: none;
+}
 
 /*
 3.9 Tables
@@ -1032,27 +1251,34 @@ table {
   margin-left: auto;
   margin-right: auto;
   padding-right: 2em;
-  text-align: center; }
-  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; }
+  text-align: center;
+}
+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;
+}
 
 td,
 th {
-  padding: 1em !important; }
+  padding: 1em !important;
+}
 
 p.TableTitle {
   text-align: center;
   margin-top: 2.5em;
   font-weight: 800;
-  font-size: 1.1em; }
+  font-size: 1.1em;
+}
 
 .TableFootnote {
-  text-align: left !important; }
+  text-align: left !important;
+}
 
 /*
 3.10 Footnotes
@@ -1061,14 +1287,17 @@ a.footnote-number,
 a.TableFootnoteRef,
 span.TableFootnoteRef {
   vertical-align: super;
-  font-size: 0.8em; }
+  font-size: 0.8em;
+}
 
 .footnote {
-  font-size: {{footnotefontsize}}; }
+  font-size: {{footnotefontsize}};
+}
 
 sup a {
   vertical-align: super;
-  font-size: 0.8em; }
+  font-size: 0.8em;
+}
 
 #footnote_box {
   font-size: {{footnotefontsize}};
@@ -1078,29 +1307,35 @@ sup a {
   border: 1px solid #888;
   -moz-box-shadow: 0px 0px 5px #888;
   -webkit-box-shadow: 0px 0px 5px #888;
-  box-shadow: 0px 0px 5px #888; }
+  box-shadow: 0px 0px 5px #888;
+}
 
 ol.footnotes-list,
 aside.footnote {
-  margin-left: 1em; }
+  margin-left: 1em;
+}
 
 ol.footnotes-list li,
 aside.footnote {
   font-size: {{footnotefontsize}};
   vertical-align: top;
   list-style: decimal;
-  margin-bottom: 1em; }
+  margin-bottom: 1em;
+}
 
 ol.footnotes-list:first-child {
-  margin-top: 2em; }
+  margin-top: 2em;
+}
 
 ol.footnotes-list p,
 aside.footnote {
-  display: inline; }
+  display: inline;
+}
 
 ol > li > p::before {
   content: "";
-  display: none; }
+  display: none;
+}
 
 /*
 3.11 Blockquotes
@@ -1112,7 +1347,8 @@ ol > li > p::before {
   padding: 1.5em;
   margin-top: 2em;
   margin-left: auto;
-  margin-right: auto; }
+  margin-right: auto;
+}
 
 /*
 3.12 Formulas
@@ -1124,19 +1360,22 @@ ol > li > p::before {
   text-align: center;
   margin-left: 20%;
   margin-right: 20%;
-  font-size: {{smallerfontsize}}; }
+  font-size: {{smallerfontsize}};
+}
 
 dl.formula_dl {
   background-color: #f7f7f7;
   margin-left: 20%;
   margin-right: 20%;
-  font-size: {{smallerfontsize}}; }
+  font-size: {{smallerfontsize}};
+}
 
 /*
 Keywords
 */
 span.keyword {
-  font-weight: 600; }
+  font-weight: 600;
+}
 
 .Admonition,
 .admonition {
@@ -1144,24 +1383,28 @@ span.keyword {
   /* color: #47430c;*/
   padding: 0.5em;
   margin: 1.5em 0 1.5em 0;
-  text-align: left; }
+  text-align: left;
+}
 
 .Admonition p,
 .admonition p,
 .zzHelp p {
-  margin: 0; }
+  margin: 0;
+}
 
 div.zzHelp {
   color: green;
   padding: 0.5em;
   margin: 1.5em 0 1.5em 0;
-  text-align: left; }
+  text-align: left;
+}
 
 /* Collapse TOC */
 .collapse-group {
   display: flex;
   align-items: center;
-  position: relative; }
+  position: relative;
+}
 
 .collapse-button {
   position: absolute;
@@ -1170,10 +1413,13 @@ div.zzHelp {
   height: 20px;
   width: 20px;
   cursor: pointer;
-  background-image: url('data:image/svg+xml,<svg focusable="false" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path fill="rgba(0,0,0,.54)" d="M16.59 8.59L12 13.17 7.41 8.59 6 10l6 6 6-6z"></path></svg>'); }
+  background-image: url('data:image/svg+xml,<svg focusable="false" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path fill="rgba(0,0,0,.54)" d="M16.59 8.59L12 13.17 7.41 8.59 6 10l6 6 6-6z"></path></svg>');
+}
 
 .collapse {
-  display: none; }
+  display: none;
+}
 
 .expand {
-  transform: rotateZ(-180deg); }
+  transform: rotateZ(-180deg);
+}