Marcin Kuzminski f5e1dbecb4 ui: dropped the custom font in favor of builtin ones. ... - this is faster to load/display and produces less problems with UI on multiple platforms - fixed few ui elements after changes		2018-10-26 12:31:21 +02:00
..
css	ui: dropped the custom font in favor of builtin ones.	2018-10-26 12:31:21 +02:00