Some styling to ace editor