Customizing CSS slightly

paulproteus · paulproteus · commit bdcdbff440fa · 2013-08-21T14:17:51.000+02:00
diff --git a/_static/custom.css b/_static/custom.css
@@ -0,0 +1,3 @@
+div.section {
+    padding-top: 0.3em;
+}
diff --git a/_templates/layout.html b/_templates/layout.html
@@ -0,0 +1,6 @@
+{# Import the theme's layout. #}
+{% extends "!layout.html" %}
+
+{# Include our new CSS file into existing ones. #}
+{% set css_files = css_files + ['_static/custom.css']%}
+
