Updates styles/website.css

shawnr · shawnr · commit eaebef0fe059 · 2017-07-25T00:33:29.000Z
Auto commit by GitBook Editor
diff --git a/styles/website.css b/styles/website.css
@@ -10,4 +10,7 @@
 }
 .page-inner .exercise div.editor.ace_editor {
     min-height: 300px !important;
+}
+.tip-box pre {
+    font-size: 12px;
 }

Original file line number	Diff line number	Diff line change
`@@ -10,4 +10,7 @@`
`10`	`10`	`}`
`11`	`11`	`.page-inner .exercise div.editor.ace_editor {`
`12`	`12`	`min-height: 300px !important;`
	`13`	`+}`
	`14`	`+.tip-box pre {`
	`15`	`+ font-size: 12px;`
`13`	`16`	`}`