thomaskrause/ANNIS — pull request #2 by pixeldrama (2013-02-13 13:33:11+00:00)
Title: use a central scss file for annis-theme

Set back default font-size from 13px to 10px.