From 8f88fcedd601c0033b4469b66626a83011879baf Mon Sep 17 00:00:00 2001 From: Aldo Cortesi Date: Wed, 22 Jan 2014 13:33:02 +1300 Subject: Move the doc tree out into its own repo. --- doc-src/02-docstyle.css | 16 ---------------- 1 file changed, 16 deletions(-) delete mode 100644 doc-src/02-docstyle.css (limited to 'doc-src/02-docstyle.css') diff --git a/doc-src/02-docstyle.css b/doc-src/02-docstyle.css deleted file mode 100644 index 8e07434b..00000000 --- a/doc-src/02-docstyle.css +++ /dev/null @@ -1,16 +0,0 @@ -body { - padding-top: 60px; - padding-bottom: 40px; -} - -.tablenum { - font-weight: bold; -} - -.nowrap { - white-space: nowrap; -} - -h1 { - line-height: 1.1; -} \ No newline at end of file -- cgit v1.2.3