You can change the font size by using the following key combination: CTRL + - larger CTRL - - smaller CTRL 0 - initial size
ist Non-Resident Fellow am American Institute for Contemporary German Studies der Johns Hopkins University in Washington DC.
