Henrik Levkowetz d83b078adb Changed the header size increments to be close to those used by TeX. Changed some button colours to be lighter (needed because of the very dark @brand-primary we are using) ... - Legacy-Id: 9383		2015-04-03 22:39:04 +00:00
..
css	Changed the header size increments to be close to those used by TeX. Changed some button colours to be lighter (needed because of the very dark @brand-primary we are using)	2015-04-03 22:39:04 +00:00
fonts	Bootstrap source v3.3.4, minus the docs directory. From https://github.com/twbs/bootstrap/archive/v3.3.4.zip	2015-04-03 20:06:57 +00:00
js	Bootstrap source v3.3.4, minus the docs directory. From https://github.com/twbs/bootstrap/archive/v3.3.4.zip	2015-04-03 20:06:57 +00:00