If I'm reading the CSS file correctly, it takes whatever font-size your browser thinks is a reasonable default for easy reading, and divides that by two. Good grief.