diff options
Diffstat (limited to 'doc/src/template/style/offline.css')
| -rw-r--r-- | doc/src/template/style/offline.css | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/doc/src/template/style/offline.css b/doc/src/template/style/offline.css index 4a10d0a..f5eb1c0 100644 --- a/doc/src/template/style/offline.css +++ b/doc/src/template/style/offline.css @@ -111,7 +111,6 @@ background-color: #F6F6F6; border: 1px solid #E6E6E6; border-collapse: separate; - font-size: 110%; margin-bottom: 2.5em; } pre { @@ -185,6 +184,10 @@ { color: black } + span.type + { + font-weight: bold + } /* end basic elements */ /* font style elements */ |