/usr/share/matita/help/C/docbook.css is in matita 0.5.8-3build1.
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 | body {
background: url(../../images/sheetbg.png);
}
ul.authorgroup {
list-style-type: none;
padding-left: 1em;
}
div.titlepage {
background: #eaeaea;
}
div.titlepage hr {
display: none;
}
div.navheader hr {
display: none;
}
div.navfooter hr {
display: none;
}
div.navheader {
padding-left: 150px;
background: #eaeaea;
}
div.navfooter {
background: #eaeaea;
}
div.matita_logo {
position: absolute;
top: 3px;
left: 5px;
}
div.matita_logo img {
border-style: none;
}
div.matita_logo span {
position: absolute;
top: 13px;
left: 65px;
text-decoration: underline;
}
div.figure {
text-align: center;
}
|