ea05296d2cef83cbfa28ae8536f3b6bfa9b8ebdf
2 font-family: sans-serif
;
26 border-top: 1px solid
#bbb;
53 text-decoration: none
;
56 transition-property: background
;
57 transition-duration: 0.1s;
68 box-shadow: 0 1px 1px #ddd;
82 background-color: #efefef;
100 font: 1.15em monospace
;
101 text-transform: none
;
113 table
td:first-child
{
116 table
td:last-child
{
121 margin-bottom: 0.15em;
126 margin-bottom: 0.75em;
142 margin-bottom: 0.25em;
151 h2
+ ul
, h3
+ ul
, h2
+ dl
, h3
+ dl
{
155 sup
, sub
{ font-size: 0.85em; }
156 sup
{ vertical-align: super
; }
157 sub
{ vertical-align: sub
; }