diff options
Diffstat (limited to 'dottydoc/jvm/resources/index.css')
-rw-r--r-- | dottydoc/jvm/resources/index.css | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/dottydoc/jvm/resources/index.css b/dottydoc/jvm/resources/index.css index 47e0ea717..79eeaaee0 100644 --- a/dottydoc/jvm/resources/index.css +++ b/dottydoc/jvm/resources/index.css @@ -128,7 +128,8 @@ div.member-definition > span+span { margin-left: 10px; } -div.member-definition > span.member-name { +div.member-definition > span.member-name, +div.member-definition > span.member-param-list span.is-implicit { color: #458; font-weight: 600; } |