Author: alexsmirnov Date: 2007-06-20 18:44:15 -0400 (Wed, 20 Jun 2007) New Revision: 272 Added: trunk/docs/userguide/en/src/main/resources/css/ trunk/docs/userguide/en/src/main/resources/css/html.css Log: append style to generated html documentation Added: trunk/docs/userguide/en/src/main/resources/css/html.css =================================================================== --- trunk/docs/userguide/en/src/main/resources/css/html.css (rev 0) +++ trunk/docs/userguide/en/src/main/resources/css/html.css 2007-06-20 22:44:15 UTC (rev 272) @@ -0,0 +1,122 @@ + * { + font-family: "Verdana", "Arial", "Helvetica"; + font-size: 14px; + } + + A { + color: #0000CC; + } + + A:active { + color: #0000CC; + } + + A:visited { + color: #0000CC; + } + + P, OL, UL, LI, DL, DT, DD, BLOCKQUOTE { + color: #000000; + } + + TD, TH, SPAN { + color: #000000; + } + + BLOCKQUOTE { + margin-right: 0px; + } + + + H1, H2, H3, H4, H5, H6 { + color: #003399; + font-weight: 500; + margin-top: 10px; + padding-top: 5px; + } + + H1 { font-size: 150%; } + H2 { font-size: 140%; } + H3 { font-size: 110%; font-weight: bold; } + H4 { font-size: 110%; font-weight: bold;} + H5 { font-size: 100%; font-style: italic; } + H6 { font-size: 100%; font-style: italic; } + + TABLE { + border-collapse: collapse; + border-spacing: 0; + border: 1px dashed #CCCCCC; + empty-cells: hide; + width: 100% + } + + TD { + padding: 4pt; + } + + + TT { + font-size: 90%; + font-style: monospace; + color: #111111; + } + + PRE { + font-size: 100%; + padding: 5px; + border-style: solid; + border-width: 1px; + border-color: #CCCCCC; + background-color: #F4F4F4; + } + + HR { + width: 100%; + height: 1px; + background-color: #CCCCCC; + border-width: 0px; + padding: 0px; + color: #CCCCCC; + } + + .variablelist { + padding-top: 10; + padding-bottom: 10; + margin: 0; + } + + .itemizedlist { + padding-top: 0; + padding-bottom: 0; + margin: 0; + list-style-type: disc; + + } + + .orderedlist{ + padding-top: 0; + padding-bottom: 0; + margin: 0; + } + + .term { + font-weight: bold; + } + + .note + { + padding-bottom: 5px; + padding-left: 5px; + padding-right: 5px; + background-color: #FFFFCC; + } + + .warning + { + padding-bottom: 5px; + padding-left: 5px; + padding-right: 5px; + background-color: #FBDADA; + } + +