diff options
| author | Marko Grönroos <magi@iki.fi> | 2010-03-08 13:28:41 +0000 |
|---|---|---|
| committer | Marko Grönroos <magi@iki.fi> | 2010-03-08 13:28:41 +0000 |
| commit | 2fbc0feb4ec0c818b0c82b8d54dfd58b5be4172a (patch) | |
| tree | 481d394b26b29c02a16aa1ba16895dfbaf412394 /build/javadoc | |
| parent | 0eb6c3ebc76f3cfb17e99c521b574e5f4ebe58da (diff) | |
| download | vaadin-framework-2fbc0feb4ec0c818b0c82b8d54dfd58b5be4172a.tar.gz vaadin-framework-2fbc0feb4ec0c818b0c82b8d54dfd58b5be4172a.zip | |
Added a JavaDoc stylesheet customization that adds a 'code' style class to pre tags.
svn changeset:11679/svn branch:6.3
Diffstat (limited to 'build/javadoc')
| -rw-r--r-- | build/javadoc/stylesheet-local.css | 14 |
1 files changed, 14 insertions, 0 deletions
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 </pre> 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; +} |