Style improvements on the Monokai theme

* Font size reduced
* No more white border-top on the console
* Change the color of urls on the CSS panel
* Icon color green on click
* Some minor updates