metanorma-cc 2.6.0 → 2.6.1

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

@@ -12,376 +12,9 @@ article, aside, canvas, details, embed,
 figure, figcaption, footer, header, hgroup,
 menu, output, ruby, section, summary,
 time, mark, audio, video {
-  margin: 0;
-  padding: 0; }
-
-html, body, div, span, applet, object, iframe,
-h1, h2, h3, h4, h5, h6, p, blockquote, pre,
-a, abbr, acronym, address, big, cite, code,
-del, dfn, em, img, ins, kbd, q, s, samp,
-small, strike, strong, sub, sup, tt, var,
-b, u, i, center,
-dl, dt, dd, ol, ul, li,
-fieldset, form, label, legend,
-table, caption, tbody, tfoot, thead, tr, th, td,
-article, aside, canvas, details, embed,
-figure, figcaption, footer, header, hgroup,
-menu, nav, output, ruby, section, summary,
-time, mark, audio, video {
-  border: 0;
-  font-size: 100%; }
-
-html, body, div, span, applet, object, iframe,
-h1, h2, h3, h4, h5, h6, p, blockquote, pre,
-a, abbr, acronym, address, big, cite, code,
-del, dfn, em, img, ins, kbd, q, s, samp,
-small, strike, strong, tt, var,
-b, u, i, center,
-dl, dd, ol, ul, li,
-fieldset, form, label, legend,
-table, caption, tbody, tfoot, thead, tr, th, td,
-article, aside, canvas, details, embed,
-figure, figcaption, footer, header, hgroup,
-menu, nav, output, ruby, section, summary,
-time, mark, audio, video {
-  vertical-align: baseline; }
-
-html, body, div, span, applet, object, iframe,
-p, blockquote,
-a, abbr, acronym, address, big, cite,
-del, dfn, em, img, ins, q, s,
-small, strike, strong, sub, sup, var,
-b, u, i, center,
-dl, dt, dd, ol, ul, li,
-fieldset, form, label, legend,
-table, caption, tbody, tfoot, thead, tr, th, td,
-article, aside, canvas, details, embed,
-figure, figcaption, footer, header, hgroup,
-menu, nav, output, ruby, section, summary,
-time, mark, audio, video {
-  font-family: {{bodyfont}}; }
-
-code, pre, tt, kbd, samp {
-  font-family: {{monospacefont}};
-  font-variant-ligatures: none; }
-
-code *, pre *, tt *, kbd *, samp * {
-  font-family: {{monospacefont}} !important;
-  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}}; }
-
-sub, sup {
-  font-size: 0.75em; }
-
-article, aside, details, figcaption, figure,
-footer, header, hgroup, menu, nav, section {
-  display: block; }
-
-table {
-  border-collapse: collapse;
-  border-spacing: 0; }
-
-h1, h2, h3, h4, h5, h6 {
-  font-family: {{headerfont}}; }
-
-.h1, .h2, .h3, .h4, .h5, .h6 {
-  font-family: {{headerfont}}; }
-
-blockquote, q {
-  quotes: none; }
-  blockquote::before, blockquote::after, q::before, q::after {
-    content: '';
-    content: none; }
-
-.h2Annex {
-  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; }
-
-b, strong {
-  font-weight: bold; }
-
-div.document-stage-band, div.document-type-band {
-  background-color: #333333; }
-
-a.FootnoteRef + a.FootnoteRef::before {
-  content: ", ";
-  vertical-align: super; }
-
-a.TableFootnoteRef + a.TableFootnoteRef::before {
-  content: ", ";
-  vertical-align: super; }
-
-a.TableFootnoteRef, span.TableFootnoteRef,
-a.FootnoteRef, span.FootnoteRef {
-  vertical-align: super; }
-
-.addition {
-  color: blue; }
-
-.deletion {
-  color: red;
-  text-decoration: line-through; }
-
-ruby {
-  ruby-position: over;
-  -webkit-ruby-position: before; }
-
-ruby ruby {
-  ruby-position: under;
-  -webkit-ruby-position: after; }
-
-/* code highlighting with line numbers */
-table.rouge-line-table td.rouge-gutter {
-  -moz-user-select: none;
-  -ms-user-select: none;
-  -webkit-user-select: none;
-  user-select: none;
-  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; }
-
-table.rouge-line-table,
-table.rouge-line-table th,
-table.rouge-line-table td {
-  width: auto;
-  border: none;
   margin: 0;
   padding: 0;
-  font-size: 100%; }
-
-table.rouge-line-table pre {
-  margin: 0;
-  padding: 0;
-  overflow-x: visible;
-  font-size: 100%; }
-
-/* header § links */
-a.header {
-  color: inherit;
-  text-decoration: none; }
-
-a.header:hover {
-  color: #a53221 !important;
-  background: inherit;
-  box-shadow: none; }
-
-a.header:visited {
-  color: inherit;
-  text-decoration: none; }
-
-a.anchor {
-  position: absolute;
-  z-index: 1001;
-  width: 1.5ex;
-  margin-left: -1.5ex;
-  display: block;
-  text-decoration: none !important;
-  visibility: hidden;
-  text-align: center;
-  font-weight: 400; }
-
-a.anchor::before {
-  content: "\00A7";
-  font-size: .85em;
-  display: block;
-  padding-top: .1em; }
-
-a.anchor:hover {
-  color: #a53221;
-  background: inherit;
-  box-shadow: none; }
-
-h1 > a.anchor:hover,
-h2 > a.anchor:hover,
-h3 > a.anchor:hover,
-h4 > a.anchor:hover,
-h5 > a.anchor:hover,
-h6 > a.anchor:hover,
-.inline-header > a.anchor:hover,
-h1:hover > a.anchor,
-h2:hover > a.anchor,
-h3:hover > a.anchor,
-h4:hover > a.anchor,
-h5:hover > a.anchor,
-h6:hover > a.anchor,
-.inline-header:hover > a.anchor {
-  visibility: visible; }
-
-/* collapsible snippets: collapsible before hidable */
-.hidable {
-  max-height: 0;
-  overflow: hidden;
-  transition: max-height 0.2s ease-out; }
-
-.collapsible {
-  background-color: #777;
-  color: white;
-  cursor: pointer;
-  padding: 3px 0;
-  margin: 0;
-  width: 100%;
-  border: none;
-  text-align: left;
-  outline: none;
-  font-size: 15px; }
-
-.active, .collapsible:hover {
-  background-color: #555; }
-
-.collapsible:after {
-  content: '\25bc';
-  color: white;
-  font-weight: bold;
-  float: right;
-  margin-left: 12px;
-  margin-right: 12px; }
-
-.active:after {
-  content: "\25b2"; }
-
-/* collapsible: */
-.collapsible + .hidable {
-  margin-top: 0; }
-
-.collapsible:not(.active) + .hidable {
-  overflow: hidden;
-  padding: 0; }
-
-#standard-band {
-  background-color: #0AC442; }
-
-#standard {
-  border-bottom: solid 3px #0AC442; }
-
-#directive-band {
-  background-color: #540D6E; }
-
-#directive {
-  border-bottom: solid 3px #540D6E; }
-
-#guide-band {
-  background-color: #D183C9; }
-
-#guide {
-  border-bottom: solid 3px #D183C9; }
-
-#specification-band {
-  background-color: #65AFFF; }
-
-#specification {
-  border-bottom: solid 3px #65AFFF; }
-
-#report-band {
-  background-color: #3A405A; }
-
-#report {
-  border-bottom: solid 3px #3A405A; }
-
-#amendment-band {
-  background-color: #F26430; }
-
-#amendment {
-  border-bottom: solid 3px #F26430; }
-
-#corrigendum-band {
-  background-color: #C84630; }
-
-#corrigendum {
-  border-bottom: solid 3px #C84630; }
-
-#administrative-band {
-  background-color: #BFAE48; }
-
-#administrative {
-  border-bottom: solid 3px #BFAE48; }
-
-#advisory-band {
-  background-color: #BD9391; }
-
-#advisory {
-  border-bottom: solid 3px #BD9391; }
-
-#proposal-band {
-  background-color: #39A0ED; }
-
-#proposal {
-  border-bottom: solid 3px #39A0ED; }
-
-#working-draft-band {
-  background-color: #2D7393; }
-
-#working-draft {
-  border-bottom: solid 3px #2D7393; }
-
-#committee-draft-band {
-  background-color: #2A6B7C; }
-
-#committee-draft {
-  border-bottom: solid 3px #2A6B7C; }
-
-#draft-standard-band {
-  background-color: #1C7F7A; }
-
-#draft-standard {
-  border-bottom: solid 3px #1C7F7A; }
-
-#final-draft-band {
-  background-color: #53C170; }
-
-#final-draft {
-  border-bottom: solid 3px #53C170; }
-
-#published-band {
-  background-color: #069E2D; }
-
-#published {
-  border-bottom: solid 3px #069E2D; }
-
-#withdrawn-band {
-  background-color: #004E64; }
-
-#withdrawn {
-  border-bottom: solid 3px #004E64; }
-
-#cancelled-band {
-  background-color: #2E382E; }
-
-#cancelled {
-  border-bottom: solid 3px #2E382E; }
-
-html, body, div, span, applet, object, iframe,
-h1, h2, h3, h4, h5, h6, p, blockquote, pre,
-a, abbr, acronym, address, big, cite, code,
-del, dfn, em, img, ins, kbd, q, s, samp,
-small, strike, strong, sub, sup, tt, var,
-b, u, i, center,
-ol, ul, li,
-fieldset, form, label, legend,
-table, caption, tbody, tfoot, thead, tr, th, td,
-article, aside, canvas, details, embed,
-figure, figcaption, footer, header, hgroup,
-menu, output, ruby, section, summary,
-time, mark, audio, video {
-  margin: 0;
-  padding: 0; }
+}
 
 html, body, div, span, applet, object, iframe,
 h1, h2, h3, h4, h5, h6, p, blockquote, pre,
@@ -397,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,
@@ -412,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,
@@ -427,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 {
@@ -518,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,
@@ -533,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;
@@ -564,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,
@@ -591,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;
@@ -609,152 +281,196 @@ 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;
+}
 
 .coverpage {
   text-align: center;
-  padding-left: 1.5em; }
+  padding-left: 1.5em;
+}
 
 .wrapper-top {
   background-color: #0e1a85;
   background-image: url("data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAQAAAAEACAYAAABccqhmAAAACXBIWXMAABYlAAAWJQFJUiTwAAADwUlEQVR4nO3YgQ2AMAwDwcAiWZ1NizrH30lIeIEq9nPOGSDqPgC7+93v/suy3Mmvhx+6VAAIcwFAmc4nyzYAIMgGAGEuACirdyBZtgEASTYACHMBQFm9A8myDQBIsgFAmAsAyuodSJZtAECSDQDCXABQVu9AsmwDAJJsABDmAoCyegeSZRsAkGQDgDAXAJTVO5As2wCAJBsAhLkAoKzegWTZBgAk2QAgzAUAZfUOJMs2ACDJBgBhLgAoq3cgWbYBAEk2AAhzAUBZvQPJsg0ASLIBQJgLAMrqHUiWbQBAkg0AwlwAUFbvQLJsAwCSbAAQ5gKAsnoHkmUbAJBkA4AwFwCU1TuQLNsAgCQbAIS5AKCs3oFk2QYAJNkAIMwFAGX1DiTLNgAgyQYAYS4AKKt3IFm2AQBJNgAIcwFAWb0DybINAEiyAUCYCwDK6h1Ilm0AQJINAMJcAFBW70CybAMAkmwAEOYCgLJ6B5JlGwCQZAOAMBcAlNU7kCzbAIAkGwCEuQCgrN6BZNkGACTZACDMBQBl9Q4kyzYAIMkGAGEuACirdyBZtgEASTYACHMBQFm9A8myDQBIsgFAmAsAyuodSJZtAECSDQDCXABQVu9AsmwDAJJsABDmAoCyegeSZRsAkGQDgDAXAJTVO5As2wCAJBsAhLkAoKzegWTZBgAk2QAgzAUAZfUOJMs2ACDJBgBhLgAoq3cgWbYBAEk2AAhzAUBZvQPJsg0ASLIBQJgLAMrqHUiWbQBAkg0AwlwAUFbvQLJsAwCSbAAQ5gKAsnoHkmUbAJBkA4AwFwCU1TuQLNsAgCQbAIS5AKCs3oFk2QYAJNkAIMwFAGX1DiTLNgAgyQYAYS4AKKt3IFm2AQBJNgAIcwFAWb0DybINAEiyAUCYCwDK6h1Ilm0AQJINAMJcAFBW70CybAMAkmwAEOYCgLJ6B5JlGwCQZAOAMBcAlNU7kCzbAIAkGwCEuQCgrN6BZNkGACTZACDMBQBl9Q4kyzYAIMkGAGEuACirdyBZtgEASTYACHMBQFm9A8myDQBIsgFAmAsAyuodSJZtAECSDQDCXABQVu9AsmwDAJJsABDmAoCyegeSZRsAkGQDgDAXAJTVO5As2wCAJBsAhLkAoKzegWTZBgAk2QAgzAUAZfUOJMs2ACDJBgBhLgAoq3cgWbYBAEk2AAhzAUBZvQPJsg0ASLIBQJgLAMrqHUiWbQBAkg0AwlwAUFbvQLJsAwCSbAAQ5gKAsnoHkmUbAJBkA4AwFwCU1TuQLNsAgCQbAFTNzA9ggAr9aahO8QAAAABJRU5ErkJggg==");
   color: #ffffff;
-  padding: 2em 0; }
+  padding: 2em 0;
+}
 
 .doc-number {
   font-size: 0.5em;
-  font-family: {{bodyfont}}; }
+  font-family: {{bodyfont}};
+}
 
 .coverpage-maturity {
   font-family: {{bodyfont}};
   font-weight: 400;
   font-size: 1em;
   margin: 0 0 2em 0;
-  text-transform: uppercase; }
+  text-transform: uppercase;
+}
 
 .coverpage-title {
   padding-bottom: 0.5em;
@@ -763,77 +479,93 @@ h6:hover > a.anchor,
   line-height: 1.2em;
   font-weight: 600;
   padding-left: 1em;
-  padding-right: 1em; }
+  padding-right: 1em;
+}
 
 .title-section1 {
-  padding: 0 2em 0 3em; }
+  padding: 0 2em 0 3em;
+}
 
 .prefatory-section {
-  padding: 0 3em 0 6em; }
+  padding: 0 3em 0 6em;
+}
 
 .zzSTDTitle1, .MsoCommentText {
-  display: none; }
+  display: none;
+}
 
 .coverpage-logo span, .coverpage-tc-name span {
   font-family: {{bodyfont}};
   text-transform: uppercase;
-  font-weight: 600; }
+  font-weight: 600;
+}
 
 .coverpage-tc-name {
   font-size: 1.2em;
   line-height: 1.2em;
-  margin: 0.25em 0; }
+  margin: 0.25em 0;
+}
 
 .coverpage-contributors {
   margin-top: 1em;
   line-height: 1.5em;
-  font-weight: 300; }
-  .coverpage-contributors .role {
-    font-variant-caps: all-small-caps;
-    background: #f7f7f7;
-    border-radius: 5px;
-    padding: 0.1em 0.5em;
-    margin-left: 1em;
-    color: #485094;
-    font-size: 0.9em;
-    font-weight: 900; }
-  .coverpage-contributors .person {
-    display: block;
-    font-weight: 300; }
+  font-weight: 300;
+}
+.coverpage-contributors .role {
+  font-variant-caps: all-small-caps;
+  background: #f7f7f7;
+  border-radius: 5px;
+  padding: 0.1em 0.5em;
+  margin-left: 1em;
+  color: #485094;
+  font-size: 0.9em;
+  font-weight: 900;
+}
+.coverpage-contributors .person {
+  display: block;
+  font-weight: 300;
+}
 
 .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: {{bodyfont}};
   font-weight: 700;
   font-size: 1.25em;
   margin: 2em 0em 2em 0em;
-  text-transform: uppercase; }
+  text-transform: uppercase;
+}
 
 .coverpage-warning {
   border-top: solid 1px #f36f36;
   border-bottom: solid 1px #f36f36;
   margin: 1em 2em;
   color: #485094;
-  padding: 1em; }
-  .coverpage-warning .title {
-    color: #f36f36;
-    font-family: {{headerfont}};
-    font-weight: 700;
-    text-transform: uppercase;
-    font-size: 1.2em; }
+  padding: 1em;
+}
+.coverpage-warning .title {
+  color: #f36f36;
+  font-family: {{headerfont}};
+  font-weight: 700;
+  text-transform: uppercase;
+  font-size: 1.2em;
+}
 
 .copyright {
   padding: 1em;
   font-size: 0.9em;
-  text-align: left; }
-  .copyright .name, .copyright .address {
-    color: #485094; }
+  text-align: left;
+}
+.copyright .name, .copyright .address {
+  color: #485094;
+}
 
 body {
   margin-left: auto;
@@ -843,17 +575,22 @@ body {
   font-weight: 300;
   line-height: 1.4em;
   color: #1d1d1d;
-  background-color: #fff; }
-  body main {
-    margin: 0 3em 0 6em; }
+  background-color: #fff;
+}
+body main {
+  margin: 0 3em 0 6em;
+}
 
 @media screen and (min-width: 768px) {
   .container {
-    padding-left: 360px; } }
-
+    padding-left: 360px;
+  }
+}
 @media print {
   .container {
-    padding-left: 0; } }
+    padding-left: 0;
+  }
+}
 
 @media screen and (min-width: 768px) {
   nav {
@@ -865,8 +602,9 @@ body {
     font-size: 0.9em;
     overflow: auto;
     padding: 0 0 0 30px;
-    background-color: #f7f7f7; } }
-
+    background-color: #f7f7f7;
+  }
+}
 @media print {
   nav {
     position: relative;
@@ -875,15 +613,20 @@ body {
     overflow: auto;
     padding: 0;
     margin-right: 0;
-    background-color: white; } }
-
+    background-color: white;
+  }
+}
 nav #toc {
   font-family: {{bodyfont}};
-  font-weight: 400; }
-  @media screen and (max-width: 768px) {
-    nav #toc {
-      padding: 0 1.5em;
-      overflow: visible; } }
+  font-weight: 400;
+}
+@media screen and (max-width: 768px) {
+  nav #toc {
+    padding: 0 1.5em;
+    overflow: visible;
+  }
+}
+
 @media screen and (min-width: 768px) {
   #toggle {
     position: fixed;
@@ -892,88 +635,107 @@ nav #toc {
     background-color: #1d1d1d;
     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;
+  }
+}
 
 #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: #485094;
-    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: #485094;
+  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: #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; }
-
+  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; }
+    box-shadow: none !important;
+  }
   #toc .toc-active a, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) .toc-active a {
-    color: #485094; }
+    color: #485094;
+  }
   #toc li:hover a, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) li:hover a {
-    color: black; } }
-
+    color: black;
+  }
+}
 #toc ul, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) ul {
-  margin-bottom: 0.25em; }
-
+  margin-bottom: 0.25em;
+}
 #toc li, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) li {
-  list-style-type: none; }
-  #toc li::before, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) li::before {
-    content: " " !important;
-    display: none; }
+  list-style-type: none;
+}
+#toc li::before, #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) li::before {
+  content: " " !important;
+  display: none;
+}
 
 #toc > ul :is(.h1, .h2, .h3, .h4, .h5, .h6) {
   margin-top: 0;
   margin-bottom: 0;
-  font-size: 100%; }
+  font-size: 100%;
+}
 
 .rule {
   width: 100%;
   height: 1px;
   background-color: #0e1a85;
-  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;
+  }
+}
+
 .document-stage-band {
   left: 0;
   top: 0;
@@ -981,150 +743,181 @@ nav #toc {
   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;
+}
 
 /* Typograpy */
 h1, h2, h3, h4, h5, h6, .h1, .h2, .h3, .h4, .h5, .h6 {
   color: #0e1a85;
   font-weight: 600;
   margin-top: 2em;
-  margin-bottom: 0.3em; }
+  margin-bottom: 0.3em;
+}
 
 h1, .h1 {
   font-size: 1.4em;
   text-transform: uppercase;
-  margin-top: 2em; }
-  h1#content, #content.h1 {
-    margin-top: 2em; }
+  margin-top: 2em;
+}
+h1#content, .h1#content {
+  margin-top: 2em;
+}
 
 h2, .h2 {
   font-size: 1.3em;
-  font-weight: 400; }
-  h2 p, .h2 p {
-    display: inline; }
+  font-weight: 400;
+}
+h2 p, .h2 p {
+  display: inline;
+}
 
 h3, .h3 {
   font-size: 1.1em;
-  font-weight: 400; }
+  font-weight: 400;
+}
 
 p {
   margin-top: 1em;
-  margin-bottom: 1em; }
+  margin-bottom: 1em;
+}
 
 /* Terms */
 .TermNum {
-  font-weight: 400; }
+  font-weight: 400;
+}
 
 .TermNum, .Terms, .AltTerms {
-  color: #485094; }
+  color: #485094;
+}
 
 p.TermNum {
   font-size: 0.9em;
   line-height: 1em;
   margin: 0;
-  margin-top: 2em; }
+  margin-top: 2em;
+}
 
 p.Terms {
   font-size: 1.1em;
   line-height: 1.7em;
-  margin: 0; }
+  margin: 0;
+}
 
 /* Links, selection */
 a, a:visited {
   text-decoration: none;
-  color: #485094; }
+  color: #485094;
+}
 
 a:hover {
   color: white;
   background: #1d1d1d;
-  box-shadow: 3px 0 0 #1d1d1d, -3px 0 0 #1d1d1d; }
+  box-shadow: 3px 0 0 #1d1d1d, -3px 0 0 #1d1d1d;
+}
 
 *::selection {
   background: #1d1d1d;
-  color: white; }
+  color: white;
+}
 
 *::-moz-selection {
   background: #1d1d1d;
-  color: white; }
+  color: white;
+}
 
 /* Lists */
 ol {
-  margin-left: 1.2em; }
+  margin-left: 1.2em;
+}
 
 ul {
   position: relative;
   margin-left: 0;
   list-style: none;
-  padding-left: 1.2em; }
+  padding-left: 1.2em;
+}
 
 ul > li::before {
-  content: "\2014";
+  content: "—";
   position: absolute;
-  left: 0; }
+  left: 0;
+}
 
 main li {
   margin-top: 1em;
-  padding-left: 0.5em; }
+  padding-left: 0.5em;
+}
 
 /* Bibliograhy */
 p.Biblio, p.NormRef {
-  margin-top: 1em; }
+  margin-top: 1em;
+}
 
 p.Biblio::before, p.NormRef::before {
-  content: "\2014";
-  padding-right: 1em; }
+  content: "—";
+  padding-right: 1em;
+}
 
 /* Blocks */
 .figure {
@@ -1133,26 +926,31 @@ p.Biblio::before, p.NormRef::before {
   margin: 2em 0 1em 0;
   overflow: auto;
   font-family: {{monospacefont}};
-  font-variant-ligatures: none; }
-  .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; }
+  font-variant-ligatures: none;
+}
+.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;
+}
 
 .SourceTitle {
   font-weight: 700;
   font-size: 1em;
-  text-align: center; }
+  text-align: center;
+}
 
 pre {
   font-family: {{monospacefont}};
@@ -1163,9 +961,11 @@ pre {
   padding: 1.5em;
   margin: 2em 0 1em 0;
   overflow-y: auto;
-  overflow-x: scroll; }
-  .example pre {
-    background: none; }
+  overflow-x: scroll;
+}
+.example pre {
+  background: none;
+}
 
 .pseudocode {
   background-color: #f7f7f7;
@@ -1173,49 +973,60 @@ pre {
   line-height: 1.6em;
   padding: 1.5em;
   margin: 2em 0 1em 0;
-  overflow: auto; }
-  .pseudocode .SourceTitle {
-    font-weight: 700;
-    font-size: 1em;
-    text-align: center; }
-  .example .pseudocode {
-    background: none; }
+  overflow: auto;
+}
+.pseudocode .SourceTitle {
+  font-weight: 700;
+  font-size: 1em;
+  text-align: center;
+}
+.example .pseudocode {
+  background: none;
+}
 
 .Admonition .AdmonitionTitle {
   font-weight: 700;
   font-size: 1em;
-  text-align: center; }
+  text-align: center;
+}
 
 .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;
+}
 
 .ListTitle {
   font-weight: 700;
   font-size: 1em;
   text-align: center;
-  text-align: left; }
+  text-align: left;
+}
 
 .Note, .Admonition {
   color: #47430c;
   padding: 0.25em;
-  margin: 0; }
+  margin: 0;
+}
 
 .Note {
-  background-color: #fff495; }
-  .Note p {
-    margin: 1em; }
+  background-color: #fff495;
+}
+.Note p {
+  margin: 1em;
+}
 
 .blockquote, .Quote {
   background-color: #f7f7f7;
@@ -1224,41 +1035,50 @@ pre {
   padding: 1.5em;
   margin-top: 2em;
   margin-left: auto;
-  margin-right: auto; }
-  .blockquote .QuoteAttribution, .Quote .QuoteAttribution {
-    text-align: right; }
+  margin-right: auto;
+}
+.blockquote .QuoteAttribution, .Quote .QuoteAttribution {
+  text-align: right;
+}
 
 .formula, .Formula {
   background-color: #f7f7f7;
   padding: 1.5em;
   margin-top: 2em;
-  text-align: center; }
+  text-align: center;
+}
 
 /* Examples */
 table.example {
-  background-color: #e1eef1; }
+  background-color: #e1eef1;
+}
 
 td.example {
   padding: 0 1em 0 1em;
-  margin: 2em 0 1em 0; }
+  margin: 2em 0 1em 0;
+}
 
 .example {
   background-color: #e1eef1;
   padding: 0.5em;
   margin: 2em 0 1em 0;
   text-align: left;
-  padding-left: 2em; }
+  padding-left: 2em;
+}
 
 .example p {
-  margin: 0; }
+  margin: 0;
+}
 
 .example .example-title {
   font-weight: 700;
   text-transform: uppercase;
-  margin-left: -1.5em; }
+  margin-left: -1.5em;
+}
 
 .example pre, .example .pseudocode {
-  background: none; }
+  background: none;
+}
 
 /* Tables */
 table {
@@ -1267,27 +1087,34 @@ table {
   margin: 1em 0 2em 0;
   margin-left: auto;
   margin-right: auto;
-  padding-right: 2em; }
-  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; }
+  padding-right: 2em;
+}
+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;
+}
 
 p.TableTitle {
   text-align: center;
   margin-top: 2.5em;
-  font-weight: 400; }
+  font-weight: 400;
+}
 
 /* Footnotes */
 a.footnote-number {
   vertical-align: super;
-  font-size: 0.8em; }
+  font-size: 0.8em;
+}
 
 .footnote {
-  font-size: {{footnotefontsize}}; }
+  font-size: {{footnotefontsize}};
+}
 
 /* Contact Info */
 .contact-info {
@@ -1297,34 +1124,41 @@ a.footnote-number {
   width: auto;
   margin-left: auto;
   margin-right: auto;
-  text-align: left; }
-  .contact-info p, .contact-info a {
-    font-family: {{monospacefont}};
-    font-variant-ligatures: none;
-    font-weight: 400;
-    line-height: 1.3em;
-    font-size: 1em;
-    margin: 0; }
-  .contact-info a:hover {
-    color: #485094;
-    background: none;
-    text-decoration: underline;
-    box-shadow: none; }
-  .contact-info .name {
-    font-weight: 700; }
+  text-align: left;
+}
+.contact-info p, .contact-info a {
+  font-family: {{monospacefont}};
+  font-variant-ligatures: none;
+  font-weight: 400;
+  line-height: 1.3em;
+  font-size: 1em;
+  margin: 0;
+}
+.contact-info a:hover {
+  color: #485094;
+  background: none;
+  text-decoration: underline;
+  box-shadow: none;
+}
+.contact-info .name {
+  font-weight: 700;
+}
 
 /* Keywords */
 span.keyword {
-  font-weight: 600; }
+  font-weight: 600;
+}
 
 /* Admonitions */
 .Admonition, .admonition {
   background-color: #ffb3b3;
   padding: 0.5em;
   margin: 1.5em 0 1.5em 0;
-  text-align: left; }
-  .Admonition p, .admonition p {
-    margin: 0; }
+  text-align: left;
+}
+.Admonition p, .admonition p {
+  margin: 0;
+}
 
 #myBtn {
   font-family: {{monospacefont}};
@@ -1342,22 +1176,31 @@ span.keyword {
   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: #485094;
-  box-shadow: none; }
+  box-shadow: none;
+}
 
 @page {
-  margin: 2cm 1cm 2cm 1cm; }
-
+  margin: 2cm 1cm 2cm 1cm;
+}
 @media print {
   h1, .h1, .title-section1 {
-    page-break-before: always; }
+    page-break-before: always;
+  }
   h1.toc-contents {
-    margin-top: 2em; } }
+    margin-top: 2em;
+  }
+}