]> git.plutz.net Git - shellwiki/commitdiff
Merge commit '1b333027ebf2f2cef52548ad5e5f342dcf954464'
authorPaul Hänsch <paul@plutz.net>
Sun, 26 Jun 2022 20:33:34 +0000 (22:33 +0200)
committerPaul Hänsch <paul@plutz.net>
Sun, 26 Jun 2022 20:33:34 +0000 (22:33 +0200)
1  2 
cgilite/common.css

diff --combined cgilite/common.css
index c5cf6c443c355a7ef2a2219278173968e0aa6d61,65c28f3ad459283c2fd026e072fdb6b430b8fc44..65c28f3ad459283c2fd026e072fdb6b430b8fc44
@@@ -16,9 -16,15 +16,15 @@@ body 
    color: #000; background: #FFF;
  }
  
- ul, ol, dl, table, p { margin-bottom: .5em; }
+ ul, ol, dl, table, pre, p { margin-bottom: .5em; }
  p:only-child { margin-bottom: 0; }
  
+ table {
+   max-width: 100%;
+   overflow-x: auto;
+ }
+ th, td { padding: .25em .75em; }
  a {
    font-style: italic;
    text-decoration: underline;