Resolve "Use new fonts"
Adds new fonts and incorporates some design fixes from the IDE team. Also snuck a new picture of Otto in there :P
Closes #167 (closed)
Edited by Georgios Andreadis
Adds new fonts and incorporates some design fixes from the IDE team. Also snuck a new picture of Otto in there :P
Closes #167 (closed)