Skip to content

Commit eedf536

Browse files
committed
[CI] Refresh Low* tutorial
1 parent 49a81e2 commit eedf536

File tree

1 file changed

+0
-1
lines changed

1 file changed

+0
-1
lines changed

lowstar/html/static/pygments.css

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -17,7 +17,6 @@ span.linenos.special { color: #000000; background-color: #ffffc0; padding-left:
1717
.highlight .cs { color: #408090; background-color: #fff0f0 } /* Comment.Special */
1818
.highlight .gd { color: #A00000 } /* Generic.Deleted */
1919
.highlight .ge { font-style: italic } /* Generic.Emph */
20-
.highlight .ges { font-weight: bold; font-style: italic } /* Generic.EmphStrong */
2120
.highlight .gr { color: #FF0000 } /* Generic.Error */
2221
.highlight .gh { color: #000080; font-weight: bold } /* Generic.Heading */
2322
.highlight .gi { color: #00A000 } /* Generic.Inserted */

0 commit comments

Comments
 (0)