Switch to the Jaguar theme

In addition to a nicer layout, this adds a searchable sidebar and a source code viewer.
2014-05-06 12:46:59 -05:00
parent e6dbb61d68
commit e2c9dd279d
37 changed files with 1814 additions and 702 deletions
@@ -0,0 +1,9 @@
+@navWidth: 250px;
+@colorSubtitle: rgb(119, 156, 52);
+@colorRed: rgb(238, 125, 125);
+@colorLink: #2a6496;
+@colorBgNavi: #1a1a1a;
+
+.font-description () {
+    font-family: "freight-text-pro",Georgia,Cambria,"Times New Roman",Times,serif
+}