diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/src/template/style/offline.css | 4 | ||||
| -rwxr-xr-x | doc/src/template/style/style.css | 4 |
2 files changed, 8 insertions, 0 deletions
diff --git a/doc/src/template/style/offline.css b/doc/src/template/style/offline.css index 4a10d0a..2aafe56 100644 --- a/doc/src/template/style/offline.css +++ b/doc/src/template/style/offline.css @@ -185,6 +185,10 @@ { color: black } + span.type + { + font-weight: bold + } /* end basic elements */ /* font style elements */ diff --git a/doc/src/template/style/style.css b/doc/src/template/style/style.css index 451d6bf..fbad0fd 100755 --- a/doc/src/template/style/style.css +++ b/doc/src/template/style/style.css @@ -210,6 +210,10 @@ { color: black } + span.type + { + font-weight: bold + } /* end basic elements */ /* font style elements */ |