slightly better styling, changed default ace theme