]> git.rmz.io Git - dotfiles.git/blobdiff - dwb/userstyles/update-github
dwb: update github css
[dotfiles.git] / dwb / userstyles / update-github
index 9728a6fd65c7788ede71f99176ba07458f478f47..90db56d241437a5c2870ea8c5377f8c27743c869 100755 (executable)
@@ -6,7 +6,6 @@ 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"