diff --git a/resources/public/style.css b/resources/public/style.css
index 6705e3b..8e3faaa 100644
--- a/resources/public/style.css
+++ b/resources/public/style.css
@@ -186,11 +186,20 @@ blockquote {
 }
 
 code, pre {
-	font-size: 1.05em;
 	background: #efefef;
 	font-family: monospace;
 }
 
+/* Code tags alone to be slightly bigger than defaults */
+code {
+	font-size: 1.05em;
+}
+
+/* Prevent over-sized code in when syntax-highlighted */
+pre code {
+	font-size: 1em;
+}
+
 pre {
 	border: 1px solid #aaa;
 	padding: 0.5em;