Update default.html

Signed-off-by: David Rotermund <54365609+davrot@users.noreply.github.com>
This commit is contained in:
David Rotermund 2023-12-02 20:38:53 +01:00 committed by GitHub
parent d644be5e33
commit 74374e5f74
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -52,7 +52,7 @@
margin-bottom: 10px;
}
.highlight .hll { color: #000000; background-color: #d5e3f3 }
.highlight { color: #000000; border: 0px; background: #d5e3f3; }
.highlight {margin-bottom: 0px; color: #000000; border: 0px; background: #d5e3f3; }
.highlight .c { color: #408080; font-style: italic } /* Comment */
.highlight .err { border: 1px solid #FF0000 } /* Error */
.highlight .k { color: #008000; font-weight: bold } /* Keyword */