gateone.js:  Optimized (slightly) some SVGs.