css: bigger code mirror