]> git.plutz.net Git - shellwiki/commitdiff
Merge commit 'ff5af5cdcdc909682fede7999751bce20694bc81'
authorPaul Hänsch <paul@plutz.net>
Mon, 28 Aug 2023 17:59:21 +0000 (19:59 +0200)
committerPaul Hänsch <paul@plutz.net>
Mon, 28 Aug 2023 17:59:21 +0000 (19:59 +0200)
1  2 
cgilite/common.css

diff --combined cgilite/common.css
index 51feb2efa7b7dbb61ce7a5aa73c426775037e62b,61d8caa8f421f3b05883be3784b11969280b818a..61d8caa8f421f3b05883be3784b11969280b818a
@@@ -54,8 -54,12 +54,12 @@@ blockquote 
    white-space: pre-line;
  }
  
- ul, ol { padding-left: 1.125em; }
+ ul, ol { padding-left: 1.5em; }
  dl dt { font-weight: bolder; }
+ dl dd {
+   margin: 0 2em;
+   background-color: #EEE;
+ }
  table th { font-weight: bold; }
  
  li p + ul, li p + ol {
@@@ -175,4 -179,8 +179,8 @@@ input[type=radio].tab ~ *.tab 
    box-shadow: .125em .125em .125em #888;
  }
  
+ /* Markdown line-block */
+ .line-block { white-space: pre-wrap; }
+ .line-block br { display: none; }
  /* ======= End Common Styles ======= */