@import "/media/css/base.css";

iframe { border: 0; }
#content { font-size: 12pt; }
/* for some reason, fixed-width text is in a smaller font size. Fix that. */
#content pre, #content	code, #content tt { font-size: 12pt; }
#devkeyform input { font-size: 12pt; text-align: center; }