diff options
author | Antonio Cunei <antonio.cunei@epfl.ch> | 2011-03-24 20:46:01 +0000 |
---|---|---|
committer | Antonio Cunei <antonio.cunei@epfl.ch> | 2011-03-24 20:46:01 +0000 |
commit | bc08f3bfa1f136c1014e5c4d870832d5c5bc9b85 (patch) | |
tree | f2cb0614abddc87a7005f5cad046c5c8b37345b8 | |
parent | 7ff138be9c6a3696ac9243a5758499444daa32be (diff) | |
download | scala-bc08f3bfa1f136c1014e5c4d870832d5c5bc9b85.tar.gz scala-bc08f3bfa1f136c1014e5c4d870832d5c5bc9b85.tar.bz2 scala-bc08f3bfa1f136c1014e5c4d870832d5c5bc9b85.zip |
Merged revisions 24576 via svnmerge from
https://lampsvn.epfl.ch/svn-repos/scala/scala/trunk
........
r24576 | malayeri | 2011-03-24 21:36:33 +0100 (Thu, 24 Mar 2011) | 1 line
[scaladoc] Changes to template.css based on suggestions by Bill
Venners. No review. ........
-rw-r--r-- | src/compiler/scala/tools/nsc/doc/html/resource/lib/template.css | 16 |
1 files changed, 11 insertions, 5 deletions
diff --git a/src/compiler/scala/tools/nsc/doc/html/resource/lib/template.css b/src/compiler/scala/tools/nsc/doc/html/resource/lib/template.css index 793953c20f..13ccadefe5 100644 --- a/src/compiler/scala/tools/nsc/doc/html/resource/lib/template.css +++ b/src/compiler/scala/tools/nsc/doc/html/resource/lib/template.css @@ -17,7 +17,7 @@ table, caption, tbody, tfoot, thead, tr, th, td { } body { - line-height: 1; + line-height: 1.2; } table { border-collapse: separate; border-spacing: 0; } @@ -169,7 +169,7 @@ div.members > ol > li { } .signature { - padding: 3px; + padding: 2px; font-family: monospace; font-size: 10pt; clear: both; @@ -231,8 +231,8 @@ div.members > ol > li { .cmt {} .cmt p { - margin-bottom: 0.4em; - margin-top: 0.4em; + margin-bottom: 0.9em; + margin-top: 0.9em; } .cmt h3 { @@ -359,13 +359,15 @@ div.fullcomment { #template .shortcomment { margin: 0 0 0 8.7em; - padding: 0; + padding: 2px; } div.fullcomment .block { padding: 2px 0 2px 0; border-top: 1px solid gray; border-bottom: 1px solid gray; + margin-top: 2px; + margin-bottom: 2px; } div.fullcomment div.block ol li p, @@ -413,6 +415,10 @@ div.fullcomment dl.paramcmts > dd + dt + dd { border-top: none; } +div.fullcomment dl.paramcmts dd.cmt p { + margin-top: 2px; + margin-bottom: 2px; +} /* Members filter tool */ #textfilter { |