diff options
Diffstat (limited to '')
| -rw-r--r-- | src/doc/full-toc.inc | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/src/doc/full-toc.inc b/src/doc/full-toc.inc new file mode 100644 index 000000000..604a65dc8 --- /dev/null +++ b/src/doc/full-toc.inc @@ -0,0 +1,15 @@ +<style> + /* Display the full TOC */ + nav { + column-count: auto; + -moz-column-count: auto; + -webkit-column-count: auto; + } + nav ul ul { + display: block; + padding-left: 2em; + } + #influences blockquote p:last-child { + color: #999; + } +</style> |