/usr/share/doc/openmsx-data/manual/manual.css is in openmsx-data 0.12.0-1build1.
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 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 | body {
color: black;
background-color: white;
}
ul, ol {
padding-left: 16pt;
}
ul.toccat {
list-style: none;
padding-left: 0pt;
}
ul.toccat ul {
list-style: disc;
padding-left: 0pt;
}
ol.toc, ol.inlinetoccat {
list-style: none;
padding-left: 0pt;
}
ol.inlinetoccat li {
font-weight: bold;
text-transform: uppercase;
margin-top: 0.5em;
}
ol.inlinetoc li {
font-weight: normal;
text-transform: none;
padding-right: 8pt;
display: inline;
}
p, dl, ul, ol, h5 {
margin-left: 16pt;
}
ol.alpha {
list-style-type: lower-alpha;
}
p.image {
text-align: center;
}
p.version {
padding-top: 1em;
margin-left: 0pt;
font-size: 50%;
text-align: right;
}
dt.toc {
font-size: 150%;
font-weight: bold;
}
dd {
margin-left: 16pt;
margin-bottom: 0.5em;
}
div.commandline, pre, code {
font-family: monospace;
letter-spacing: 0.1em;
}
code {
margin-left: 0.1em;
margin-right: 0.1em;
}
div.commandline, pre {
margin-left: 32pt;
margin-top: 0.5em;
margin-bottom: 0.5em;
}
div.note {
font-style: italic;
padding: 0.5em 4pt 0.5em 16pt;
margin-top: 0.5em;
}
div.subsectiontitle {
font-style: italic;
margin-left: 16pt;
}
div.examples {
margin-left: 32pt;
}
p.todo {
color: red;
}
a.internal, a.external:visited {
color: #000080;
}
a.external:link {
color: #0000FF;
}
a.external:active {
color: #8080FF;
}
table.border_enabled {
border-collapse:collapse;
border: 1px solid black;
}
table.border_enabled tr th {
border: 1px solid black;
}
table.border_enabled tr td {
border: 1px solid black;
}
table {
margin-left: 32pt;
}
th {
text-align: left;
}
td {
vertical-align: top;
padding-right: 32pt;
}
|