/usr/share/gap/pkg/gapdoc/styles/ is in gap-gapdoc 1.5.1-1.
This file is owned by root:root, with mode 0o755.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
..
|
||||
/usr/share/gap/pkg/gapdoc/styles/chooser.html
|
text/xml | root:root | 0o644 | 3.8 KB |
/usr/share/gap/pkg/gapdoc/styles/lefttoc.css
|
text/plain | root:root | 0o644 | 316 bytes |
/usr/share/gap/pkg/gapdoc/styles/manual.css
|
text/plain | root:root | 0o644 | 7.0 KB |
/usr/share/gap/pkg/gapdoc/styles/manual.js
|
text/html | root:root | 0o644 | 4.0 KB |
/usr/share/gap/pkg/gapdoc/styles/nocolorprompt.css
|
text/plain | root:root | 0o644 | 203 bytes |
/usr/share/gap/pkg/gapdoc/styles/ragged.css
|
text/plain | root:root | 0o644 | 153 bytes |
/usr/share/gap/pkg/gapdoc/styles/rainbow.js
|
text/html | root:root | 0o644 | 2.7 KB |
/usr/share/gap/pkg/gapdoc/styles/times.css
|
text/plain | root:root | 0o644 | 177 bytes |
/usr/share/gap/pkg/gapdoc/styles/toggless.css
|
text/plain | root:root | 0o644 | 954 bytes |
/usr/share/gap/pkg/gapdoc/styles/toggless.js
|
text/plain | root:root | 0o644 | 2.1 KB |