diff options
author | Mariano Guerra <[email protected]> | 2016-10-21 21:24:20 +0100 |
---|---|---|
committer | Mariano Guerra <[email protected]> | 2017-03-13 11:51:52 +0100 |
commit | 3bc08453a05173fd69467568eb3c6ae59666bde5 (patch) | |
tree | 9a82f5fc4cf6f92c231335f23e0ba1e111ca13f6 | |
parent | 2887ebb0cd748f60cfe410f414ad27acfc7a3cb5 (diff) | |
download | otp-3bc08453a05173fd69467568eb3c6ae59666bde5.tar.gz otp-3bc08453a05173fd69467568eb3c6ae59666bde5.tar.bz2 otp-3bc08453a05173fd69467568eb3c6ae59666bde5.zip |
improve text spacing, center footer
-rw-r--r-- | lib/erl_docgen/priv/css/otp_doc.css | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/erl_docgen/priv/css/otp_doc.css b/lib/erl_docgen/priv/css/otp_doc.css index fbcf53125f..008ef681ce 100644 --- a/lib/erl_docgen/priv/css/otp_doc.css +++ b/lib/erl_docgen/priv/css/otp_doc.css @@ -9,6 +9,7 @@ body { overflow: scroll; height: 100%; max-height: 100%; + line-height: 1.5em; } th { font-family: Verdana, Arial, Helvetica, sans-serif } @@ -62,6 +63,7 @@ a:visited { color: #1b6ec2; text-decoration: none } .footer { margin: 15px; /* Magins for inner DIV inside each DIV (to provide padding) */ + text-align: center; } span.bold_code { font-family: mono, Courier, monospace; white-space: pre; font-weight: bold } |