Revert "Move the doc tree out into its own repo."

This reverts commit 8f88fcedd6.
This commit is contained in:
Aldo Cortesi
2014-01-27 14:16:23 +13:00
parent 47c7e37723
commit f47d89ff4e
91 changed files with 5706 additions and 0 deletions

16
doc-src/02-docstyle.css Normal file
View File

@@ -0,0 +1,16 @@
body {
padding-top: 60px;
padding-bottom: 40px;
}
.tablenum {
font-weight: bold;
}
.nowrap {
white-space: nowrap;
}
h1 {
line-height: 1.1;
}