diff options
author | Brett Randall <javabrett@gmail.com> | 2020-09-07 14:27:36 +1000 |
---|---|---|
committer | rofl0r <rofl0r@users.noreply.github.com> | 2020-09-07 12:34:35 +0100 |
commit | 559faf7957ffed2fff3cc282426dd0f7bfa4485b (patch) | |
tree | 3d7ff6148c031b3265939f122b3a3cddd7670d7a /docs/web/stylesheets/stylesheet.css | |
parent | a8848d4bd898a15e02a8f4210917166bca9f50b1 (diff) |
website stylesheet: added pre margin-bottom: 20px.
this improves rendering of literal code paragraphs.
Diffstat (limited to 'docs/web/stylesheets/stylesheet.css')
-rw-r--r-- | docs/web/stylesheets/stylesheet.css | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/web/stylesheets/stylesheet.css b/docs/web/stylesheets/stylesheet.css index 8b1d2c0..eac0014 100644 --- a/docs/web/stylesheets/stylesheet.css +++ b/docs/web/stylesheets/stylesheet.css @@ -173,6 +173,7 @@ pre, code { pre { width: 100%; padding: 10px; + margin-bottom: 20px; box-shadow: 0 0 10px rgba(0,0,0,.1); overflow: auto; } |