🎨 Tweak CSS styles for shell animations (#3888)

docs/en/docs/css/custom.css

@@ -1,3 +1,13 @@
+.termynal-comment {
+  color: #4a968f;
+  font-style: italic;
+  display: block;
+}
+
+.termy [data-termynal] {
+  white-space: pre-wrap;
+}
+
 a.external-link::after {
   /* \00A0 is a non-breaking space
         to make the mark be on the same line as the link
@@ -12,6 +22,10 @@ a.internal-link::after {
   content: "\00A0↪";
 }
 
+.shadow {
+  box-shadow: 5px 5px 10px #999;
+}
+
 /* Give space to lower icons so Gitter chat doesn't get on top of them */
 .md-footer-meta {
   padding-bottom: 2em;

docs/en/docs/css/termynal.css

@@ -17,7 +17,8 @@
     max-width: 100%;
     background: var(--color-bg);
     color: var(--color-text);
-    font-size: 18px;
+    /* font-size: 18px; */
+    font-size: 15px;
     /* font-family: 'Fira Mono', Consolas, Menlo, Monaco, 'Courier New', Courier, monospace; */
     font-family: 'Roboto Mono', 'Fira Mono', Consolas, Menlo, Monaco, 'Courier New', Courier, monospace;
     border-radius: 4px;