Better-looking CSS for Vaadin API Javadocs (#13219)

Change-Id: I52fd843b839830cefe330c9c9cf94b59db0928af

diff --git a/all/build.xml b/all/build.xml
index 1b48721ecdc7c2872e1bac39cc08ebfd0e2eb80a..36a9499dead96bfa9a011e65f6ece87d5d5e473a 100644 (file)
--- a/all/build.xml
+++ b/all/build.xml
@@ -43,7 +43,8 @@
 
         <property name="javadoc.dir" location="${result.dir}/javadoc" />
         <property name="title" value="Vaadin ${vaadin.version} API" />
-        <javadoc maxmemory="1024m" destdir="${javadoc.dir}" author="true" version="true" use="true" windowtitle="${title}" encoding="utf-8">
+        <javadoc maxmemory="1024m" destdir="${javadoc.dir}" author="true" version="true" use="true" windowtitle="${title}" encoding="utf-8"
+        stylesheetfile="javadoc.css">
             <packageset dir="${javadoc.temp.dir}">
                 <!-- TODO Javadoc throws ClassCastException if this is included 
                     (#9660) -->

diff --git a/all/javadoc.css b/all/javadoc.css
new file mode 100644 (file)
index 0000000..ffa7288
--- /dev/null
+++ b/all/javadoc.css
@@ -0,0 +1,236 @@
+@charset "UTF-8";
+
+/* 
+ * stylesheet for Vaadin Javadoc when compiled with Java 6 
+ */
+body {
+    background-color: rgb(244, 244, 240);
+    color: rgb(70, 68, 64);
+    font-size: 16px;
+    font-family: Helvetica, Arial, sans-serif;
+    font-weight: lighter;
+    line-height: 18px;
+    margin: 10px 14px;
+}
+
+body[onload] {
+    background-color: rgb(255, 255, 255);
+    margin: 8px 23px;
+}
+
+a:link,a:visited {
+    color: rgb(0, 180, 240);
+    text-decoration: none;
+}
+
+b {
+    font-weight: bolder;
+}
+
+code,pre {
+    font-family: Courier, monospace;
+}
+
+dt {
+    font-size: 12px;
+    color: rgb(120, 119, 109);
+    text-transform: uppercase;
+}
+
+dd>dl>dt {
+    font-size: 13px;
+    text-transform: none;
+}
+
+h2+dl>dt {
+    text-transform: none;
+}
+
+dt>pre,pre>dt {
+    text-transform: initial;
+}
+
+dd {
+    font-size: 14px;
+    margin-left: 2.5em;
+}
+
+dd:first-child {
+    font-size: 13px;
+}
+
+dd>dl>dd {
+    font-size: 12px;
+}
+
+h1 {
+    font-size: 32px
+}
+
+h2 {
+    font-size: 24px;
+}
+
+h3 {
+    font-size: 16px;
+}
+
+h1,h2,h3 {
+    line-height: 30px;
+}
+
+hr {
+    border: 1px solid rgb(233, 233, 225);
+}
+
+pre,h2+ul {
+    font-size: 12px;
+}
+
+table {
+    border: none;
+    border-collapse: collapse;
+}
+
+td {
+    padding: 0;
+}
+
+th {
+    padding: 0 1ch;
+}
+
+.TableHeadingColor,.TableSubHeadingColor {
+    line-height: 30px;
+}
+
+.TableHeadingColor>th,.TableHeadingColor>th>font>b,.TableSubHeadingColor>th,.TableSubHeadingColor>th>b
+    {
+    font-weight: inherit;
+}
+
+.TableHeadingColor>th>font {
+    font-size: 18px;
+}
+
+.TableSubHeadingColor {
+    font-size: 14px;
+}
+
+.TableHeadingColor,.TableSubHeadingColor {
+    background: rgb(233, 233, 225);
+}
+
+.TableRowColor {
+    background: #FFFFFF;
+}
+
+.TableRowColor:nth-child(odd) {
+    background-color: rgb(244, 244, 240);
+}
+
+.TableRowColor>td {
+    font-size: 12px;
+    border: none;
+    padding: 1ex 1ch
+}
+
+.TableRowColor>td>font {
+    font-size: 11px;
+}
+
+.TableHeadingColor,.TableRowColor,.TableSubHeadingColor>th {
+    border: none;
+    border-color: transparent;
+}
+
+table[border="1"] {
+    border: 2px solid rgb(233, 233, 225);
+}
+
+.FrameTitleFont {
+    font-size: 18px;
+    font-family: Helvetica, Arial, sans-serif;
+    font-weight: bolder;
+    line-height: 30px;
+}
+
+.FrameHeadingFont {
+    font-size: 12px;
+    font-family: Helvetica, Arial, sans-serif;
+    font-weight: bold;
+    color: rgb(120, 119, 109);
+    text-transform: uppercase;
+    display: inline-block;
+    margin-bottom: 4px;
+}
+
+td>.FrameHeadingFont {
+    margin-top: 12px;
+}
+
+.FrameItemFont {
+    font-size: 90%;
+    font-family: Helvetica, Arial, sans-serif;
+}
+
+.NavBarCell1 {
+    background-color: rgb(245, 245, 241);
+    border: 2px solid rgb(245, 245, 241);
+}
+
+.NavBarCell1+td[rowspan="3"] {
+    display: none;
+}
+
+.NavBarCell1,.NavBarCell1Rev {
+    font-size: 0;
+}
+
+.NavBarCell1>*,.NavBarCell1Rev>* {
+    font-size: 14px;
+}
+
+.NavBarCell1 .NavBarCell1,.NavBarCell1 .NavBarCell1Rev {
+    padding: 3px 8px;
+    line-height: 1;
+    vertical-align: baseline;
+}
+
+.NavBarCell1Rev {
+    background-color: rgb(0, 180, 240);
+    border-radius: 3px;
+}
+
+.NavBarFont1 {
+    font-family: Helvetica, Arial, sans-serif;
+    color: rgb(70, 68, 64);
+}
+
+.NavBarFont1Rev {
+    font-family: Helvetica, Arial, sans-serif;
+    color: rgb(255, 255, 255);
+}
+
+.NavBarCell2 {
+    font-family: Helvetica, Arial, sans-serif;
+    background-color: #FFFFFF;
+    padding-top: 6px;
+}
+
+.NavBarCell2:first-child {
+    color: transparent;
+}
+
+.NavBarCell2>font,.NavBarCell3>font {
+    font-size: 11px;
+}
+
+.NavBarCell2>font>a>b {
+    font-weight: normal;
+}
+
+.NavBarCell3 {
+    font-family: Helvetica, Arial, sans-serif;
+    background-color: #FFFFFF;
+}
\ No newline at end of file