version 1.39, 2018/11/26 15:02:38 |
version 1.41, 2018/12/04 05:21:04 |
|
|
html { max-width: 65em; } |
html { max-width: 65em; } |
body { font-family: Helvetica,Arial,sans-serif; } |
body { font-family: Helvetica,Arial,sans-serif; } |
table { margin-top: 0em; |
table { margin-top: 0em; |
margin-bottom: 0em; } |
margin-bottom: 0em; |
td { vertical-align: middle; } |
border-collapse: collapse; } |
|
/* Some browsers set border-color in a browser style for tbody, |
|
* but not for table, resulting in inconsistent border styling. */ |
|
tbody { border-color: inherit; } |
|
tr { border-color: inherit; } |
|
td { vertical-align: middle; |
|
padding-left: 0.2em; |
|
padding-right: 0.2em; |
|
border-color: inherit; } |
ul, ol, dl { margin-top: 0em; |
ul, ol, dl { margin-top: 0em; |
margin-bottom: 0em; } |
margin-bottom: 0em; } |
li, dt { margin-top: 1em; } |
li, dt { margin-top: 1em; } |