pre {font-size: 75%}