Dmitriy Zaporozhets 105f5ba3c9 Reduce header font a bit. Moved to mixin header font styles		2012-12-12 12:30:19 +02:00
..
fonts	Added font for head panel. Major restyle for header	2012-08-20 22:51:37 +03:00
images	pretty gl icon for dark themes. Removed old gl icons	2012-12-11 21:11:29 +02:00
javascripts	Improve CI integration for merge requests	2012-12-11 06:14:05 +03:00
stylesheets	Reduce header font a bit. Moved to mixin header font styles	2012-12-12 12:30:19 +02:00