domterm

aiya000 · Apr 11, 2018 · 40e4edd · 40e4edd
1 parent ab7fcdc
commit 40e4edd
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 0 deletions.
diff --git a/.domterm/settings.ini b/.domterm/settings.ini
@@ -0,0 +1,4 @@
+style.dark = on
+style.user =
+ |div.domterm { --monospace-family: "Ricty", "Ricty" }
+ |body { font-size: 11pt }
diff --git a/.gitignore b/.gitignore
@@ -41,3 +41,4 @@
 .stack
 .idris/repl/history
 .config/karabiner/karabiner.json
+.domterm/default.socket