HTML code cleanups & AI toolbar style prettification.

I like the AI module added on this fork, but it seems like I just had to fix the buttons which were out of style, so here you go.

Added features:
* The `controls` div now uses double quotation marks to make it consistent
with the code.
* Make the AI toolbar look much prettier in general. (dirty CSS work, might
need some clean-up)