body         { font-family: Georgia, "Georgia Ref";
               font-size: 18pt;
               background-color: #000066;
               color: #ffff00 }

hr           { color: #ffff00 }

.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 }