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:00:42 +01:00 committed by GitHub
parent e52ee1f7ce
commit ffca8c45b0
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -112,6 +112,8 @@
.highlight .vm { color: #19177C } /* Name.Variable.Magic */
.highlight .il { color: #666666 } /* Literal.Number.Integer.Long */
.highlight .n { color: #000000 } /* Name */
table {
border-collapse: collapse;
width: 100%;