Styling tweaks

Author: Phil Bennett

docs/_sass/base/_typography.scss

@@ -157,7 +157,7 @@
 		border: none;
 		border-radius: 0;
 		font-family: _font(family-fixed);
-		font-size: 0.85em;
+		font-size: 0.9em;
 		margin: 0 0.25em;
 		padding: 0.35em 0.75em;
 		color: _palette(accent3);
@@ -166,7 +166,7 @@
 	pre {
 		-webkit-overflow-scrolling: touch;
 		font-family: _font(family-fixed);
-		font-size: 0.9em;
+		font-size: 0.95em;
 		margin: 0 0 _size(element-margin) 0;
 		background: _palette(border-bg);
 		overflow: hidden;

docs/assets/css/pygments.css

@@ -3,7 +3,7 @@ code.highlighter-rouge {
   color: #f9e2af;
   background: #11111b;
   padding: 0.35em 0.75em;
-  font-size: 0.9em;
+  font-size: 0.85em;
 }
 
 .highlighter-rouge {
@@ -122,7 +122,7 @@ code.highlighter-rouge {
   border: none !important;
   border-radius: 0 !important;
   color: inherit !important;
-  font-size: 0.95em !important;
+  font-size: 0.85em !important;
   line-height: 1.6 !important;
   margin: 0 !important;
   padding: 1.25em 1.75em !important;

docs/assets/css/syntax-dark.css

@@ -3,7 +3,7 @@ code.highlighter-rouge {
   color: #f2cc60;
   background: #21262d;
   padding: 0.35em 0.75em;
-  font-size: 0.9em;
+  font-size: 0.85em;
 }
 
 .highlighter-rouge {
@@ -102,7 +102,7 @@ code.highlighter-rouge {
   border: none !important;
   border-radius: 0 !important;
   color: inherit !important;
-  font-size: 0.95em !important;
+  font-size: 0.85em !important;
   line-height: 1.6 !important;
   margin: 0 !important;
   padding: 1.25em 1.75em !important;