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
..
mk
sgml	Remove the ability to change the font size on the website. There are now	2012-09-30 13:27:05 +00:00
tools/checkupdate	Trim '\r' and '\n' from filenames read from stdin.	2009-06-21 13:55:35 +00:00