Also tweak smallexample

This commit is contained in:
Joerg Wunsch
2022-03-17 07:21:33 +01:00
parent ded30f86bc
commit 27d201acb1
43 changed files with 257 additions and 85 deletions

View File

@@ -4,6 +4,10 @@ table {
border: 3px solid #ccf;
background-color: white;
}
div.smallexample {
background-color: #dfd;
border: 3px solid #cfc;
}
div.example {
background-color: #dfd;
border: 3px solid #cfc;