From: Marko Grönroos Date: Mon, 8 Mar 2010 13:28:41 +0000 (+0000) Subject: Added a JavaDoc stylesheet customization that adds a 'code' style class to pre tags. X-Git-Tag: 6.7.0.beta1~1984 X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=2fbc0feb4ec0c818b0c82b8d54dfd58b5be4172a;p=vaadin-framework.git Added a JavaDoc stylesheet customization that adds a 'code' style class to pre tags. svn changeset:11679/svn branch:6.3 --- diff --git a/build/build.xml b/build/build.xml index 3d00e344ad..88eec32fd3 100644 --- a/build/build.xml +++ b/build/build.xml @@ -16,9 +16,7 @@ * vaadin-oophm-.zip --> - + @@ -448,11 +446,17 @@ + + + + + Copying src directory and processing copied files. Replacing <version> tag with build version for java/html/css/xml files. - + + @@ -465,7 +469,6 @@ - @@ -976,7 +979,9 @@ - + + + @@ -986,6 +991,12 @@ + + + Appending local style definitions + + + diff --git a/build/javadoc/stylesheet-local.css b/build/javadoc/stylesheet-local.css new file mode 100644 index 0000000000..ae1fb5c4c9 --- /dev/null +++ b/build/javadoc/stylesheet-local.css @@ -0,0 +1,14 @@ + +/***********************************************************************/ +/* Custom Vaadin API JavaDoc style definitions */ +/* */ +/* This stylesheet is appended to the generated JavaDoc stylesheet.css */ +/***********************************************************************/ + +/* As Eclipse forces a newline before the ending tag, we need + to compensate for the extra line. This requires that the 'code' + style class is inserted into the source files as JavaDoc does + not add any particular style in the generated files. */ +pre.code { + margin-bottom: -1.5em; +}