/usr/share/gap/doc/tut/lefttoc.css is in gap-doc 4r6p5-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 | /* leftmenu.css Frank Lübeck */
/* Change default CSS to show section menu on left side */
body {
padding-left: 28%;
}
body.chap0 {
padding-left: 2%;
}
div.ChapSects div.ContSect:hover div.ContSSBlock {
left: 15%;
}
div.ChapSects {
left: 1%;
width: 25%;
}
|