body         { font-family: Georgia, "Georgia Ref";

               font-size: 18pt;

               background-color: #000066 }



a,

body,

hr           { color: #ffff00 }



a            { text-decoration: none }



.authors,

.event,

.title       { text-align: center }



.functiondef { margin-left: 2em;

               margin-right: 1em;

               text-indent: -1em }



.authors,

.event       { margin-top: 1em;

               margin-bottom: 1em }



.author,

.company,

.event-date,

.event-name,

.event-place { margin-top: 0em;

               margin-bottom: 0em }



.arg,

.company,

.foreign     { font-style: italic }



.function    { font-weight: bold }



.element,

code,

pre          { font-family: monospace }