[jbosstools-commits] JBoss Tools SVN: r32060 - in trunk/download.jboss.org/jbosstools/updates: development/web and 6 other directories.

Author: nickboldt Date: 2011-06-13 16:22:26 -0400 (Mon, 13 Jun 2011) New Revision: 32060 Added: trunk/download.jboss.org/jbosstools/updates/development/web/ trunk/download.jboss.org/jbosstools/updates/development/web/site.css trunk/download.jboss.org/jbosstools/updates/stable/galileo/web/ trunk/download.jboss.org/jbosstools/updates/stable/galileo/web/site.css trunk/download.jboss.org/jbosstools/updates/stable/ganymede/web/ trunk/download.jboss.org/jbosstools/updates/stable/ganymede/web/site.css trunk/download.jboss.org/jbosstools/updates/stable/web/ trunk/download.jboss.org/jbosstools/updates/stable/web/site.css Log: copy css to where generated html pages expect it (JBIDE-9122) Added: trunk/download.jboss.org/jbosstools/updates/development/web/site.css =================================================================== --- trunk/download.jboss.org/jbosstools/updates/development/web/site.css (rev 0) +++ trunk/download.jboss.org/jbosstools/updates/development/web/site.css 2011-06-13 20:22:26 UTC (rev 32060) @@ -0,0 +1,66 @@ +< +STYLE type ="text/css">td.spacer { + padding-bottom: 10px; + padding-top: 10px; +} + +.title { + font-family: sans-serif; + color: #1778be; +} + +.bodyText { + font-family: sans-serif; + font-size: 9pt; + color: #000000; +} + +.sub-header { + font-family: sans-serif; + font-style: normal; + font-weight: bold; + font-size: 9pt; + color: white; +} + +.log-text { + font-family: sans-serif; + font-style: normal; + font-weight: lighter; + font-size: 8pt; + color: black; +} + +.big-header { + font-family: sans-serif; + font-style: normal; + font-weight: bold; + font-size: 9pt; + color: white; + border-top: 10px solid white; +} + +.light-row { + background: #FFFFFF +} + +.dark-row { + background: #EEEEEE +} + +.header { + background: #445562 +} + +#indent { + word-wrap: break-word; + width: 300px; + text-indent: 10px; +} + +.link { + color: #187dc6; +} +</ +STYLE +> \ No newline at end of file Added: trunk/download.jboss.org/jbosstools/updates/stable/galileo/web/site.css =================================================================== --- trunk/download.jboss.org/jbosstools/updates/stable/galileo/web/site.css (rev 0) +++ trunk/download.jboss.org/jbosstools/updates/stable/galileo/web/site.css 2011-06-13 20:22:26 UTC (rev 32060) @@ -0,0 +1,66 @@ +< +STYLE type ="text/css">td.spacer { + padding-bottom: 10px; + padding-top: 10px; +} + +.title { + font-family: sans-serif; + color: #1778be; +} + +.bodyText { + font-family: sans-serif; + font-size: 9pt; + color: #000000; +} + +.sub-header { + font-family: sans-serif; + font-style: normal; + font-weight: bold; + font-size: 9pt; + color: white; +} + +.log-text { + font-family: sans-serif; + font-style: normal; + font-weight: lighter; + font-size: 8pt; + color: black; +} + +.big-header { + font-family: sans-serif; + font-style: normal; + font-weight: bold; + font-size: 9pt; + color: white; + border-top: 10px solid white; +} + +.light-row { + background: #FFFFFF +} + +.dark-row { + background: #EEEEEE +} + +.header { + background: #445562 +} + +#indent { + word-wrap: break-word; + width: 300px; + text-indent: 10px; +} + +.link { + color: #187dc6; +} +</ +STYLE +> \ No newline at end of file Added: trunk/download.jboss.org/jbosstools/updates/stable/ganymede/web/site.css =================================================================== --- trunk/download.jboss.org/jbosstools/updates/stable/ganymede/web/site.css (rev 0) +++ trunk/download.jboss.org/jbosstools/updates/stable/ganymede/web/site.css 2011-06-13 20:22:26 UTC (rev 32060) @@ -0,0 +1,66 @@ +< +STYLE type ="text/css">td.spacer { + padding-bottom: 10px; + padding-top: 10px; +} + +.title { + font-family: sans-serif; + color: #1778be; +} + +.bodyText { + font-family: sans-serif; + font-size: 9pt; + color: #000000; +} + +.sub-header { + font-family: sans-serif; + font-style: normal; + font-weight: bold; + font-size: 9pt; + color: white; +} + +.log-text { + font-family: sans-serif; + font-style: normal; + font-weight: lighter; + font-size: 8pt; + color: black; +} + +.big-header { + font-family: sans-serif; + font-style: normal; + font-weight: bold; + font-size: 9pt; + color: white; + border-top: 10px solid white; +} + +.light-row { + background: #FFFFFF +} + +.dark-row { + background: #EEEEEE +} + +.header { + background: #445562 +} + +#indent { + word-wrap: break-word; + width: 300px; + text-indent: 10px; +} + +.link { + color: #187dc6; +} +</ +STYLE +> \ No newline at end of file Added: trunk/download.jboss.org/jbosstools/updates/stable/web/site.css =================================================================== --- trunk/download.jboss.org/jbosstools/updates/stable/web/site.css (rev 0) +++ trunk/download.jboss.org/jbosstools/updates/stable/web/site.css 2011-06-13 20:22:26 UTC (rev 32060) @@ -0,0 +1,66 @@ +< +STYLE type ="text/css">td.spacer { + padding-bottom: 10px; + padding-top: 10px; +} + +.title { + font-family: sans-serif; + color: #1778be; +} + +.bodyText { + font-family: sans-serif; + font-size: 9pt; + color: #000000; +} + +.sub-header { + font-family: sans-serif; + font-style: normal; + font-weight: bold; + font-size: 9pt; + color: white; +} + +.log-text { + font-family: sans-serif; + font-style: normal; + font-weight: lighter; + font-size: 8pt; + color: black; +} + +.big-header { + font-family: sans-serif; + font-style: normal; + font-weight: bold; + font-size: 9pt; + color: white; + border-top: 10px solid white; +} + +.light-row { + background: #FFFFFF +} + +.dark-row { + background: #EEEEEE +} + +.header { + background: #445562 +} + +#indent { + word-wrap: break-word; + width: 300px; + text-indent: 10px; +} + +.link { + color: #187dc6; +} +</ +STYLE +> \ No newline at end of file