Isabell Long bee5d224fe Remove the ability to change the font size on the website. There are now ... much better ways of doing this in modern web browsers. Furthermore, it never worked as well as it should have done, as too much of the website is built around fixed layouts. It was felt it was best to remove the size switcher from all languages at once, so that the infrastructure (styleswitcher.js etc.) could be removed at the same time. Discussed at: Cambridge DevSummit, August 2012 Discussed on: www@ Approved by: gabor (mentor)		2012-09-30 13:27:05 +00:00
..
css	Attempt to fix some browser rendering issues caused by css caching.	2012-09-26 23:14:22 +00:00
images	- Strip unnecessary trailing spaces	2012-08-21 19:16:02 +00:00
js	Remove the ability to change the font size on the website. There are now	2012-09-30 13:27:05 +00:00
Makefile	- Strip CR characters	2012-08-21 18:58:49 +00:00
Makefile.inc	- Set svn:ketwords and svn:mime-type. Note that application/octet-stream is	2012-05-17 19:12:14 +00:00