Significant bug fixes

- Cleaned up less & css files
- Fixed Ace highlighting (modified `crunch` theme)
- Fixed Ace clipboard