restore lost CSS settings

diff --git a/assets/css/bootstrap.css b/assets/css/bootstrap.css
index 7678046ec8481f8be500a35a538bb94047b4c6d7..dacc1e5bf470ee29345216b748a7e409c0227590 100644 (file)
--- a/assets/css/bootstrap.css
+++ b/assets/css/bootstrap.css
@@ -1476,7 +1476,7 @@ abbr[data-original-title] {
 blockquote {
   padding: 10px 20px;
   margin: 0 0 20px;
-  font-size: inherit;
+  font-size: 17.5px;
   border-left: 5px solid #eeeeee;
 }
 blockquote p:last-child,

diff --git a/assets/css/lesson.scss b/assets/css/lesson.scss
index 04010113f92cf4a20945a0dfb93718d829f325bc..cba7c429a4f46ba9674054c181fc483106454c82 100644 (file)
--- a/assets/css/lesson.scss
+++ b/assets/css/lesson.scss
@@ -156,6 +156,8 @@ blockquote :not(h2) + p {
 // Override Bootstrap settings.
 //----------------------------------------
 
+blockquote { font-size: inherit; }
+
 code {
   white-space: nowrap;
   padding: 2px 5px;
@@ -163,6 +165,11 @@ code {
   background-color: #e7e7e7;
 }
 
+samp { hyphens: none; }
+
+dt { margin-top: 20px; }
+dd { margin-left: 2em; }
+
 article img {
     display: block;
     margin: 20px auto;