lorenzone92, Yes, just edit your theme’s stylesheet. In the WordPress admin, goto Presentation->Theme Editor. From there edit the Stylesheet (style.css), and add something like this to the bottom of the file:
pre {
font-family: Monaco, "Courier New", Courier, monospace;
font-size: 12px;
}
Feel free to increase the font-size to whatever you like.
lorenzone92, You might also be interested in the Styling Guidelines described down the middle of this page:
http://wordpress.org/extend/plugins/wp-syntax/other_notes/
OK, I’ve fixed this adding pre (etc…) to the css…
Why don’t you add it by default?
lorenzone92, The plugin doesn’t do any theme styling itself. It’s possible, but would require prior knowledge of the theme your using. Truthfully, the reason your font was too small in the first place was probably because that was what your theme specified .
I will however consider adding the font-size snippet to the Styling Guidelines.
Thanks for the feedback.
