kio-extras/docfilter/kio_docfilter.css

0001 /*
0002  * This is the common CSS styling for the various documentation filter
0003  * KIO workers (incl. kio_man, kio_info, kio_perldoc, etc.)
0004  *
0005  * It is designed to mimic the look of the kde.org website (although the css
0006  * for the website has since drifted itself...)
0007  *
0008  * Unfortunately at this point to get the proper effect you cannot use XHTML
0009  * STRICT (as was used in kio_info).
0010  */
0011
0012 body {
0013     /* If you specify a background color you should also specify a regular color */
0014     background-color: white;
0015     color: black;
0016     padding: 0px;
0017 }
0018
0019 #header {
0020     width: 100%;
0021     color: #535353;
0022     background: #eeeeee;
0023     border-bottom: #bcbcbc 1px solid;
0024 }
0025
0026 #header_top {
0027     margin: 0 auto;
0028     padding: 0;
0029     width: 60em;
0030     min-width: 770px;
0031     max-width: 45em;
0032     vertical-align: middle;
0033     color: #ffffff;
0034     background-repeat: repeat-x;
0035     background-position: bottom;
0036     background-color: #0057ae;
0037 }
0038
0039 /*
0040  * The header_top div div stuff seems to automatically setup the images but
0041  * I'm not sure that it's actually any better than just manually creating a
0042  * sequences of non-nested divs and setting an image that way.
0043  */
0044 #header_top div {
0045     margin: 0 auto;
0046     padding: 0;
0047     background-repeat: no-repeat;
0048     background-position: bottom left;
0049 }
0050
0051 #header_top div div {
0052     margin: 0 auto;
0053     padding: 0;
0054     vertical-align: middle;
0055     text-align: left;
0056     font-size: 1.7em;
0057     font-weight: bold;
0058     background-repeat: no-repeat;
0059     background-position: bottom right;
0060 }
0061
0062 /*
0063  * If the generated HTML does not use an <img> tag in the div div header
0064  * sequence then the text will be aligned wrong due to the missing margin
0065  * provided by the image.
0066  */
0067 #header_top div div img {
0068     margin:8px 0px 9px 18px;
0069     vertical-align: middle;
0070 }
0071
0072 #header_bottom {
0073     margin: 0 auto;
0074     padding: 0.1em 0em 0.3em 0;
0075     width: 60em;
0076     min-width: 770px;
0077     max-width: 45em;
0078     vertical-align: middle;
0079     text-align: right;
0080     background: #eeeeee;
0081 }
0082
0083 /* Used for the text and footer area at the bottom. */
0084 #footer {
0085     width: 100%;
0086     background-color: #eeeeee;
0087     padding-top: 12pt;
0088     padding-bottom: 12pt;
0089     border-top: #bcbcbc 1px solid;
0090     margin-top: 12pt;
0091 }
0092
0093 #footer_text {
0094     text-align:center;
0095     vertical-align: middle;
0096 }