chiark / gitweb /
css: updated postprocessed files.
authorVladimír Vondruš <mosra@centrum.cz>
Sun, 3 Dec 2017 13:32:49 +0000 (14:32 +0100)
committerVladimír Vondruš <mosra@centrum.cz>
Mon, 4 Dec 2017 18:20:40 +0000 (19:20 +0100)
css/m-dark.compiled.css
css/m-light.compiled.css

index d862cc5b3bafc2e53c7479ee2a32c87f98549119..b4f1e3edf029ea9f7a537b479a228912921a6af7 100644 (file)
@@ -36,7 +36,7 @@ body { margin: 0; }
   margin-left: -1rem;
   margin-right: -1rem;
 }
-.m-row:after { /* avoid rows floating around each other */
+.m-row:after {
   content: ' ';
   clear: both;
   display: table;
@@ -447,7 +447,7 @@ pre {
   background-color: #22272e;
   border-radius: 0.2rem;
   overflow-x: auto;
-  margin-top: 0; /* stupid defaults */
+  margin-top: 0;
 }
 pre.m-console {
   background-color: #000000;
@@ -456,7 +456,7 @@ abbr {
   cursor: help;
   text-decoration: underline dotted;
 }
-sub, sup { /* https://gist.github.com/unruthless/413930 */
+sub, sup {
   font-size: 0.75rem;
   line-height: 0;
   position: relative;
@@ -470,7 +470,7 @@ a {
 a:hover, a:focus, a:active {
   color: #a5c9ea;
 }
-a img { border: 0; } /* Why you so special, IE?! */
+a img { border: 0; }
 mark {
   padding: 0.0625rem;
   background-color: #c7cf2f;
@@ -1304,7 +1304,7 @@ figure.m-figure:before {
   bottom: 0;
   left: 0;
   right: 0;
-  z-index: -1; /* so it doesn't make the contents inactive */
+  z-index: -1;
   border-style: solid;
   border-width: 0.125rem;
   border-radius: 0.2rem;
@@ -1326,7 +1326,7 @@ figure.m-figure > *:last-child {
   margin-bottom: 1rem;
 }
 figure.m-figure img {
-  position: relative; /* so it's above the border */
+  position: relative;
   margin-left: 0;
   margin-right: 0;
   margin-bottom: 0;
@@ -1338,7 +1338,7 @@ figure.m-figure figcaption {
   margin-top: 0.5rem;
   margin-bottom: 0.5rem;
   font-weight: bold;
-  font-size: 1.17rem; /* taken from webkit defaults for h3 */
+  font-size: 1.17rem;
 }
 figure.m-figure a img {
   margin-left: -1rem;
@@ -1373,7 +1373,7 @@ figure.m-code-figure:before, figure.m-console-figure:before {
   bottom: 0;
   left: 0;
   right: 0;
-  z-index: -1; /* so it doesn't make the contents inactive */
+  z-index: -1;
   border-style: solid;
   border-width: 0.125rem;
   border-radius: 0.2rem;
@@ -1388,13 +1388,13 @@ figure.m-code-figure.m-flat:before, figure.m-console-figure.m-flat:before {
   border-color: transparent;
 }
 figure.m-code-figure > pre:first-child, figure.m-console-figure > pre:first-child {
-  position: relative; /* so it's above the border */
+  position: relative;
   margin: -1rem -1rem 1rem -1rem;
   border-bottom-left-radius: 0;
   border-bottom-right-radius: 0;
 }
 article section:target figure.m-code-figure, article section:target figure.m-console-figure {
-  z-index: 1; /* so the selection border isn't above figure border */
+  z-index: 1;
 }
 .m-imagegrid > div {
   background-color: #2f363f; /* to avoid section HL shining through */
@@ -1601,6 +1601,7 @@ pre.m-code.m-inverted > span.hll {
 }
 div.m-math {
   overflow-x: auto;
+  overflow-y: hidden;
   text-align: center;
 }
 div.m-math svg, svg.m-math { fill: #dcdcdc; }
@@ -1628,88 +1629,88 @@ figure.m-figure:last-child, .m-imagegrid:last-child, div.m-math:last-child {
 }
 
 .m-code .hll { background-color: #34424d }
-.m-code .c { color: #a5c9ea } /* Comment */
-.m-code .k { color: #ffffff; font-weight: bold } /* Keyword */
-.m-code .n { color: #dcdcdc } /* Name */
-.m-code .o { color: #aaaaaa } /* Operator */
-.m-code .p { color: #aaaaaa } /* Punctuation */
-.m-code .ch { color: #a5c9ea } /* Comment.Hashbang */
-.m-code .cm { color: #a5c9ea } /* Comment.Multiline */
-.m-code .cp { color: #3bd267 } /* Comment.Preproc */
-.m-code .cpf { color: #c7cf2f } /* Comment.PreprocFile */
-.m-code .c1 { color: #a5c9ea } /* Comment.Single */
-.m-code .cs { color: #a5c9ea } /* Comment.Special */
-.m-code .ge { color: #e6e6e6; font-style: italic } /* Generic.Emph */
-.m-code .gh { color: #ffffff; font-weight: bold } /* Generic.Heading */
-.m-code .gs { color: #e6e6e6; font-weight: bold } /* Generic.Strong */
-.m-code .kc { color: #ffffff; font-weight: bold } /* Keyword.Constant */
-.m-code .kd { color: #ffffff; font-weight: bold } /* Keyword.Declaration */
-.m-code .kn { color: #ffffff; font-weight: bold } /* Keyword.Namespace */
-.m-code .kp { color: #ffffff; font-weight: bold } /* Keyword.Pseudo */
-.m-code .kr { color: #ffffff; font-weight: bold } /* Keyword.Reserved */
-.m-code .kt { color: #ffffff; font-weight: bold } /* Keyword.Type */
-.m-code .m { color: #c7cf2f } /* Literal.Number */
-.m-code .s { color: #e07f7c } /* Literal.String */
-.m-code .na { color: #dcdcdc; font-weight: bold } /* Name.Attribute */
-.m-code .nb { color: #ffffff; font-weight: bold } /* Name.Builtin */
-.m-code .nc { color: #dcdcdc; font-weight: bold } /* Name.Class */
-.m-code .no { color: #dcdcdc } /* Name.Constant */
-.m-code .nd { color: #dcdcdc } /* Name.Decorator */
-.m-code .ni { color: #dcdcdc } /* Name.Entity */
-.m-code .ne { color: #dcdcdc } /* Name.Exception */
-.m-code .nf { color: #dcdcdc } /* Name.Function */
-.m-code .nl { color: #dcdcdc } /* Name.Label */
-.m-code .nn { color: #dcdcdc } /* Name.Namespace */
-.m-code .nx { color: #dcdcdc } /* Name.Other */
-.m-code .py { color: #dcdcdc } /* Name.Property */
-.m-code .nt { color: #dcdcdc; font-weight: bold } /* Name.Tag */
-.m-code .nv { color: #c7cf2f } /* Name.Variable */
-.m-code .ow { color: #dcdcdc; font-weight: bold } /* Operator.Word */
-.m-code .mb { color: #c7cf2f } /* Literal.Number.Bin */
-.m-code .mf { color: #c7cf2f } /* Literal.Number.Float */
-.m-code .mh { color: #c7cf2f } /* Literal.Number.Hex */
-.m-code .mi { color: #c7cf2f } /* Literal.Number.Integer */
-.m-code .mo { color: #c7cf2f } /* Literal.Number.Oct */
-.m-code .sa { color: #e07f7c } /* Literal.String.Affix */
-.m-code .sb { color: #e07f7c } /* Literal.String.Backtick */
-.m-code .sc { color: #e07cdc } /* Literal.String.Char */
-.m-code .dl { color: #e07f7c } /* Literal.String.Delimiter */
-.m-code .sd { color: #e07f7c } /* Literal.String.Doc */
-.m-code .s2 { color: #e07f7c } /* Literal.String.Double */
-.m-code .se { color: #e07f7c } /* Literal.String.Escape */
-.m-code .sh { color: #e07f7c } /* Literal.String.Heredoc */
-.m-code .si { color: #e07f7c } /* Literal.String.Interpol */
-.m-code .sx { color: #e07f7c } /* Literal.String.Other */
-.m-code .sr { color: #e07f7c } /* Literal.String.Regex */
-.m-code .s1 { color: #e07f7c } /* Literal.String.Single */
-.m-code .ss { color: #e07f7c } /* Literal.String.Symbol */
-.m-code .bp { color: #ffffff; font-weight: bold } /* Name.Builtin.Pseudo */
-.m-code .fm { color: #dcdcdc } /* Name.Function.Magic */
-.m-code .vc { color: #c7cf2f } /* Name.Variable.Class */
-.m-code .vg { color: #c7cf2f } /* Name.Variable.Global */
-.m-code .vi { color: #c7cf2f } /* Name.Variable.Instance */
-.m-code .vm { color: #c7cf2f } /* Name.Variable.Magic */
-.m-code .il { color: #c7cf2f } /* Literal.Number.Integer.Long */
+.m-code .c { color: #a5c9ea }
+.m-code .k { color: #ffffff; font-weight: bold }
+.m-code .n { color: #dcdcdc }
+.m-code .o { color: #aaaaaa }
+.m-code .p { color: #aaaaaa }
+.m-code .ch { color: #a5c9ea }
+.m-code .cm { color: #a5c9ea }
+.m-code .cp { color: #3bd267 }
+.m-code .cpf { color: #c7cf2f }
+.m-code .c1 { color: #a5c9ea }
+.m-code .cs { color: #a5c9ea }
+.m-code .ge { color: #e6e6e6; font-style: italic }
+.m-code .gh { color: #ffffff; font-weight: bold }
+.m-code .gs { color: #e6e6e6; font-weight: bold }
+.m-code .kc { color: #ffffff; font-weight: bold }
+.m-code .kd { color: #ffffff; font-weight: bold }
+.m-code .kn { color: #ffffff; font-weight: bold }
+.m-code .kp { color: #ffffff; font-weight: bold }
+.m-code .kr { color: #ffffff; font-weight: bold }
+.m-code .kt { color: #ffffff; font-weight: bold }
+.m-code .m { color: #c7cf2f }
+.m-code .s { color: #e07f7c }
+.m-code .na { color: #dcdcdc; font-weight: bold }
+.m-code .nb { color: #ffffff; font-weight: bold }
+.m-code .nc { color: #dcdcdc; font-weight: bold }
+.m-code .no { color: #dcdcdc }
+.m-code .nd { color: #dcdcdc }
+.m-code .ni { color: #dcdcdc }
+.m-code .ne { color: #dcdcdc }
+.m-code .nf { color: #dcdcdc }
+.m-code .nl { color: #dcdcdc }
+.m-code .nn { color: #dcdcdc }
+.m-code .nx { color: #dcdcdc }
+.m-code .py { color: #dcdcdc }
+.m-code .nt { color: #dcdcdc; font-weight: bold }
+.m-code .nv { color: #c7cf2f }
+.m-code .ow { color: #dcdcdc; font-weight: bold }
+.m-code .mb { color: #c7cf2f }
+.m-code .mf { color: #c7cf2f }
+.m-code .mh { color: #c7cf2f }
+.m-code .mi { color: #c7cf2f }
+.m-code .mo { color: #c7cf2f }
+.m-code .sa { color: #e07f7c }
+.m-code .sb { color: #e07f7c }
+.m-code .sc { color: #e07cdc }
+.m-code .dl { color: #e07f7c }
+.m-code .sd { color: #e07f7c }
+.m-code .s2 { color: #e07f7c }
+.m-code .se { color: #e07f7c }
+.m-code .sh { color: #e07f7c }
+.m-code .si { color: #e07f7c }
+.m-code .sx { color: #e07f7c }
+.m-code .sr { color: #e07f7c }
+.m-code .s1 { color: #e07f7c }
+.m-code .ss { color: #e07f7c }
+.m-code .bp { color: #ffffff; font-weight: bold }
+.m-code .fm { color: #dcdcdc }
+.m-code .vc { color: #c7cf2f }
+.m-code .vg { color: #c7cf2f }
+.m-code .vi { color: #c7cf2f }
+.m-code .vm { color: #c7cf2f }
+.m-code .il { color: #c7cf2f }
 
 .m-console .hll { background-color: #ffffcc }
-.m-console .g-AnsiBlack { color: #000000 } /* Generic.AnsiBlack */
-.m-console .g-AnsiBlue { color: #3f3fd1 } /* Generic.AnsiBlue */
-.m-console .g-AnsiBrightBlack { color: #686868; font-weight: bold } /* Generic.AnsiBrightBlack */
-.m-console .g-AnsiBrightBlue { color: #5454ff; font-weight: bold } /* Generic.AnsiBrightBlue */
-.m-console .g-AnsiBrightCyan { color: #54ffff; font-weight: bold } /* Generic.AnsiBrightCyan */
-.m-console .g-AnsiBrightDefault { color: #ffffff; font-weight: bold } /* Generic.AnsiBrightDefault */
-.m-console .g-AnsiBrightGreen { color: #54ff54; font-weight: bold } /* Generic.AnsiBrightGreen */
-.m-console .g-AnsiBrightMagenta { color: #ff54ff; font-weight: bold } /* Generic.AnsiBrightMagenta */
-.m-console .g-AnsiBrightRed { color: #ff5454; font-weight: bold } /* Generic.AnsiBrightRed */
-.m-console .g-AnsiBrightWhite { color: #ffffff; font-weight: bold } /* Generic.AnsiBrightWhite */
-.m-console .g-AnsiBrightYellow { color: #ffff54; font-weight: bold } /* Generic.AnsiBrightYellow */
-.m-console .g-AnsiCyan { color: #18b2b2 } /* Generic.AnsiCyan */
-.m-console .g-AnsiDefault { color: #b2b2b2 } /* Generic.AnsiDefault */
-.m-console .g-AnsiGreen { color: #18b218 } /* Generic.AnsiGreen */
-.m-console .g-AnsiMagenta { color: #b218b2 } /* Generic.AnsiMagenta */
-.m-console .g-AnsiRed { color: #b21818 } /* Generic.AnsiRed */
-.m-console .g-AnsiWhite { color: #b2b2b2 } /* Generic.AnsiWhite */
-.m-console .g-AnsiYellow { color: #b26818 } /* Generic.AnsiYellow */
-.m-console .go { color: #b2b2b2 } /* Generic.Output */
-.m-console .gp { color: #54ffff; font-weight: bold } /* Generic.Prompt */
-.m-console .w { color: #b2b2b2 } /* Text.Whitespace */
+.m-console .g-AnsiBlack { color: #000000 }
+.m-console .g-AnsiBlue { color: #3f3fd1 }
+.m-console .g-AnsiBrightBlack { color: #686868; font-weight: bold }
+.m-console .g-AnsiBrightBlue { color: #5454ff; font-weight: bold }
+.m-console .g-AnsiBrightCyan { color: #54ffff; font-weight: bold }
+.m-console .g-AnsiBrightDefault { color: #ffffff; font-weight: bold }
+.m-console .g-AnsiBrightGreen { color: #54ff54; font-weight: bold }
+.m-console .g-AnsiBrightMagenta { color: #ff54ff; font-weight: bold }
+.m-console .g-AnsiBrightRed { color: #ff5454; font-weight: bold }
+.m-console .g-AnsiBrightWhite { color: #ffffff; font-weight: bold }
+.m-console .g-AnsiBrightYellow { color: #ffff54; font-weight: bold }
+.m-console .g-AnsiCyan { color: #18b2b2 }
+.m-console .g-AnsiDefault { color: #b2b2b2 }
+.m-console .g-AnsiGreen { color: #18b218 }
+.m-console .g-AnsiMagenta { color: #b218b2 }
+.m-console .g-AnsiRed { color: #b21818 }
+.m-console .g-AnsiWhite { color: #b2b2b2 }
+.m-console .g-AnsiYellow { color: #b26818 }
+.m-console .go { color: #b2b2b2 }
+.m-console .gp { color: #54ffff; font-weight: bold }
+.m-console .w { color: #b2b2b2 }
index 781c71aab3d7b33a57f9af98dc240b21ce5a41cf..ea8e726cfca9ae2d124c2a608d0c1edb4725b35d 100644 (file)
@@ -36,7 +36,7 @@ body { margin: 0; }
   margin-left: -1rem;
   margin-right: -1rem;
 }
-.m-row:after { /* avoid rows floating around each other */
+.m-row:after {
   content: ' ';
   clear: both;
   display: table;
@@ -447,7 +447,7 @@ pre {
   background-color: #fbf0ec;
   border-radius: 0.2rem;
   overflow-x: auto;
-  margin-top: 0; /* stupid defaults */
+  margin-top: 0;
 }
 pre.m-console {
   background-color: #000000;
@@ -456,7 +456,7 @@ abbr {
   cursor: help;
   text-decoration: underline dotted;
 }
-sub, sup { /* https://gist.github.com/unruthless/413930 */
+sub, sup {
   font-size: 0.75rem;
   line-height: 0;
   position: relative;
@@ -470,7 +470,7 @@ a {
 a:hover, a:focus, a:active {
   color: #cb4b16;
 }
-a img { border: 0; } /* Why you so special, IE?! */
+a img { border: 0; }
 mark {
   padding: 0.0625rem;
   background-color: #e6e69c;
@@ -1304,7 +1304,7 @@ figure.m-figure:before {
   bottom: 0;
   left: 0;
   right: 0;
-  z-index: -1; /* so it doesn't make the contents inactive */
+  z-index: -1;
   border-style: solid;
   border-width: 0.125rem;
   border-radius: 0.2rem;
@@ -1326,7 +1326,7 @@ figure.m-figure > *:last-child {
   margin-bottom: 1rem;
 }
 figure.m-figure img {
-  position: relative; /* so it's above the border */
+  position: relative;
   margin-left: 0;
   margin-right: 0;
   margin-bottom: 0;
@@ -1338,7 +1338,7 @@ figure.m-figure figcaption {
   margin-top: 0.5rem;
   margin-bottom: 0.5rem;
   font-weight: normal;
-  font-size: 1.17rem; /* taken from webkit defaults for h3 */
+  font-size: 1.17rem;
 }
 figure.m-figure a img {
   margin-left: -1rem;
@@ -1373,7 +1373,7 @@ figure.m-code-figure:before, figure.m-console-figure:before {
   bottom: 0;
   left: 0;
   right: 0;
-  z-index: -1; /* so it doesn't make the contents inactive */
+  z-index: -1;
   border-style: solid;
   border-width: 0.125rem;
   border-radius: 0.2rem;
@@ -1388,13 +1388,13 @@ figure.m-code-figure.m-flat:before, figure.m-console-figure.m-flat:before {
   border-color: transparent;
 }
 figure.m-code-figure > pre:first-child, figure.m-console-figure > pre:first-child {
-  position: relative; /* so it's above the border */
+  position: relative;
   margin: -1rem -1rem 1rem -1rem;
   border-bottom-left-radius: 0;
   border-bottom-right-radius: 0;
 }
 article section:target figure.m-code-figure, article section:target figure.m-console-figure {
-  z-index: 1; /* so the selection border isn't above figure border */
+  z-index: 1;
 }
 .m-imagegrid > div {
   background-color: #ffffff; /* to avoid section HL shining through */
@@ -1601,6 +1601,7 @@ pre.m-code.m-inverted > span.hll {
 }
 div.m-math {
   overflow-x: auto;
+  overflow-y: hidden;
   text-align: center;
 }
 div.m-math svg, svg.m-math { fill: #000000; }
@@ -1628,24 +1629,24 @@ figure.m-figure:last-child, .m-imagegrid:last-child, div.m-math:last-child {
 }
 
 .m-console .hll { background-color: #ffffcc }
-.m-console .g-AnsiBlack { color: #000000 } /* Generic.AnsiBlack */
-.m-console .g-AnsiBlue { color: #3f3fd1 } /* Generic.AnsiBlue */
-.m-console .g-AnsiBrightBlack { color: #686868; font-weight: bold } /* Generic.AnsiBrightBlack */
-.m-console .g-AnsiBrightBlue { color: #5454ff; font-weight: bold } /* Generic.AnsiBrightBlue */
-.m-console .g-AnsiBrightCyan { color: #54ffff; font-weight: bold } /* Generic.AnsiBrightCyan */
-.m-console .g-AnsiBrightDefault { color: #ffffff; font-weight: bold } /* Generic.AnsiBrightDefault */
-.m-console .g-AnsiBrightGreen { color: #54ff54; font-weight: bold } /* Generic.AnsiBrightGreen */
-.m-console .g-AnsiBrightMagenta { color: #ff54ff; font-weight: bold } /* Generic.AnsiBrightMagenta */
-.m-console .g-AnsiBrightRed { color: #ff5454; font-weight: bold } /* Generic.AnsiBrightRed */
-.m-console .g-AnsiBrightWhite { color: #ffffff; font-weight: bold } /* Generic.AnsiBrightWhite */
-.m-console .g-AnsiBrightYellow { color: #ffff54; font-weight: bold } /* Generic.AnsiBrightYellow */
-.m-console .g-AnsiCyan { color: #18b2b2 } /* Generic.AnsiCyan */
-.m-console .g-AnsiDefault { color: #b2b2b2 } /* Generic.AnsiDefault */
-.m-console .g-AnsiGreen { color: #18b218 } /* Generic.AnsiGreen */
-.m-console .g-AnsiMagenta { color: #b218b2 } /* Generic.AnsiMagenta */
-.m-console .g-AnsiRed { color: #b21818 } /* Generic.AnsiRed */
-.m-console .g-AnsiWhite { color: #b2b2b2 } /* Generic.AnsiWhite */
-.m-console .g-AnsiYellow { color: #b26818 } /* Generic.AnsiYellow */
-.m-console .go { color: #b2b2b2 } /* Generic.Output */
-.m-console .gp { color: #54ffff; font-weight: bold } /* Generic.Prompt */
-.m-console .w { color: #b2b2b2 } /* Text.Whitespace */
+.m-console .g-AnsiBlack { color: #000000 }
+.m-console .g-AnsiBlue { color: #3f3fd1 }
+.m-console .g-AnsiBrightBlack { color: #686868; font-weight: bold }
+.m-console .g-AnsiBrightBlue { color: #5454ff; font-weight: bold }
+.m-console .g-AnsiBrightCyan { color: #54ffff; font-weight: bold }
+.m-console .g-AnsiBrightDefault { color: #ffffff; font-weight: bold }
+.m-console .g-AnsiBrightGreen { color: #54ff54; font-weight: bold }
+.m-console .g-AnsiBrightMagenta { color: #ff54ff; font-weight: bold }
+.m-console .g-AnsiBrightRed { color: #ff5454; font-weight: bold }
+.m-console .g-AnsiBrightWhite { color: #ffffff; font-weight: bold }
+.m-console .g-AnsiBrightYellow { color: #ffff54; font-weight: bold }
+.m-console .g-AnsiCyan { color: #18b2b2 }
+.m-console .g-AnsiDefault { color: #b2b2b2 }
+.m-console .g-AnsiGreen { color: #18b218 }
+.m-console .g-AnsiMagenta { color: #b218b2 }
+.m-console .g-AnsiRed { color: #b21818 }
+.m-console .g-AnsiWhite { color: #b2b2b2 }
+.m-console .g-AnsiYellow { color: #b26818 }
+.m-console .go { color: #b2b2b2 }
+.m-console .gp { color: #54ffff; font-weight: bold }
+.m-console .w { color: #b2b2b2 }