| Current Path : /usr/share/doc/gap-gapdoc/example/ |
Linux ift1.ift-informatik.de 5.4.0-216-generic #236-Ubuntu SMP Fri Apr 11 19:53:21 UTC 2025 x86_64 |
| Current File : //usr/share/doc/gap-gapdoc/example/lefttoc.css |
/* 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%;
}