.defntable                      { vertical-align:top; border:1px solid black; background-color:#EEF; margin: 1em 0; border-spacing:0px }
.defntable th                   { padding:4pt 20pt 4pt 4pt; border-bottom:1px solid #CCC; font-family:monospace; vertical-align:top }
.defntable td                   { padding:4pt; border-bottom:1px solid #CCC; font-size:90%; vertical-align:top }
.example                        { padding:4pt; border:1px solid black; background-color:#EEF }
th                              { text-align: left; vertical-align:top }
