Update default.html

Signed-off-by: David Rotermund <54365609+davrot@users.noreply.github.com>
This commit is contained in:
David Rotermund 2023-12-06 19:21:03 +01:00 committed by GitHub
parent b159dfcbbf
commit 1f1ba41a72
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -178,6 +178,13 @@
.toc-class li {
font-size: .55rem;
}
.topic-optional {
background-color: #f9f9f9;
border: 1px solid #ccc;
padding: 10px;
margin-bottom: 10px;
}
</style>