Improve developer website

* Improve graphical design.
* Add code highlighting.