CTRL and +/- in your browser should already do the trick.
Re: Crazy idea: fonts as a preference
« Reply #15, on March 30th, 2013, 02:10 PM »
I'm thinking a single dedicated option in the profile area. Or even in the sidebar. And then along with it a change-of-font-size menu. This would be a nightmare to do with skins since you'd need to have multiple variations of each skin.
@Nao: Please explain that css include tag. Can I reference local fonts? Does it replace @font-face (which no longer works, btw)?
<css include="http://fonts.googleapis.com/css?family=Open+Sans:400,400italic,700"></css>