metanorma-iso 1.0.4 → 1.0.5

data/lib/isodoc/iso/html/style-iso.scss

@@ -58,10 +58,10 @@ time, mark, audio, video {
 }
 
 html, body, div, span, applet, object, iframe,
-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,
+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,
@@ -73,6 +73,10 @@ time, mark, audio, video {
   font-family: $bodyfont;
 }
 
+code, pre, tt, kbd, samp {
+  font-family: $monospacefont;
+}
+
 dl {
   display: grid;
   grid-template-columns: max-content auto;
@@ -280,7 +284,7 @@ p.Terms {
 
 /* Navigation*/
 
-@media (min-width: 768px) {
+@media screen and (min-width: 768px) {
     nav {
         position: fixed;
         top: 0;
@@ -334,7 +338,7 @@ p.Terms {
     }
 }
 
-@media (max-width: 768px) {
+@media screen and (max-width: 768px) {
     #toc {
         padding: 0 1.5em 0 1.5em;
         overflow: visible;
@@ -783,476 +787,3 @@ font-weight: 600;
 
 
 
-/* Old CSS 
-p.MsoCommentText, li.MsoCommentText, div.MsoCommentText {
-    margin-top: 0cm;
-    margin-right: 0cm;
-    margin-bottom: 12.0pt;
-    margin-left: 0cm;
-    text-align: justify;
-    line-height: 12.0pt;
-    tab-stops: 20.15pt;
-    font-size: 12.0pt;
-    font-family: "Cambria", serif; }
-  
-  p.MsoCommentSubject, li.MsoCommentSubject, div.MsoCommentSubject {
-    margin-top: 0cm;
-    margin-right: 0cm;
-    margin-bottom: 12.0pt;
-    margin-left: 0cm;
-    text-align: justify;
-    line-height: 12.0pt;
-    tab-stops: 20.15pt;
-    font-size: 10.0pt;
-    font-family: "Cambria", serif;
-    font-weight: bold;
-  }
-
-  p.Sourcecode, li.Sourcecode, div.Sourcecode, pre.Sourcecode {
-    margin-top: 0cm;
-    margin-right: 0cm;
-    margin-bottom: 12.0pt;
-    margin-left: 0cm;
-    text-align: left;
-    line-height: 12.0pt;
-    tab-stops: 20.15pt;
-    font-size: 9.0pt;
-    font-family: "Courier New", monospace; }
-  
-  p.Biblio, li.Biblio, div.Biblio {
-    margin-top: 0cm;
-    margin-right: 0cm;
-    margin-bottom: 12.0pt;
-    margin-left: 33.15pt;
-    text-indent: -33.15pt;
-    tab-stops: 33.15pt;
-    line-height: 12.0pt;
-    font-size: 11.0pt;
-    font-family: "Cambria", serif; }
-  
-  p.FigureTitle {
-    margin-top: 0cm;
-    margin-right: 0cm;
-    margin-bottom: 6.0pt;
-    margin-left: 0cm;
-    text-align: center;
-    line-height: 12.0pt;
-    page-break-before: avoid;
-    tab-stops: 20.15pt;
-    font-size: 11.0pt;
-    font-family: "Cambria", serif;
-    font-weight: bold; }
-  
-  p.TableTitle {
-    margin-top: 0cm;
-    margin-right: 0cm;
-    margin-bottom: 6.0pt;
-    margin-left: 0cm;
-    text-align: center;
-    page-break-after: avoid;
-    line-height: 12.0pt;
-    tab-stops: 20.15pt;
-    font-size: 11.0pt;
-    font-weight: bold;
-    font-family: "Cambria", serif; }
-  
-  p.Note, div.Note, li.Note, p.TableFootnote, div.TableFootnote, li.TableFootnote {
-    margin-top: 0cm;
-    margin-right: 0cm;
-    margin-bottom: 12.0pt;
-    margin-left: 0cm;
-    text-align: justify;
-    line-height: 12.0pt;
-    tab-stops: 20.15pt;
-    font-size: 10.0pt;
-    font-family: "Cambria", serif; }
-  
-  /* may need to be revised *//*
-  p.ANNEX, li.ANNEX, div.ANNEX {
-    margin-top: 0cm;
-    margin-right: 0cm;
-    margin-bottom: 24.0pt;
-    margin-left: 0cm;
-    text-align: center;
-    text-indent: 0cm;
-    line-height: 15.5pt;
-    page-break-before: always;
-    page-break-after: avoid;
-    tab-stops: 20.15pt;
-    font-size: 14.0pt;
-    font-family: "Cambria", serif;
-    font-weight: bold; }
-  
-  p.BiblioTitle, li.BiblioTitle, div.BiblioTitle {
-    margin-top: 0cm;
-    margin-right: 0cm;
-    margin-bottom: 15.5pt;
-    margin-left: 0cm;
-    text-align: center;
-    line-height: 15.5pt;
-    tab-stops: 20.15pt;
-    font-size: 14.0pt;
-    font-family: "Cambria", serif;
-    font-weight: bold; }
-  
-  p.Definition, li.Definition, div.Definition {
-    margin-top: 0cm;
-    margin-right: 0cm;
-    margin-bottom: 12.0pt;
-    margin-left: 0cm;
-    text-align: justify;
-    line-height: 12.0pt;
-    tab-stops: 20.15pt;
-    font-size: 11.0pt;
-    font-family: "Cambria", serif; }
-  
-  p.ForewordTitle, li.ForewordTitle, div.ForewordTitle {
-    margin-top: 0cm;
-    margin-right: 0cm;
-    margin-bottom: 15.5pt;
-    margin-left: 0cm;
-    text-align: justify;
-    line-height: 15.5pt;
-    page-break-before: always;
-    page-break-after: avoid;
-    tab-stops: 20.15pt;
-    font-size: 14.0pt;
-    font-family: "Cambria", serif;
-    font-weight: bold; }
-  
-  p.IntroTitle, li.IntroTitle, div.IntroTitle {
-    margin-top: 0cm;
-    margin-right: 0cm;
-    margin-bottom: 15.5pt;
-    margin-left: 0cm;
-    text-align: justify;
-    line-height: 15.5pt;
-    page-break-after: avoid;
-    tab-stops: 20.15pt;
-    font-size: 14.0pt;
-    page-break-before: always;
-    font-family: "Cambria", serif;
-    font-weight: bold; }
-  
-  p.Terms, li.Terms, div.Terms {
-    margin: 0cm;
-    margin-bottom: .0001pt;
-    line-height: 12.0pt;
-    page-break-after: avoid;
-    tab-stops: 20.15pt;
-    font-size: 11.0pt;
-    font-family: "Cambria", serif;
-    font-weight: bold; }
-  
-  p.AltTerms, li.AltTerms, div.AltTerms {
-    margin: 0cm;
-    margin-bottom: .0001pt;
-    line-height: 12.0pt;
-    page-break-after: avoid;
-    tab-stops: 20.15pt;
-    font-size: 11.0pt;
-    font-family: "Cambria", serif; }
-  
-  p.DeprecatedTerms, li.DeprecatedTerms, div.DeprecatedTerms {
-    margin: 0cm;
-    margin-bottom: .0001pt;
-    line-height: 12.0pt;
-    page-break-after: avoid;
-    tab-stops: 20.15pt;
-    font-size: 11.0pt;
-    font-family: "Cambria", serif; }
-  
-  p.TermNum, li.TermNum, div.TermNum {
-    margin: 0cm;
-    margin-bottom: .0001pt;
-    line-height: 12.0pt;
-    page-break-after: avoid;
-    tab-stops: 20.15pt;
-    font-size: 11.0pt;
-    font-family: "Cambria", serif;
-    font-weight: bold; }
-  
-  p.zzContents, li.zzContents, div.zzContents {
-    margin-top: 48.0pt;
-    margin-right: 0cm;
-    margin-bottom: 15.5pt;
-    margin-left: 0cm;
-    line-height: 15.5pt;
-    page-break-before: always;
-    page-break-after: avoid;
-    tab-stops: 20.15pt;
-    font-size: 14.0pt;
-    font-family: "Cambria", serif;
-    font-weight: bold; }
-  
-  p.zzCopyright, li.zzCopyright, div.zzCopyright {
-    margin-top: 0cm;
-    margin-right: 14.2pt;
-    margin-bottom: 12.0pt;
-    margin-left: 14.2pt;
-    text-align: justify;
-    line-height: 12.0pt;
-    tab-stops: 20.15pt 25.7pt 481.15pt;
-    border: none;
-    padding: 0cm;
-    font-size: 11.0pt;
-    font-family: "Cambria", serif; }
-  
-  p.zzSTDTitle, li.zzSTDTitle, div.zzSTDTitle {
-    margin-top: 20.0pt;
-    margin-right: 0cm;
-    margin-bottom: 38.0pt;
-    margin-left: 0cm;
-    line-height: 17.5pt;
-    tab-stops: 20.15pt;
-    font-size: 16.0pt;
-    font-family: "Cambria", serif;
-    font-weight: bold; }
-  
-  p.zzSTDTitle1, li.zzSTDTitle1, div.zzSTDTitle1 {
-    margin-top: 0pt;
-    margin-right: 0cm;
-    margin-bottom: 18.0pt;
-    margin-left: 0cm;
-    line-height: 17.5pt;
-    tab-stops: 20.15pt;
-    font-size: 16.0pt;
-    font-family: "Cambria", serif;
-    font-weight: bold; }
-  
-  p.Quote, li.Quote, div.Quote {
-    margin-top: 0cm;
-    margin-right: 36.0pt;
-    margin-bottom: 0cm;
-    margin-left: 36.0pt;
-    text-align: justify;
-    line-height: 12.0pt;
-    tab-stops: 20.15pt;
-    font-size: 11.0pt;
-    font-family: "Cambria", serif; }
-  
-  p.QuoteAttribution {
-    text-align: right; }
-  
-  p.Admonition, li.Admonition, div.Admonition {
-    border: none;
-    padding: 0cm;
-    font-size: 12.0pt;
-    font-family: "Cambria", serif;
-    font-weight: bold; }
-  
-  p.Code, li.Code, div.Code {
-    margin: 0cm;
-    margin-bottom: .0001pt;
-    line-height: 10.0pt;
-    tab-stops: 20.15pt;
-    font-size: 9.0pt;
-    font-family: "Courier New", monospace; }
-  
-  p.Formula, li.Formula, div.Formula {
-    margin-top: 0cm;
-    margin-right: 0cm;
-    margin-bottom: 11.0pt;
-    margin-left: 20.15pt;
-    line-height: 12.0pt;
-    tab-stops: right 487.45pt;
-    font-size: 11.0pt;
-    font-family: "Cambria", serif; }
-  
-  table.dl {
-    margin-top: 0cm;
-    margin-right: 0cm;
-    margin-bottom: 11.0pt;
-    margin-left: 20.15pt; }
-  
-  .h2Annex {
-    margin-top: 3.0pt;
-    margin-right: 0cm;
-    margin-bottom: 12.0pt;
-    margin-left: 0cm;
-    text-indent: 0cm;
-    line-height: 12.5pt;
-    page-break-after: avoid;
-    tab-stops: 27.0pt 35.0pt;
-    font-size: 12.0pt;
-    font-family: "Cambria", serif;
-    font-weight: bold; }
-  
-  ol {
-    margin-bottom: 0cm; }
-  
-  ul {
-    margin-bottom: 0cm; }
-  
-  table.MsoISOTable {
-    border-collapse: collapse;
-    border: solid windowtext 2pt;
-    font-size: 10.0pt;
-    font-family: "Cambria", serif; }
-  
-  table.MsoISOTable tr {
-    page-break-inside: avoid; }
-  
-  table.MsoISOTable th {
-    border: solid windowtext 1pt;
-    padding: 0cm 2.85pt 0cm 2.85pt; }
-  
-  table.MsoISOTable td {
-    border: solid windowtext 1pt;
-    padding: 0cm 2.85pt 0cm 2.85pt; }
-  
-  table.MsoTableGrid {
-    border: solid windowtext 1.0pt;
-    font-size: 10.0pt;
-    font-family: "Cambria", serif; }
-  
-  td {
-    page-break-inside: avoid; }
-  
-  tr {
-    page-break-after: avoid; }
-  
-  span.stem {
-    font-family: "Cambria Math",serif;
-    font-style: italic; }
-  
-  div.formula {
-    tab-stops: right 487.45pt; }
-  
-  body {
-    tab-interval: 36.0pt; }
-  
-  dt {
-    page-break-inside: avoid;
-    page-break-after: avoid; }
-  
-  .coverpage_docnumber {
-    text-align: right;
-    font-size: 14.0pt;
-    font-weight: bold; }
-  
-  .coverpage_techcommittee {
-    text-align: right; }
-  
-  .coverpage_docstage {
-    text-align: center;
-    font-size: 30.0pt;
-    color: #485094; }
-  
-  div.doctitle {
-    margin-top: 100.0pt;
-    text-align: left;
-    font-size: 16.0pt; }
-  
-  div.coverpage_warning {
-    border: solid windowtext 1.0pt #485094;
-    padding: 1.0pt 4.0pt 1.0pt 4.0pt #485094;
-    margin-left: 4.25pt;
-    margin-right: 4.25pt; }
-  
-  .coverpage_warning {
-    color: #485094;
-    font-size: 10.0pt; }
-  
-  .coverpage {
-    text-align: center;
-    margin: 2em 0; }
-  
-  .coverpage-logo {
-    color: #485094; }
-  
-  .coverpage-tc-name {
-    color: #485094;
-    font-size: 1.2em;
-    line-height: 1.2em;
-    margin: 0.25em 0; }
-  
-  .coverpage-doc-identity {
-    background-color: #485094;
-    color: white;
-    font-size: 2em;
-    line-height: 2em;
-    margin: 0.5em 0; }
-  
-  .coverpage-title {
-    font-weight: 400; }
-  
-  .coverpage-title .title-second {
-    display: none; }
-  
-  .coverpage-stage-block {
-    font-style: italic;
-    font-size: 1.25em;
-    font-weight: 600; }
-  
-  .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-weight: 500; }
-  
-  .coverpage-warning .content {
-    font-style: italic; }
-  
-  .copyright {
-    padding: 1em; }
-  
-  .copyright .name {
-    color: #485094;
-    font-weight: 600; }
-  
-  .copyright .address {
-    color: #485094; }
-  
-  div.rule {
-    width: 100%;
-    height: 1px;
-    background-color: #485094;
-    margin: 2em 0; }
-  
-  #toc-list ul {
-    margin-bottom: 0.25em; }
-  
-  #toc-list li {
-    list-style-type: none; }
-  
-  .MsoTocTextSpan {
-    color: windowtext;
-    display: none;
-    text-decoration: none;
-    text-underline: none; }
-  
-  a.TableFootnoteRef {
-    vertical-align: super; }
-  
-  aside {
-    font-size: 10.0pt; }
-  
-  /*
-  div.example {
-      border:solid black .25pt;
-  
-      padding:10pt;
-  
-      margin:10pt;
-  
-  }
-  *//*
-  div.example {
-    margin-left: 70.9pt;
-    text-indent: -70.9pt; }
-  
-  p.example, li.example, div.example, td.example, td.example p {
-    margin: 0in;
-    margin-bottom: .0001pt;
-    font-size: 10.0pt;
-    font-family: "Cambria", serif; }
-  
-  span.note_label, span.example_label, td.example_label, td.note_label {
-    font-size: 10.0pt;
-    font-family: "Cambria", serif; }*/