diff options
author | michelou <michelou@epfl.ch> | 2006-06-14 08:36:16 +0000 |
---|---|---|
committer | michelou <michelou@epfl.ch> | 2006-06-14 08:36:16 +0000 |
commit | c024e217646af5cf3271316898eab7664c67e07f (patch) | |
tree | 86dafcac8bb38d722900685fc0e75010e542224c | |
parent | 24bbfba3383f19f1b2e238574bd289d93b9affcd (diff) | |
download | scala-c024e217646af5cf3271316898eab7664c67e07f.tar.gz scala-c024e217646af5cf3271316898eab7664c67e07f.tar.bz2 scala-c024e217646af5cf3271316898eab7664c67e07f.zip |
modified css-style in file EmitHtml.scala
-rw-r--r-- | src/manual/scala/tools/docutil/EmitHtml.scala | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/manual/scala/tools/docutil/EmitHtml.scala b/src/manual/scala/tools/docutil/EmitHtml.scala index faac8e90dc..cb15e30135 100644 --- a/src/manual/scala/tools/docutil/EmitHtml.scala +++ b/src/manual/scala/tools/docutil/EmitHtml.scala @@ -172,7 +172,8 @@ object EmitHtml { out.println("<style type=\"text/css\">") out.println(" <!--") out.println(" blockquote, pre { margin:1em 4em 1em 4em; }") - out.println(" p { margin:0 2em 0 2em; text-align:justify; }") + out.println(" dt { margin: 0.6em 0 0 0; }") + out.println(" p { margin:0.6em 2em 0.6em 2em; text-align:justify; }") out.println(" //-->") out.println("</style>") out.println("</head>\n") |