diff options
Diffstat (limited to 'dottydoc/jvm/resources/index.css')
-rw-r--r-- | dottydoc/jvm/resources/index.css | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/dottydoc/jvm/resources/index.css b/dottydoc/jvm/resources/index.css index 6d3a06bdd..e68cf5ac5 100644 --- a/dottydoc/jvm/resources/index.css +++ b/dottydoc/jvm/resources/index.css @@ -146,6 +146,11 @@ div.summary-comment { margin-left: 0; } +span.member-return-value > span.type-separator { + margin: 0 10px; +} + + /* Search results ----------------------------------------------------------- */ main#search-results { display: none; |