#content #bodyContent pre, code, kbd, tt, samp, textarea { font-family: "Fantasque Sans Mono", "Liberation Mono", "DejaVu Sans Mono", Consolas, "Lucida Console", Monaco, monospace; }
textarea { font-size:95%; }
/* dirty hack above */pre, code, kbd, tt, samp, #wpSummary { font-size: 90%; }