Warning, /frameworks/kdoctools/common/en/kde-default.css is written in an unsupported language. File is not indexed.
0001 /*
0002 KDE-wide default CSS for HTML documentation (all media types).
0003 SPDX-FileCopyrightText: 2000 Frederik Fouvry <fouvry@sfs.nphil.uni-tuebingen.de>
0004
0005 SPDX-License-Identifier: GPL-2.0-or-later
0006
0007 Send comments, suggestions, etc. to Frederik Fouvry <fouvry@sfs.nphil.uni-tuebingen.de>.
0008 */
0009
0010 /*
0011 Important note: these setting may be overridden by localised CSS. Do not
0012 add here any localization-sensitive style declarations.
0013
0014 Any updates should be validated, e.g. https://jigsaw.w3.org/css-validator/ */
0015
0016 /* Note: "should be inherit" means that in a proper browser inherit should work.
0017 Somehow Netscape manages to interpret "inherit" as bright green.
0018 Yuck. */
0019
0020 body {
0021 background: white none;
0022 color: black;
0023 font-family: sans-serif;
0024 padding: 0 15px 0 0;
0025 margin: 0;
0026 }
0027
0028 .legalnotice, .copyright {
0029 padding: 0;
0030 margin: 0;
0031 }
0032
0033 .abstract {
0034 font-weight: bolder;
0035 padding-right: 1em;
0036 }
0037
0038 .toc, .list-of-tables {
0039 padding-left: 1em;
0040 }
0041
0042 .sect1, .chapter, .synopsis, .appendix, .preface, .article, .refsect1, .index, .glossary, .glossdiv, .gloss-article, .section {
0043 padding-left: 1em;
0044 }
0045
0046 .gloss-article, .glossdiv {
0047 padding-right: 1em;
0048 }
0049
0050 .toc .chapter {
0051 padding: 0em 0em 0em 1em;
0052 }
0053
0054 .author {
0055 color: rgb(82,80,82);
0056 font-weight: bolder;
0057 padding: 0;
0058 margin: 0;
0059 }
0060
0061 .othercredit {
0062 line-height: 1em;
0063 }
0064
0065 .chapter .sect1, .chapter .titlepage, .sect1 .titlepage, .article .titlepage {
0066 padding: 0em;
0067 }
0068
0069 .titlepage {
0070 padding-left: 1em;
0071 padding-right: 1em;
0072 }
0073
0074 /* Nice link colors for the main text */
0075
0076 :link {
0077 color: #41597A;
0078 }
0079
0080 a, :visited {
0081 color: #597ba8;
0082 }
0083
0084 .navLeft {
0085 position: absolute;
0086 left: 20px;
0087 }
0088
0089 .navRight {
0090 position: absolute;
0091 right: 20px;
0092 }
0093
0094 .navCenter {
0095 text-align: center;
0096 align: center;
0097 }
0098
0099 .bannerBottomLeft {
0100 position: absolute; left: 0px;
0101 }
0102
0103 .bannerBottomRight {
0104 position: absolute; right: 0px;
0105 }
0106
0107 .header {
0108 background: #54a3d8 none;
0109 border-top: 1px solid white;
0110 color: white;
0111 font-size: small;
0112 height: 1.7em;
0113 line-height: 1em;
0114 margin: 0px;
0115 padding: 0px;
0116 vertical-align: middle;
0117 }
0118
0119 .bottom-nav {
0120 background-color: #3E91EB;
0121 border-bottom: 1px solid #206dcd;
0122 border-top: 1px solid white;
0123 color: white;
0124 font-size: small;
0125 height: 1.7em;
0126 line-height: 1em;
0127 margin: 0px;
0128 padding-bottom: 0px;
0129 padding-left: 1em;
0130 padding-right: 0px;
0131 padding-top: 10px;
0132 vertical-align: middle;
0133 }
0134
0135 /* A little bit of padding makes the tables for keybindings etc much easier to read */
0136
0137 table {
0138 padding: 5px;
0139 }
0140
0141 dl {
0142 margin-top: 0em;
0143 margin-bottom: 0.5em;
0144 }
0145
0146 dt {
0147 margin-top: 1em;
0148 }
0149 div.toc dt {
0150 margin-top: 0px;
0151 }
0152 div.screenshot {
0153 margin-bottom: 1em;
0154 margin-top: 1em;
0155 }
0156
0157 div.informalexample {
0158 border-style: dotted;
0159 padding: 10px;
0160 }
0161
0162 /* But no padding for navigation elements */
0163
0164 .toplogo, .navbackground {
0165 padding: 0px;
0166 }
0167
0168 table.programlisting
0169 table.screen {
0170 border-style: none;
0171 background-color: rgb(224,224,224);
0172 table-layout: auto; /* 100%? */
0173 color: rgb(0,0,0); /* should be inherit */
0174 }
0175
0176 /* Same as previous block, but more general (previous is HTML only)
0177 Not all browsers understand this yet.
0178 TABLE[class~=programlisting]
0179 TABLE[class~=screen] { border-style: none;
0180 background-color: rgb(224,224,224);
0181 table-layout: auto;
0182 color: inherit;
0183 }
0184 */
0185
0186 p {
0187 text-align: justify;
0188 }
0189
0190 /* More specific settings */
0191 /* Temporary patch: browsers break on bad HTML */
0192 /* P, H1, H2, H3, H4, H5, TD, TH { font-family: Helvetica, Arial, sans-serif;
0193 } */
0194
0195 p, h1, h2, h3, h4, h5, h6, td, th {
0196 font-family: sans-serif;
0197 }
0198
0199 h1, h2, h3, h4, h5, h6 {
0200 color: #525052;
0201 background-color: transparent;
0202 font-weight: 550;
0203 }
0204
0205 h1,h2,h3 {
0206 line-height: 1.5em;
0207 }
0208
0209 /* Visual cues for GUI elements etc in the text */
0210
0211 .guimenu, .guimenuitem, .guisubmenu {
0212 background-color: rgb(220,220,220);
0213 color: rgb(0,0,0); /* should be inherit */
0214 }
0215
0216 .guilabel, .interface, .guibutton, .guiicon {
0217 background-color: rgb(220,220,220);
0218 color: rgb(0,0,0); /* should be inherit */
0219 }
0220
0221 .shortcut {
0222 background-color: rgb(220,220,220);
0223 color: rgb(0,0,0); /* should be inherit */
0224 }
0225
0226 .shortcut .keycap {
0227 background-color: rgb(220,220,220);
0228 color: rgb(0,0,0); /* should be inherit */
0229 }
0230
0231 .keycap {
0232 margin-left: 4px;
0233 }
0234
0235 .question {
0236 font-weight: bolder;
0237 }
0238
0239 .accel {
0240 background-color: rgb(220,220,220);
0241 color: rgb(0,0,0);
0242 text-decoration: underline;
0243 }
0244
0245 .option, .command {
0246 background-color: rgb(255,255,255);
0247 color: rgb(0,96,160);
0248 font-weight: bold;
0249 }
0250
0251 .arg, .parameter, .replaceable {
0252 background-color: rgb(255,255,255);
0253 color: rgb(0,128,64);
0254 font-style: italic;
0255 }
0256
0257 .screen, .programlisting {
0258 background-color: rgb(220,220,220);
0259 color: rgb(0,0,0); /* should be inherit */
0260 border-style: dotted;
0261 border-color: rgb(0,0,0);
0262 border-width: thin;
0263 padding: 5px;
0264 }
0265
0266
0267 /* This one is set in inches because the admonitions are set in inches
0268 and they're more difficult to change. We can live with it in here,
0269 for the meantime, it gives consistent margins */
0270
0271 .example {
0272 margin-left: 0.5in;
0273 margin-right: 0.5in;
0274 }
0275
0276 div.mediaobject, div.mediaobjectco {
0277 /* float: right; */
0278 /* might make it much nicer. although someone has to
0279 understand the rules ;-) You also don't want it to be
0280 surrounded by text it doesn't refer to ... But that
0281 may be among others a question of writing style. */
0282 text-align: center; /* a bit of a hack: it should
0283 position _images_ */
0284 }
0285
0286 .caption {
0287 margin: 0em 2em 0em 2em;
0288 text-align: center;
0289 }
0290
0291 .inlinemediaobject {
0292 vertical-align: baseline;
0293 }
0294
0295 /* An idea that could be nice: a search engine looking for specific
0296 classes could display them in some conspicuous color. All that is
0297 needed is an on the fly generated style element/style sheet. */
0298
0299 /* Only used in the hand-made HTML license texts */
0300 body.license {
0301 background-color: rgb(255,255,255);
0302 text-align: justify;
0303 color: rgb(0,0,0);
0304 }
0305 pre.license {
0306 background-color: rgb(255,255,255);
0307 font-family: monospace;
0308 color: rgb(0,0,0);
0309 }
0310 code.email {
0311 font-size: 87.5%;
0312 color: #e83e8c;
0313 word-break: break-word;
0314 }
0315 a {
0316 color: #007bff;
0317 text-decoration: none;
0318 background-color: transparent;
0319 }
0320 a:hover {
0321 color: #0056b3;
0322 text-decoration: underline;
0323 }
0324 dt {
0325 font-weight: 500;
0326 }
0327 .date {
0328 margin-right: 4px;
0329 }