rogerdudler/eclipse-ui-themes — pull request #35 by kmixflow (2014-01-26 04:22:10+00:00)
Title: Deleted fixed font size

Deleted fixed font size so it can be changed through "Preferences" menu. It is not that difficult to change it manually by editing the .css file, but it can save a lot of time to some folks (I spend like an hour trying to change font size via Eclipse's Preference menu)