diff options
Diffstat (limited to 'Doc/html')
| -rw-r--r-- | Doc/html/style.css | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/Doc/html/style.css b/Doc/html/style.css index 33bed3b..c9625db 100644 --- a/Doc/html/style.css +++ b/Doc/html/style.css @@ -47,6 +47,17 @@ var { font: italic normal serif } .file { font-family: avantgarge, sans-serif } /* + * Some decoration for the "See also:" blocks, in part inspired by some of + * the styling on Lars Marius Garshol's XSA pages. + * (The blue in the navigation bars is #99CCFF.) + */ +.seealso { background-color: floralwhite; + border: thin solid black; + padding: 4pt } + +.seealso .heading { font-size: 110% } + +/* * Class 'availability' is used for module availability statements at * the top of modules. Otherwise, rely on context for platform specifiers * (generated by \platform and \platformof). |