/usr/share/doc/refdb/refdb-manual/manual.css is in refdb-doc 1.0.2-3.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 | h1 {font-family: Verdana, Arial, Helvetica, sans-serif;
color: #00B000}
h1.sect1 {font-family: Verdana, Arial, Helvetica, sans-serif;
color: #009900}
h2 {font-family: Verdana, Arial, Helvetica, sans-serif;
color: green}
h3 {font-family: Verdana, Arial, Helvetica, sans-serif;
color: #006600}
code.filename, code.option {color: #660099;
font-size: 110%;
font-weight: bold;}
code.sgmltag, code.envar {color: #009966;
font-size: 110%;
font-weight: bold;}
b.command {color: #990000;}
div.variablelist dt {color: #990000;
font-weight: bold;}
table th {color: #990000;
font-weight: bold;}
div.warning, div.warning h3.title {color: red;}
pre.screen, pre.programlisting {
background-color: #E0E0E0; }
span.guimenu, span.guimenuitem, span.guisubmenu {
font-family: sans-serif;
}
/* give keycaps a '3D' shaded look */
strong.keycap, b.KEYCAP {
padding-left: .2em;
padding-right: .2em;
border-style: solid;
border-top-width: 2px;
border-left-width: 3px;
border-right-width: 3px;
border-bottom-width: 4px;
border-top-color: #eeeecc;
border-left-color: #eeeecc;
border-right-color: #999977;
border-bottom-color: #999977;
background-color: #ddddbb;
/* All these borders may interfere with text on the line bellow. Make
the text a little smaller to try and 'pull up' the bottom edge, */
font-size: smaller;
}
|