From 5794326c9087ebd68bbaa50f5a45c071bf825157 Mon Sep 17 00:00:00 2001 From: Masataro Asai Date: Sat, 9 Jan 2016 23:21:06 +0900 Subject: [PATCH] more style edit --- documents/html/ros.css | 10 ++++++++++ documents/ros.scss | 19 ++++++++++++++++++- 2 files changed, 28 insertions(+), 1 deletion(-) 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 {