diff --git a/documents/html/ros.css b/documents/html/ros.css
index 14c839a..fc77931 100644
--- a/documents/html/ros.css
+++ b/documents/html/ros.css
@@ -16,6 +16,16 @@ a {
code {
color: #145214; }
+pre {
+ background-color: #bababa;
+ padding-left: 1em;
+ padding-right: 1em;
+ padding-top: 0.7em;
+ padding-bottom: 1.5em;
+ border-radius: 4px; }
+ pre code {
+ color: #145214; }
+
dl {
padding-left: 2em; }
dl dt {
diff --git a/documents/ros.scss b/documents/ros.scss
index 0aede7e..2f9b7f2 100644
--- a/documents/ros.scss
+++ b/documents/ros.scss
@@ -3,9 +3,11 @@
font-style : italic;
}
+$bg-color: lightgrey;
+
body {
padding-left: 2em;
- background-color: lightgrey;
+ background-color: $bg-color;
}
$link-color: limegreen;
@@ -24,6 +26,21 @@ code {
color: darken( $link-color, 30% );
}
+pre {
+ background-color: darken( $bg-color, 10% );
+ padding: {
+ left: 1em;
+ right: 1em;
+ top: 0.7em;
+ bottom: 1.5em;
+ }
+ border-radius: 4px;
+ code {
+ color: darken( $link-color, 30% );
+ }
+}
+
+
dl {
padding-left: 2em;
dt {