Customize Sphinx theme

2015-05-19 08:13:13 -07:00
parent 4c1a0303aa
commit 18a55cdb27
83 changed files with 8602 additions and 56 deletions
@@ -0,0 +1,10 @@
+// Sizing shortcuts
+
+.size(@width; @height) {
+  width: @width;
+  height: @height;
+}
+
+.square(@size) {
+  .size(@size; @size);
+}