diff options
Diffstat (limited to 'Doc/html/style.css')
| -rw-r--r-- | Doc/html/style.css | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/Doc/html/style.css b/Doc/html/style.css index afb1855..33bed3b 100644 --- a/Doc/html/style.css +++ b/Doc/html/style.css @@ -44,3 +44,11 @@ var { font: italic normal serif } .mimetype { font-family: avantgarde, sans-serif } .newsgroup { font-family: avantgarde, sans-serif } .url { font-family: avantgarde, sans-serif } +.file { font-family: avantgarge, sans-serif } + +/* + * 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). + */ +.availability .platform { font-weight: bold } |