From 9662ab9e0f569e82475b56c3d1dcf0b23792a34e Mon Sep 17 00:00:00 2001
From: Boris Kolpackov <boris@codesynthesis.com>
Date: Fri, 13 Apr 2018 11:33:31 +0200
Subject: Add style for notes

---
 common.css | 28 +++++++++++++++++++++++++++-
 1 file changed, 27 insertions(+), 1 deletion(-)

diff --git a/common.css b/common.css
index acd4c38..ce35ae1 100644
--- a/common.css
+++ b/common.css
@@ -11,7 +11,7 @@ html
   line-height: 1.4em;
   letter-spacing: 0.01em;
 
-  color: #333;
+  color: #292929;
 }
 
 body {margin: 0;} /* There is non-0 default margin for body. */
@@ -209,6 +209,32 @@ p, li, dd {text-align: justify;}
 .code {text-align: left;} /* Manually aligned. */
 pre {text-align: left;}   /* If it is inside li/dd. */
 
+/* Notes. */
+
+.note
+{
+  color: #606060;
+}
+
+div.note
+{
+  margin: 1em 0 1em 0;
+
+  padding-left: 0.5em;
+  border: 0.25em;
+  border-left-style: solid;
+  border-color: #808080;
+
+  page-break-inside: avoid;
+}
+
+div.note :first-child {margin-top:    0;}
+div.note :last-child  {margin-bottom: 0;}
+
+span.note::before {content: "[Note: "}
+span.note::after  {content: "]"}
+
+/* Links. */
 a
 {
   color: #3870c0;
-- 
cgit v1.1