diff options
Diffstat (limited to 'build/javadoc/stylesheet-local.css')
| -rw-r--r-- | build/javadoc/stylesheet-local.css | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/build/javadoc/stylesheet-local.css b/build/javadoc/stylesheet-local.css deleted file mode 100644 index ae1fb5c4c9..0000000000 --- a/build/javadoc/stylesheet-local.css +++ /dev/null @@ -1,14 +0,0 @@ - -/***********************************************************************/ -/* 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; -} |