]> git.rmz.io Git - dotfiles.git/blobdiff - dwb/userstyles/update-github
dwb: update styles
[dotfiles.git] / dwb / userstyles / update-github
diff --git a/dwb/userstyles/update-github b/dwb/userstyles/update-github
deleted file mode 100755 (executable)
index 9728a6f..0000000
+++ /dev/null
@@ -1,12 +0,0 @@
-#! /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"