// code boxes
$color-error: #bd2c00 !default;
$color-output: #303030 !default;
-$color-source: #6e5494 !default;
+$color-source: #360084 !default;
// blockquotes
$color-callout: #f4fd9c !default;
article h3 { margin: 40px 0 16px; }
+article pre {
+ margin: 0;
+ border: 0;
+}
+
//----------------------------------------
// Miscellaneous.
//----------------------------------------