diff options
Diffstat (limited to 'html')
-rw-r--r-- | html/shaddock.css | 4 | ||||
-rw-r--r-- | html/xhaddock.css | 4 |
2 files changed, 8 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; } diff --git a/html/xhaddock.css b/html/xhaddock.css index 695acc43..ee493d51 100644 --- a/html/xhaddock.css +++ b/html/xhaddock.css @@ -76,6 +76,10 @@ pre { margin-top: 0; } +.def { + font-weight: bold; +} + ul.links { list-style: none; text-align: left; |