diff options
Diffstat (limited to 'docs/reference/html/style.css')
| -rw-r--r-- | docs/reference/html/style.css | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/docs/reference/html/style.css b/docs/reference/html/style.css index 82115eb..d544a2c 100644 --- a/docs/reference/html/style.css +++ b/docs/reference/html/style.css @@ -209,6 +209,14 @@ h2 .extralinks, h3 .extralinks font-weight: normal; } +.annotation +{ + /* tango:aluminium 5 */ + color: #555753; + font-size: 80%; + font-weight: normal; +} + /* code listings */ .listing_code .programlisting .cbracket { color: #a40000; } /* tango: scarlet red 3 */ |