/usr/share/puredata/doc/1.manual/pdmanual.css is in puredata-doc 0.47.1-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 | HTML {
background: #ffffff;
color: #000000;
font-family: Times, Times New Roman, serif;
font-size: 10pt;
}
BODY {
width: 6.5in;
margin-left: 0.5in
}
H1 {
font-size: 36pt;
text-align: center;
}
H2 {
font-size: 10pt;
text-align: center;
}
H3 {
font-size: 12pt;
text-align: left;
}
H4 {
font-size: 10pt;
text-align: left;
}
H5 {
font-size: 8pt;
text-align: left;
}
H6 {
font-size: 8pt;
text-align: left;
}
PRE {
font-size: 8pt;
text-align: left;
}
|