doc: tidy and cleanup CSS deps, add tutorial PDF generation

jakerr · Oct 21, 2013 · 8d97db4 · 8d97db4
1 parent 5d1fc86
commit 8d97db4
Show file tree

Hide file tree

Showing 6 changed files with 200 additions and 237 deletions.
diff --git a/.gitignore b/.gitignore
@@ -77,7 +77,7 @@ src/.DS_Store
 /nd/
 /llvm/
 version.md
-rust.tex
+*.tex
 keywords.md
 x86_64-apple-darwin/
 x86_64-unknown-linux-gnu/

diff --git a/doc/lib.css b/doc/lib.css
diff --git a/doc/manual.css b/doc/manual.css
diff --git a/doc/manual.inc b/doc/manual.inc
@@ -0,0 +1,7 @@
+<style>
+  /* Display the full TOC */
+  #TOC ul ul {
+    display: block;
+    padding-left: 2em;
+  }
+</style>