Hi, Galaxy Developers,
I have searched the wiki and the mailing list and I can't seem to find an answer to this question (if there is a wiki page or a post that I missed, I apologize). Presumably there is a preferred way to do what I'm trying to do.
I basically want to make some small cosmetic changes to Galaxy's CSS styling (base.css). These are very minor, and all involve overriding existing styles. I've successfully done this by copying the 'blue' theme, making my changes, and re-routing this though apache's redirect, for example:
RewriteRule ^/static/style/(.*) /group/galaxy_test/galaxy-dist/static/MyCustom/$1
This is all find and good. It works. The problem is when I update galaxy. Things get kind of stagnant and changes from the repository are not propaged into my custom style.
I noticed that there appear to be some theme generation script capabilities in galaxy-dist/static/style, for example make_style.py. There also appears to be some color stub ini file (blue_colors.ini). Whenever I try to launch make_style.py, it bombs out with: