body {margin-left: 10%; margin-right: 10%;}

div.dictionary {margin-top: 4em; margin-bottom: 4em;}

hr {width: 80%; margin-top: 1em; margin-bottom: 1em;
text-align: center;}
hr.mid {width: 40%;}
hr.tiny {width: 20%;}

sup {font-size: 75%; line-height: 50%; font-style: normal;
font-weight: normal;}

b.entry {font-size: 108%; line-height: 1.1em;}

a.tag {text-decoration: none; vertical-align: .3em; font-size: 80%;
padding-left: .25em; line-height: .1em;}
a.plain {text-decoration: none;}
a.error {border-bottom: 1px dotted red;}

div.dictionary a, div.mynote a, div.contents a, div.abbrev a
{text-decoration: none;}
div.dictionary a.external {border-bottom: 1px solid;}
div.dictionary a.error.external {border-bottom: 1px solid red;}

h1, h2, h3, h4, h5, h6 {text-align: center; font-style: normal;
font-weight: normal; line-height: 1.5; margin-top: .5em;
margin-bottom: .5em;}

h1 {font-size: 200%;}
h2 {font-size: 175%;}
h3 {font-size: 150%;}
h4 {font-size: 120%;}
div.endnote h4 {font-weight: bold;}
h5 {font-size: 100%;}
div.endnote h5 {font-weight: bold; font-size: 105%;
margin-top: 1em;}
h5.letterhead {font-size: 133%; margin-top: 2em; margin-bottom: 1em;
font-weight: bold; font-family: sans-serif;}
h6 {font-size: 85%;}


p {margin-top: .5em; margin-bottom: 0em; line-height: 1.2;}

p.illustration {text-align: center; margin-top: 1em;
margin-bottom: 1em;}

p.inset, div.inset {margin-right: 2em; margin-left: 2em;}

p.space, div.dictionary p.space {margin-top: 1em;}

div.hanging {margin-top: 0; margin-bottom: 0;}
p.hanging, div.hanging p {margin-left: 1em; text-indent: -1em;}

p.notation {font-size: 92%;}

p.center, div.center p, div.dictionary p.center {text-align: center;
margin-left: 0; text-indent: 0;}
p.right {text-align: right;}

div.abbrev {font-size: 92%;}

/* in dictionary */

div.dictionary p {margin-left: 1em; text-indent: -1em; margin-top: .3em;
clear: right;}

div.dictionary p.second {text-indent: 0;}
div.dictionary p.addition {padding: .2em .2em .2em 1.25em;
margin-left: -.25em; border: 1px solid #666;}

div.dictionary p.notation {text-indent: 0; margin-left: 2em;
margin-right: 4em; padding: .25em .5em;
font-size: 90%; font-family: sans-serif; border: 2px ridge #A9F;}

span.addition {padding: 0 .1em; border: 1px solid #666;}


/* footnotes */

div.footnote {margin: 2em; font-size: 95%;}


/* no tables in this document */


/* text formatting */

span.firstword {text-transform: uppercase;}

span.greek {font-family: serif, sans-serif;}

.smallcaps {font-variant: small-caps;}
.smaller {font-size: 88%;}

span.cursive {font-family: cursive;}

/* correction popup */

ins {text-decoration: none;}
ins.mycorr {border-bottom: thin dotted red;}
ins.authcorr {border-bottom: thin dotted blue;}

/* page number */

span.pagenum {position: absolute; right: 2%; font-size: 90%;
font-weight: normal; font-style: normal; text-align: right;
text-indent: 0em;}

/* Transcriber's Note */

.mynote {background-color: #DDE; color: #000;
font-family: sans-serif; font-size: 95%;}

div.mynote {margin: 1em 5%; padding: .5em 1em 1em;}
p.mynote {margin: 1em 5%; padding: 1em;}

div.dictionary p.mynote, div.abbrev p.mynote {text-indent: 0;
margin-top: .5em; padding: .5em;}

div.endnote {padding: .5em 1em 1em; margin: 1em 0;
border: 3px ridge #A9F; font-family: sans-serif; font-size: 95%;}

div.contents {font-family: sans-serif; font-size: 95%; margin: 4em 2em;
padding: .5em 1em 1em; border: 3px ridge #A9F;}
div.contents p {margin-left: 1.5em; text-indent: -1.5em;}

