BODY
{ background-color: #FFFFFE; color: black; font-family: Arial, Helvetica, Verdana; font-size: 10pt; line-height: 1.5; }

#jason_lamport
{ font-size: 24pt; border-bottom:2px solid #ddd; width: 30%; text-align:center; margin-left:35%; margin-right: 35%; }

#jason_lamport_content
{ vertical-align: top; margin-left: 15%; width: 70%; margin-right: 15%; margin-top: 10px; padding: 15px; border:1px solid #eee; clear: both; white-space: normal; }

#jason_lamport_nav
{ border:1px solid gray; padding: 6px; float: left; margin-left: 2px; margin-right: 10px; margin-bottom: 20px; display: inline; }

#jason_lamport_pre
{ vertical-align: top; margin-left: 15%; width: 70%; margin-right: 15%; margin-top: 10px; padding: 15px; border:1px solid #eee; clear: both; white-space: pre;}

a
{ font-family: Arial, Helvetica, sans-serif; font-size: 14pt; font-weight: bold; color: #003399; }

b
{ font-family: Arial, Helvetica, sans-serif; font-size: 14pt; font-weight: bold; color: #003333; }

a:hover { color: #0033DD; }

#pic
{ border:1px solid black; margin: 4px; }