Update default.html

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

View file

@ -43,7 +43,7 @@
/* Add other styling properties as needed */
}
.highlight .hll { color: #000000 background-color: #d5e3f3 }
.highlight { color: #000000 background: #d5e3f3; }
.highlight { 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 */
@ -114,6 +114,7 @@
.highlight .n { color: #000000 }
.highlight .p { color: #000000 }
.highlight .code { color: #000000 }
table {
border-collapse: collapse;