diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2016-06-13 11:58:50 +0200 |
---|---|---|
committer | Felix Mulder <felix.mulder@gmail.com> | 2016-08-19 15:37:26 +0200 |
commit | ffcf17ab0a8d842a2556ae131fbc707306808d63 (patch) | |
tree | 41f84fbafec89f1fee38b410dd4fb89680937102 /dottydoc/jvm/resources | |
parent | 34590e7b62b58ef0ccbda58dcb4dea69ff492d25 (diff) | |
download | dotty-ffcf17ab0a8d842a2556ae131fbc707306808d63.tar.gz dotty-ffcf17ab0a8d842a2556ae131fbc707306808d63.tar.bz2 dotty-ffcf17ab0a8d842a2556ae131fbc707306808d63.zip |
Change function definition to be span based for better granularity
Diffstat (limited to 'dottydoc/jvm/resources')
-rw-r--r-- | dottydoc/jvm/resources/index.css | 15 |
1 files changed, 14 insertions, 1 deletions
diff --git a/dottydoc/jvm/resources/index.css b/dottydoc/jvm/resources/index.css index 4217eb286..c9622173e 100644 --- a/dottydoc/jvm/resources/index.css +++ b/dottydoc/jvm/resources/index.css @@ -1,5 +1,5 @@ /* Fonts -------------------------------------------------------------------- */ -@import url(https://fonts.googleapis.com/css?family=Source+Code+Pro); +@import url(https://fonts.googleapis.com/css?family=Source+Code+Pro:400,700,600); /* Sidebar ------------------------------------------------------------------ */ span.subtitle { @@ -111,6 +111,19 @@ div.member-definition { line-height: 24px; } +div.member-definition > span+span { + margin-left: 10px; +} + +div.member-definition > span.no-left-margin { + margin-left: 0; +} + +div.member-definition > span.member-name { + color: #458; + font-weight: 600; +} + div.member { min-height: 70px; } |