Cosmetic changes to the console.

[fdemian]

The default console interface looks very raw and unattractive. Investigate ways to make it look better.

This includes:

• Overall look of the terminal itself (should it have round corners?, etc...).
• Font styles.

[fdemian]

Not a priority for now. Moved to future work.