diff options
Diffstat (limited to 'data/doc/manuals_generated/sisu_manual/_sisu/css')
-rw-r--r-- | data/doc/manuals_generated/sisu_manual/_sisu/css/homepage.css | 37 | ||||
-rw-r--r-- | data/doc/manuals_generated/sisu_manual/_sisu/css/html.css | 9 |
2 files changed, 45 insertions, 1 deletions
diff --git a/data/doc/manuals_generated/sisu_manual/_sisu/css/homepage.css b/data/doc/manuals_generated/sisu_manual/_sisu/css/homepage.css new file mode 100644 index 00000000..7062e369 --- /dev/null +++ b/data/doc/manuals_generated/sisu_manual/_sisu/css/homepage.css @@ -0,0 +1,37 @@ + body {color: black; background: "#ffffff"; margin:10px 10px 0px 10px; padding:0px;} + p { line-height: 1.5 } + a:link {color: #003399; text-decoration: none; } + a:visited {color: #003399; text-decoration: none; } + a:hover {color: #000000; text-decoration: underline; background-color: #fff3b6;} + a:active {color: #003399; text-decoration: underline;} + #banner { + background:"#ffffff"; + } + #column_left { + width:25%; + float:left; + background:#b9d4dd; + padding-bottom:10px; + } + #column_center { + width:55%; + float:left; + background:"#ffffff"; + padding-bottom:10px; + } + #column_right { + width:20%; + float:left; + background:#b9d4dd; + padding-bottom:10px; + } + p,h1,pre { + font-family: verdana, arial, georgia, tahoma, sans-serif, helvetica, times, roman; + margin:0px 10px 10px 10px; + } + h1 { + font-size:14px; + padding-top:10px; + } + #column_right p { font-size:12px} + #banner h1 { margin:0px; padding:10px} diff --git a/data/doc/manuals_generated/sisu_manual/_sisu/css/html.css b/data/doc/manuals_generated/sisu_manual/_sisu/css/html.css index 2df837d0..255d0430 100644 --- a/data/doc/manuals_generated/sisu_manual/_sisu/css/html.css +++ b/data/doc/manuals_generated/sisu_manual/_sisu/css/html.css @@ -313,11 +313,15 @@ p.left, th.left, td.left { text-align: left; } + p.small_left, th.small_left, td.small_left { + text-align: left; + font-size: 80%; + } p.right, th.right, td.right { text-align: right; } - h1, h2, h3, h4, h5, h6 { + h0, h1, h2, h3, h4, h5, h6 { display: block; font-family: verdana, arial, georgia, tahoma, sans-serif, helvetica, times, roman; font-weight: bold; @@ -537,6 +541,9 @@ h6 { font-size: 100%; } + h0 { + font-size: 80%; + } h1.norm, h2.norm, h3.norm { font-size: 110%; margin-left: 10mm; |