From 0cd8482f07aadab6de27aa7395de5408737093ad Mon Sep 17 00:00:00 2001
From: William 'psyFi' Hatcher <william@hatcher.work>
Date: Sun, 13 Aug 2017 06:32:12 -0500
Subject: Rename docs folder to dev-docs (#3898)

+ Add reference to Lua API documentation

* Renamed docs folder to dev-docs

Per issue #3896's discussion, we thought that renaming the `/docs` folder to `/dev-docs` help reduce confusion.
---
 dev-docs/style.css | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 dev-docs/style.css

(limited to 'dev-docs/style.css')

diff --git a/dev-docs/style.css b/dev-docs/style.css
new file mode 100644
index 000000000..74419d8da
--- /dev/null
+++ b/dev-docs/style.css
@@ -0,0 +1,12 @@
+table
+{
+	border: 1px outset;
+	border-spacing: 0px;
+	border-collapse: separate;
+}
+
+td, th
+{
+	border: 1px inset
+}
+
-- 
cgit v1.2.3