diff options
Diffstat (limited to 'docs/manual/style.css')
| -rw-r--r-- | docs/manual/style.css | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/docs/manual/style.css b/docs/manual/style.css index 8dae87d..6a59990 100644 --- a/docs/manual/style.css +++ b/docs/manual/style.css @@ -69,6 +69,16 @@ a.button float: right; } +a.largebutton { + font-weight: bold; + color: #000000; + margin: 0px; + padding: 10px; + background: #D0D0D0; + text-decoration: none; + border: 1px outset #FFFFFF; +} + /* Settings for variable width code. */ p.code |