htmlstyle.css in metanorma-ogc-2.3.2

- old
+ new

@@ -122,10 +122,39 @@
 
 .deletion {
   color: red;
   text-decoration: line-through; }
 
+/* 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%; }
+
 #standard-band {
   background-color: #3D9970; }
 
 #standard {
   border-bottom: solid 3px #3D9970; }
@@ -605,11 +634,11 @@
     margin-right: 0;
     background-color: white; } }
 
 @media screen and (min-width: 768px) {
   nav {
-    marign-right: 30px; } }
+    margin-right: 30px; } }
 
 @media screen and (min-width: 768px) {
   #toggle {
     position: fixed;
     height: 100%;
@@ -846,11 +875,11 @@
     border: 1px solid black;
     font-size: 0.95em; }
   table th, table td {
     padding: 1em; }
   table td.header {
-    font-weigth: 400; }
+    font-weight: 400; }
   table thead tr th {
     background-color: #5d99d6; }
   table td, table th {
     padding: 1em; }
   table td.header {
@@ -873,11 +902,11 @@
     border: none !important;
     font-size: 0.95em; }
   table.modspec th, table.modspec td {
     padding: 1em; }
   table.modspec td.header {
-    font-weigth: 400; }
+    font-weight: 400; }
   table.modspec tr:nth-child(even) {
     background: #ffffff; }
   table.modspec tr:nth-child(odd) {
     background: #ffffff; }
   table.modspec thead tr th {
@@ -952,11 +981,11 @@
   font-weight: 700;
   font-size: 1em;
   text-align: center;
   text-align: left; }
 
-pre {
+pre, .sourcecode {
   font-family: {{monospacefont}};
   font-variant-ligatures: none;
   background-color: #f7f7f7;
   font-size: {{monospacefontsize}};
   line-height: 1.6em;
@@ -986,10 +1015,10 @@
     color: #270204;
     border-top: 10px solid #e4010c; }
   .Admonition p, .Admonition.Important p, .Admonition.Warning p {
     margin: 0; }
 
-.figure, pre, .pseudocode {
+.figure, pre, .pseudocode, .sourcecode {
   background-color: #e1eef1;
   color: #424242;
   font-size: {{monospacefontsize}}; }
 
 .Note {