Allow Custom sage_all.css for Web Interface

[GoogleCodeExporter]

For which plugin does this feature request apply?
Web Interface

Please describe the feature request below in as much detail as possible.
"Any chance we can specify our own sage_all.css? It's a bit of a pain to 
update, restart Sage, then bring it all down again to bang the CSS file in the 
WAR file. I'm lazy...  Would be much better if it could check somewhere else 
for an alternate CSS before in the extracted folder..."

Original issue reported on code.google.com by gill...@gmail.com on 3 May 2013 at 1:57

[GoogleCodeExporter]

This requires touching all the legacy servlets, which is just asking for 
trouble.  Next time I'm poking around the code I'll investigate just how 
painful it will be, but most likely I just won't be able to touch this one.

Original comment by de...@battams.ca on 3 May 2013 at 11:56

• Changed state: Reviewed
• Added labels: Plugin-WebUI, OpSys-All, Component-UI