From e33de8a8a8a6a8ab27d0fcae4e5d5fd384a18be3 Mon Sep 17 00:00:00 2001
From: Samir Benmendil <samir.benmendil@gmail.com>
Date: Wed, 24 Sep 2014 15:58:27 +0100
Subject: [PATCH] dwb: add script to update github.css

---
 dwb/userstyles/update-github | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100755 dwb/userstyles/update-github

diff --git a/dwb/userstyles/update-github b/dwb/userstyles/update-github
new file mode 100755
index 0000000..9728a6f
--- /dev/null
+++ b/dwb/userstyles/update-github
@@ -0,0 +1,12 @@
+#! /bin/bash
+
+DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
+
+out="$DIR/github.com.css"
+theme="wombat"
+
+wget "https://github.com/StylishThemes/GitHub-Dark/raw/master/github-dark.css" \
+     "https://github.com/StylishThemes/GitHub-Dark/raw/master/themes/src/pygments-${theme}.css" \
+     -O "$out"
+
+sed '/@-moz-document/d;/^}/d' -i "$out"
-- 
2.48.1