diff options
Diffstat (limited to 'api-docs')
| -rw-r--r-- | api-docs/source/_static/css/other.css | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/api-docs/source/_static/css/other.css b/api-docs/source/_static/css/other.css index 935fd711..cb820486 100644 --- a/api-docs/source/_static/css/other.css +++ b/api-docs/source/_static/css/other.css @@ -10,3 +10,7 @@ .cpplink a, .cpplink a:visited { text-decoration: underline; } + +.colon { + display: none !important; +} |