diff options
Diffstat (limited to 'html/shaddock.css')
| -rw-r--r-- | html/shaddock.css | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/html/shaddock.css b/html/shaddock.css index 7928c832..82c8bfef 100644 --- a/html/shaddock.css +++ b/html/shaddock.css @@ -115,6 +115,10 @@ tt, pre, code { white-space: nowrap; } +.def { + font-weight: bold; +} + ul { padding: 0; } |