From 85cac1e35358f65e94239d1693be32abe14220f2 Mon Sep 17 00:00:00 2001
From: Guillermo Rauch <rauchg@gmail.com>
Date: Fri, 8 Jul 2016 14:27:55 -0700
Subject: [PATCH] config-default: add custom CSS options

---
 config-default.js | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/config-default.js b/config-default.js
index e7aa2684..ca49d69e 100644
--- a/config-default.js
+++ b/config-default.js
@@ -15,6 +15,12 @@ module.exports = {
     // border color (winodw, tabs)
     borderColor: '#333',
 
+    // custom css to embed in the main window
+    css: [''],
+
+    // custom css to embed inside each terminal
+    termCSS: [''],
+
     // some color overrides. see http://bit.ly/29k1iU2 for
     // the full list
     colors: [