body { background-color:#f3f3f3 }

a:link { text-decoration:none; color:#531113 }
a:hover{ color:#676767; text-decoration:underline }
a:visited { text-decoration:none; color:#666666 }

.title { color:#333333; margin-right:2em; text-align:right }

.bigwords { font-size:18pt }

.c01words { text-indent:-2em; margin-left:2em; font-size:12pt; font-weight:bold; color:#434343; vertical-align:top; padding-left:5px }
.regularity { font-size:11pt; vertical-align:top; text-indent:-2em; margin-left:2em }

.abstract { font-size:10pt }
.containerlisting { font-size:10pt; padding-left:5px; padding-right:3px; text-indent:-2em; margin-left:2em; vertical-align:top }
.boxfolder { font-size:10pt; padding-left:5px; padding-right:3px; text-align:right; vertical-align:top }
.smallwords { font-size:9pt }

.hanging { text-indent:-2em; margin-left:2em; vertical-align:top } 

.caption { font-size:10pt; color:#714a4a; text-align:center }
.scopey { padding-left:25px; color:#666666; font-size:10pt; vertical-align:top }

.left { text-align:left }
.right { text-align:right }
.top { vertical-align:top }

.darkerlines { background-color:#eae4d8 }
.mediumlines { background-color:#e4e4da }
.lightlines { background-color:#fafaf8 }
.lightestlines { background-color:#fdfdfb }

.headback { background-color:#fafaf8 }
.tocback { background-color:#617ea1 }
.toc { background-color:#cccccc }

ul { font-size:10pt }
li { font-size:10pt }
.lead { font-size:16pt; color:#334433 }
.leadoff { font-size:16pt; color:#f4f4f4 }
.lead1 { font-size:13pt; margin-left:1em; color:#666666 }
.body { font-size:12pt; margin-left:2em; color:#121212 }
.c0elements { font-size:12pt; margin-left:1em; color:#121212 }
.controlaccess { margin-left: 3em; font-size:10pt }

<! --- Version 3.0 support for stylus 3.0, compatible with previous ----->