From c71ac19e02eb211ff71344dfabee8c2bf07fb604 Mon Sep 17 00:00:00 2001
From: Marek Felsoci <marek.felsoci@inria.fr>
Date: Wed, 18 Mar 2020 21:21:40 +0100
Subject: [PATCH] style fix

---
 .../readtheorginria/css/readtheorginria.css   | 407 +++++++++++++-----
 1 file changed, 305 insertions(+), 102 deletions(-)

diff --git a/public/readtheorginria/css/readtheorginria.css b/public/readtheorginria/css/readtheorginria.css
index 5a5f6da..06c8f1b 100644
--- a/public/readtheorginria/css/readtheorginria.css
+++ b/public/readtheorginria/css/readtheorginria.css
@@ -71,7 +71,8 @@ p {
   margin: 0px 0px 14pt 0px;
 }
 
-b, strong {
+b,
+strong {
   font-weight: bold;
 }
 
@@ -84,7 +85,9 @@ blockquote {
   padding: 6px 20px;
 }
 
-ul, ol, dl {
+ul,
+ol,
+dl {
   line-height: 14pt;
   list-style-image: none;
   margin: 0px 0px 24px 0px;
@@ -99,57 +102,81 @@ dd {
   margin: 0;
 }
 
-#content .section ul, #content .toctree-wrapper ul, article ul {
+#content .section ul,
+#content .toctree-wrapper ul,
+article ul {
   list-style: disc;
   line-height: 14pt;
   margin-bottom: 24px;
 }
 
-#content .section ul li, #content .toctree-wrapper ul li, article ul li {
+#content .section ul li,
+#content .toctree-wrapper ul li,
+article ul li {
   list-style: disc;
   margin-left: 24px;
 }
 
-#content .section ul li p: last-child, #content .toctree-wrapper ul li p: last-child, article ul li p: last-child {
+#content .section ul li p:last-child,
+#content .toctree-wrapper ul li p:last-child,
+article ul li p:last-child {
   margin-bottom: 0;
 }
 
-#content .section ul li ul, #content .toctree-wrapper ul li ul, article ul li ul {
+#content .section ul li ul,
+#content .toctree-wrapper ul li ul,
+article ul li ul {
   margin-bottom: 0;
 }
 
-#content .section ul li li, #content .toctree-wrapper ul li li, article ul li li {
+#content .section ul li li,
+#content .toctree-wrapper ul li li,
+article ul li li {
   list-style: circle;
 }
 
-#content .section ul li li li, #content .toctree-wrapper ul li li li, article ul li li li {
+#content .section ul li li li,
+#content .toctree-wrapper ul li li li,
+article ul li li li {
   list-style: square;
 }
 
-#content .section ul li ol li, #content .toctree-wrapper ul li ol li, article ul li ol li {
+#content .section ul li ol li,
+#content .toctree-wrapper ul li ol li,
+article ul li ol li {
   list-style: decimal;
 }
 
-#content .section ol, #content ol, article ol {
+#content .section ol,
+#content ol,
+article ol {
   list-style: decimal;
   line-height: 14pt;
   margin-bottom: 24px;
 }
 
-#content .section ol li, #content ol li, article ol li {
+#content .section ol li,
+#content ol li,
+article ol li {
   list-style: decimal;
   margin-left: 24px;
 }
 
-#content .section ol li p: last-child, #content ol li p: last-child, article ol li p: last-child {
+#content .section ol li p:last-child,
+#content ol li p:last-child,
+article ol li p:last-child {
   margin-bottom: 0;
 }
 
-#content .section ol li ul, #content ol li ul, article ol li ul {
+#content .section ol li ul,
+#content ol li ul,
+article ol li ul {
   margin-bottom: 0;
 }
 
-#content .section ol li ul li, #content ol li ul li, article ol li ul li {
+#content .section ol li ul li,
+#content ol li ul li,
+article ol li ul li {
   list-style: disc;
 }
 
@@ -157,7 +184,10 @@ dl dt {
   font-weight: bold;
 }
 
-dl p, dl table, dl ul, dl ol {
+dl p,
+dl table,
+dl ul,
+dl ol {
   margin-bottom: 12px !important;
 }
 
@@ -166,13 +196,16 @@ dl dd {
 }
 
 @media print {
-  .codeblock, pre.src {
+  .codeblock,
+pre .src {
     white-space: pre.src-wrap;
   }
 }
 
 @media print {
-  html, body, section {
+  html,
+  body,
+  section {
     background: none !important;
   }
 
@@ -183,11 +216,13 @@ dl dd {
     -ms-filter: none !important;
   }
 
-  a, a: visited {
+  a,
+  a:visited {
       text-decoration: underline;
   }
 
-  pre.src, blockquote {
+  pre .src,
+  blockquote {
     page-break-inside: avoid;
   }
 
@@ -195,7 +230,8 @@ dl dd {
     display: table-header-group;
   }
 
-  tr, img {
+  tr,
+  img {
     page-break-inside: avoid;
   }
 
@@ -207,12 +243,15 @@ dl dd {
     margin: 0.5cm;
   }
 
-  p, h2, h3 {
+  p,
+  h2,
+  h3 {
     orphans: 3;
     widows: 3;
   }
 
-  h2, h3 {
+  h2,
+  h3 {
     page-break-after: avoid;
   }
 }
@@ -265,7 +304,7 @@ dl dd {
     padding: 1.618em;
   }
 
-  #content.shift {
+  #content .shift {
     position: fixed;
     min-width: 100%;
     left: 85%;
@@ -291,7 +330,7 @@ dl dd {
     display: none;
   }
 
-  #copyright.shift {
+  #copyright .shift {
     display: block;
   }
 
@@ -342,12 +381,14 @@ code {
   padding: 6px 12px;
 }
 
-.codeblock-example.prettyprint-example-only {
+.codeblock-example .prettyprint-example-only {
   border: 1px solid #E1E4E5;
   margin-bottom: 24px;
 }
 
-.codeblock, pre.src, #content .literal-block {
+.codeblock,
+pre .src,
+#content .literal-block {
   border: 1px solid #E1E4E5;
   padding: 12px;
   overflow-x: auto;
@@ -355,7 +396,7 @@ code {
   margin: 1px 0 24px 0;
 }
 
-pre.src {
+pre .src {
   display: block;
   font-family: monospace;
   font-size: 12px;
@@ -390,7 +431,8 @@ td {
   vertical-align: top;
 }
 
-table td, table th {
+table td,
+table th {
   font-size: 90%;
   margin: 0;
   overflow: visible;
@@ -411,11 +453,11 @@ table caption {
   padding: 0 0 1em 0;
 }
 
-table tr: nth-child(2n-1) td {
+table tr:nth-child(2n-1) td {
   background-color: #F3F6F6;
 }
 
-table tr: nth-child(2n) td {
+table tr:nth-child(2n) td {
   background-color: white;
 }
 
@@ -440,7 +482,8 @@ table tr: nth-child(2n) td {
   transform: rotate(270deg);
 }
 
-#toggle-sidebar, 
+#toggle-sidebar,
+
 #table-of-contents .close-sidebar {
   display: none;
 }
@@ -455,11 +498,12 @@ table tr: nth-child(2n) td {
     display: block;
   }
 
-  #table-of-contents: target {
+  #table-of-contents:target {
     display: block;
   }
 
-  #copyright, #postamble {
+  #copyright,
+  #postamble {
     display: none;
   }
 
@@ -501,7 +545,12 @@ table tr: nth-child(2n) td {
   box-sizing: border-box;
 }
 
-figcaption, figure, footer, header, hgroup, nav {
+figcaption,
+figure,
+footer,
+header,
+hgroup,
+nav {
   display: block;
 }
 
@@ -522,7 +571,8 @@ small {
   font-size: 85%;
 }
 
-sub, sup {
+sub,
+sup {
   font-size: 75%;
   line-height: 0;
   position: relative;
@@ -543,7 +593,7 @@ img {
   max-width: 100%;
 }
 
-svg: not(: root) {
+svg:not(:root) {
   overflow: hidden;
 }
 
@@ -552,7 +602,7 @@ figure {
 }
 
 label {
-  font: italic 85%/1 arial, sans-serif;
+  font: italic 10pt sans-serif;
   color: #000000;
   text-align: center;
   padding-bottom: 1em;
@@ -566,11 +616,65 @@ legend {
   white-space: normal;
 }
 
-.fa:before, #content .admonition-title:before, #content h1 .headerlink:before, #content h2 .headerlink:before, #content h3 .headerlink:before, #content h4 .headerlink:before, #content h5 .headerlink:before, #content h6 .headerlink:before, #content dl dt .headerlink:before, .icon:before, .wy-dropdown .caret:before, .wy-inline-validate.wy-inline-validate-success .wy-input-context:before, .wy-inline-validate.wy-inline-validate-danger .wy-input-context:before, .wy-inline-validate.wy-inline-validate-warning .wy-input-context:before, .wy-inline-validate.wy-inline-validate-info .wy-input-context:before, .wy-alert, #content .note, #content .attention, #content .caution, #content .danger, #content .error, #content .hint, #content .important, #content .tip, #content .warning, #content .seealso, #content .admonitiontodo, .btn, input[type="text"], input[type="password"], input[type="email"], input[type="url"], input[type="date"], input[type="month"], input[type="time"], input[type="datetime"], input[type="datetime-local"], input[type="week"], input[type="number"], input[type="search"], input[type="tel"], input[type="color"], select, textarea, #table-of-contents li.on a, #table-of-contents li.current>a, .wy-side-nav-search>a, .wy-side-nav-search .wy-dropdown>a, .wy-nav-top a {
+.fa:before,
+#content .admonition-title:before,
+#content h1 .headerlink:before,
+#content h2 .headerlink:before,
+#content h3 .headerlink:before,
+#content h4 .headerlink:before,
+#content h5 .headerlink:before,
+#content h6 .headerlink:before,
+#content dl dt .headerlink:before,
+.icon:before,
+.wy-dropdown .caret:before,
+.wy-inline-validate .wy-inline-validate-success
+.wy-input-context:before,
+.wy-inline-validate .wy-inline-validate-danger
+.wy-input-context:before,
+.wy-inline-validate .wy-inline-validate-warning
+.wy-input-context:before,
+.wy-inline-validate .wy-inline-validate-info
+.wy-input-context:before,
+.wy-alert,
+#content .note,
+#content .attention,
+#content .caution,
+#content .danger,
+#content .error,
+#content .hint,
+#content .important,
+#content .tip,
+#content .warning,
+#content .seealso,
+#content .admonitiontodo,
+.btn,
+input[type="text"],
+input[type="password"],
+input[type="email"],
+input[type="url"],
+input[type="date"],
+input[type="month"],
+input[type="time"],
+input[type="datetime"],
+input[type="datetime-local"],
+input[type="week"],
+input[type="number"],
+input[type="search"],
+input[type="tel"],
+input[type="color"],
+select,
+textarea,
+#table-of-contents li .on a,
+#table-of-contents li .current > a,
+.wy-side-nav-search > a,
+.wy-side-nav-search .wy-dropdown > a,
+.wy-nav-top a {
   -webkit-font-smoothing: antialiased;
 }
 
-.fa, #content .admonition-title, .icon {
+.fa,
+#content .admonition-title,
+.icon {
   display: inline-block;
   font-family: FontAwesome;
   font-style: normal;
@@ -586,7 +690,7 @@ legend {
   list-style-type: none;
 }
 
-.fa-ul>li {
+.fa-ul > li {
   position: relative;
 }
 
@@ -598,7 +702,7 @@ legend {
   text-align: center;
 }
 
-.fa-li.fa-lg {
+.fa-li .fa-lg {
   left:-1.85714em;
 }
 
@@ -608,11 +712,13 @@ legend {
   border-radius:.1em;
 }
 
-.fa, #content .admonition-title {
+.fa,
+#content .admonition-title {
   font-family: inherit;
 }
 
-.fa:before, #content .admonition-title:before {
+.fa:before,
+#content .admonition-title:before {
   font-family: "FontAwesome";
   display: inline-block;
   font-style: normal;
@@ -621,22 +727,38 @@ legend {
   text-decoration: inherit;
 }
 
-a .fa, a #content .admonition-title, #content a .admonition-title {
+a .fa,
+a #content .admonition-title,
+#content a .admonition-title {
   display: inline-block;
   text-decoration: inherit;
 }
 
-.nav #content .admonition-title, #content .nav .admonition-title, .nav .icon {
+.nav #content .admonition-title,
+#content .nav .admonition-title,
+.nav .icon {
   display: inline;
 }
 
-.wy-alert, #content .note, #content .attention, #content .caution, #content .danger, #content .error, #content .hint, #content .important, #content .tip, #content .warning, #content .seealso, #content .admonitiontodo {
+.wy-alert,
+#content .note,
+#content .attention,
+#content .caution,
+#content .danger,
+#content .error,
+#content .hint,
+#content .important,
+#content .tip,
+#content .warning,
+#content .seealso,
+#content .admonitiontodo {
   padding: 12px;
   line-height: 14pt;
   margin-bottom: 24px;
 }
 
-.wy-alert-title, #content .admonition-title {
+.wy-alert-title,
+#content .admonition-title {
   color: #FFF;
   font-weight: bold;
   display: block;
@@ -645,52 +767,90 @@ a .fa, a #content .admonition-title, #content a .admonition-title {
   margin-bottom: 0px;
 }
 
-#content .danger, #content .error {
+#content .danger,
+#content .error {
   background: #FDF3F2;
 }
 
-.wy-alert.wy-alert-warning, #content .wy-alert-warning.note, #content .attention, #content .caution, #content .wy-alert-warning.danger, #content .wy-alert-warning.error, #content .wy-alert-warning.hint, #content .wy-alert-warning.important, #content .wy-alert-warning.tip, #content .warning, #content .wy-alert-warning.seealso, #content .admonitiontodo {
+.wy-alert .wy-alert-warning,
+#content .wy-alert-warning .note,
+#content .attention,
+#content .caution,
+#content .wy-alert-warning .danger,
+#content .wy-alert-warning .error,
+#content .wy-alert-warning .hint,
+#content .wy-alert-warning .important,
+#content .wy-alert-warning .tip,
+#content .warning,
+#content .wy-alert-warning .seealso,
+#content .admonitiontodo {
   background: #FFEDCC;
 }
 
-#content .admonition-title.note:before, #content .admonition-title.seealso:before, 
-#content .admonition-title.warning:before, #content .admonition-title.caution:before, 
-#content .admonition-title.attention:before, 
-#content .admonition-title.tip:before, #content .admonition-title.hint:before, 
-#content .admonition-title.important:before, 
-#content .admonition-title.error:before, #content .admonition-title.danger:before {
+#content .admonition-title .note:before,
+#content .admonition-title .seealso:before,
+#content .admonition-title .warning:before,
+#content .admonition-title .caution:before,
+#content .admonition-title .attention:before,
+#content .admonition-title .tip:before,
+#content .admonition-title .hint:before,
+#content .admonition-title .important:before,
+#content .admonition-title .error:before,
+#content .admonition-title .danger:before {
   font-family: FontAwesome;
   content: "";
 }
 
-#content .note, #content .seealso {
+#content .note,
+#content .seealso {
   background: #E7F2FA;
 }
 
-.wy-alert p: last-child, #content .note p: last-child, #content .attention p: last-child, #content .caution p: last-child, #content .danger p: last-child, #content .error p: last-child, #content .hint p: last-child, #content .important p: last-child, #content .tip p: last-child, #content .warning p: last-child, #content .seealso p: last-child, #content .admonitiontodo p: last-child {
+.wy-alert p:last-child,
+#content .note p:last-child,
+#content .attention p:last-child,
+#content .caution p:last-child,
+#content .danger p:last-child,
+#content .error p:last-child,
+#content .hint p:last-child,
+#content .important p:last-child,
+#content .tip p:last-child,
+#content .warning p:last-child,
+#content .seealso p:last-child,
+#content .admonitiontodo p:last-child {
   margin-bottom: 0;
 }
 
-#content .admonition-title.tip, #content .admonition-title.important, #content .admonition-title.hint {
+#content .admonition-title .tip,
+#content .admonition-title .important,
+
+#content .admonition-title .hint {
   line-height: 1;
   background: #1ABC9C;
 }
 
-#content .important, #content .tip, #content .hint {
+#content .important,
+#content .tip,
+#content .hint {
   background: #DBFAF4;
 }
 
-#content .admonition-title.note, #content .admonition-title.seealso {
+#content .admonition-title .note,
+#content .admonition-title .seealso {
   line-height: 1;
   background: #6AB0DE;
 }
 
-#content .admonition-title.warning, #content .admonition-title.caution, #content .admonition-title.attention {
+#content .admonition-title .warning,
+#content .admonition-title 
+.caution,
+#content .admonition-title .attention {
   line-height: 1;
   background: #F0B37E;
 }
 
-#content .admonition-title.error, #content .admonition-title.danger {
+#content .admonition-title .error,
+#content .admonition-title .danger {
   line-height: 1;
   background: #F29F97;
 }
@@ -719,7 +879,8 @@ a {
   cursor: pointer;
 }
 
-a:hover, a: active {
+a:hover,
+a:active {
   outline: 0;
 }
 
@@ -727,7 +888,7 @@ a:hover {
   color: #3091D1;
 }
 
-a: visited {
+a:visited {
   color: #9B59B6;
 }
 
@@ -774,25 +935,25 @@ hr {
   margin-bottom: 0;
 }
 
-#table-of-contents li.divide-top {
+#table-of-contents li .divide-top {
   border-top: solid 1px #384257;
 }
 
-#table-of-contents li.divide-bottom {
+#table-of-contents li .divide-bottom {
   border-bottom: solid 1px #384257;
 }
 
-#table-of-contents li.current {
+#table-of-contents li .current {
   background: #E3E3E3;
 }
 
-#table-of-contents li.current a {
+#table-of-contents li .current a {
   color: gray;
   border-right: solid 1px #C9C9C9;
   padding: 0.4045em 2.427em;
 }
 
-#table-of-contents li.current a:hover {
+#table-of-contents li .current a:hover {
   background: #D6D6D6;
 }
 
@@ -803,7 +964,8 @@ hr {
   padding-left: 1.618em -4px;
 }
 
-#table-of-contents li.on a:hover, #table-of-contents li.current>a:hover {
+#table-of-contents li .on a:hover,
+#table-of-contents li .current > a:hover {
   background: #FCFCFC;
 }
 
@@ -815,7 +977,7 @@ hr {
   padding: 0.4045em 3.236em;
 }
 
-#table-of-contents li.current ul {
+#table-of-contents li .current ul {
   display: block;
 }
 
@@ -878,67 +1040,69 @@ hr {
   margin-bottom: 0.809em;
 }
 
-ul.nav li ul li {
+ul .nav li ul li {
   display: none;
 }
 
-ul.nav li ul li ul li {
+ul .nav li ul li ul li {
   display: none;
 }
 
-ul.nav li.active ul li {
+ul .nav li .active ul li {
   display: inline;
 }
 
-ul.nav li.active ul li ul li {
+ul .nav li .active ul li ul li {
   display: inline;
 }
 
-ul.nav li.active ul li a {
+ul .nav li .active ul li a {
   background-color: #E3E3E3;
   color: #8099B0;
   border-right: solid 1px #C9C9C9 !important;
 }
 
-ul.nav li.active ul li.active a {
+ul .nav li .active ul li .active a {
   background-color: #C9C9C9;
   color: black !important;
   font-weight: bold !important;
 }
 
-ul.nav li.active ul li.active ul li.active a {
+ul .nav li .active ul li .active ul li .active a {
   color: black !important;
   font-weight: bold !important;
   display: block !important;
 }
 
-ul.nav li.active ul li.active ul li a {
+ul .nav li .active ul li .active ul li a {
   color: #808080 !important;
   font-weight: normal !important;
   display: block !important;
 }
 
-ul.nav li.active ul li ul li a {
+ul .nav li .active ul li ul li a {
   display: none !important;
 }
 
-ul.nav li ul li ul li ul li {
-  display: none !important; /* as long as nav is on multiple levels of ul */
+ul .nav li ul li ul li ul li {
+  /* as long as nav is on multiple levels of ul */
+  display: none !important;
 }
 
-ul.nav li.active > a {
-  border-bottom: solid 1px #C9C9C9 !important; /* XXX Restrict it to 2nd level */
+ul .nav li .active > a {
+  /* XXX Restrict it to 2nd level */
+  border-bottom: solid 1px #C9C9C9 !important;
   border-right: solid 1px #C9C9C9 !important;
 }
 
-ul.nav li.active a {
+ul .nav li .active a {
   color: gray !important;
   font-weight: bold;
   background-color: white;
   border-right: solid 0px white !important;
 }
 
-ul.nav > li.active > a {
+ul .nav > li .active > a {
   color: black !important;
 }
 
@@ -950,7 +1114,8 @@ footer p {
   margin-bottom: 12px;
 }
 
-#copyright, #postamble {
+#copyright,
+#postamble {
   position: fixed;
   bottom: 0;
   left: 0;
@@ -975,7 +1140,8 @@ footer p {
   color: #1488CA;
 }
 
-#postamble .creator, #postamble .validation {
+#postamble .creator,
+#postamble .validation {
   display: none;
 }
 
@@ -999,16 +1165,17 @@ footer p {
   max-width: 100%;
 }
 
-#content div.figure {
+#content div .figure {
   margin: 0;
   padding: 0 1em 0 1em;
 }
 
-#content div.figure.align-center {
+#content div .figure .align-center {
   text-align: center;
 }
 
-#content .section>img, #content .section>a>img {
+#content .section > img,
+#content .section > a > img {
   margin-bottom: 24px;
 }
 
@@ -1019,7 +1186,17 @@ footer p {
   font-style: italic;
 }
 
-#content .note .last, #content .attention .last, #content .caution .last, #content .danger .last, #content .error .last, #content .hint .last, #content .important .last, #content .tip .last, #content .warning .last, #content .seealso .last, #content .admonitiontodo .last {
+#content .note .last,
+#content .attention .last,
+#content .caution .last,
+#content .danger .last,
+#content .error .last,
+#content .hint .last,
+#content .important .last,
+#content .tip .last,
+#content .warning .last,
+#content .seealso .last,
+#content .admonitiontodo .last {
   margin-bottom: 0;
 }
 
@@ -1027,24 +1204,43 @@ footer p {
   margin-right: 4px;
 }
 
-#content .section ol p, #content .section ul p {
+#content .section ol p,
+#content .section ul p {
   margin-bottom: 12px;
 }
 
-#content h1 .headerlink, #content h2 .headerlink, #content h3 .headerlink, #content h4 .headerlink, #content h5 .headerlink, #content h6 .headerlink, #content dl dt .headerlink {
+#content h1 .headerlink,
+#content h2 .headerlink,
+#content h3 .headerlink,
+#content h4 .headerlink,
+#content h5 .headerlink,
+#content h6 .headerlink,
+#content dl dt .headerlink {
   display: none;
   visibility: hidden;
   font-size: 14px;
 }
 
-#content h1 .headerlink:after, #content h2 .headerlink:after, #content h3 .headerlink:after, #content h4 .headerlink:after, #content h5 .headerlink:after, #content h6 .headerlink:after, #content dl dt .headerlink:after {
+#content h1 .headerlink:after,
+#content h2 .headerlink:after,
+#content h3 .headerlink:after,
+#content h4 .headerlink:after,
+#content h5 .headerlink:after,
+#content h6 .headerlink:after,
+#content dl dt .headerlink:after {
   visibility: visible;
   content: "";
   font-family: FontAwesome;
   display: inline-block;
 }
 
-#content h1:hover .headerlink, #content h2:hover .headerlink, #content h3:hover .headerlink, #content h4:hover .headerlink, #content h5:hover .headerlink, #content h6:hover .headerlink, #content dl dt:hover .headerlink {
+#content h1:hover .headerlink,
+#content h2:hover .headerlink,
+#content h3:hover .headerlink,
+#content h4:hover .headerlink,
+#content h5:hover .headerlink,
+#content h6:hover .headerlink,
+#content dl dt:hover .headerlink {
   display: inline-block;
 }
 
@@ -1058,7 +1254,9 @@ footer p {
   border: solid 1px #E1E4E5;
 }
 
-#content .sidebar p, #content .sidebar ul, #content .sidebar dl {
+#content .sidebar p,
+#content .sidebar ul,
+#content .sidebar dl {
   font-size: 90%;
 }
 
@@ -1084,7 +1282,8 @@ footer p {
   padding: 0 6px;
 }
 
-#content .footnote-reference, #content .citation-reference {
+#content .footnote-reference,
+#content .citation-reference {
   vertical-align: super;
   font-size: 90%;
 }
@@ -1106,17 +1305,20 @@ h2.footnotes {
   display: none;
 }
 
-.footnum, .footref {
+.footnum,
+.footref {
   color: #E63312;
   font-size: 170%;
   font-family: sans-serif;
 }
 
-.footnum:before, .footref:before {
+.footnum:before,
+.footref:before {
   content: "[";
 }
 
-.footnum:after, .footref:after {
+.footnum:after,
+.footref:after {
   content: "]";
 }
 
@@ -1137,7 +1339,8 @@ h2.footnotes {
   color: #FFF;
 }
 
-.WAIT, .nilWAIT {
+.WAIT,
+.nilWAIT {
   background-color: #6AB097;
 }
 
-- 
GitLab