Skip to content

Resolve "Use new fonts"

Georgios Andreadis requested to merge 167-use-new-fonts into development

Adds new fonts and incorporates some design fixes from the IDE team. Also snuck a new picture of Otto in there :P

image

Closes #167 (closed)

Edited by Georgios Andreadis

Merge request reports