div.eid { font-family: Georgia, serif; font-size: 14px; color: #111111; }
div.eid.entry { margin-left: 1em; text-indent: -1em; margin-top: 0.5em; margin-bottom: 0.5em; line-height: 1.4em; }
span.eid.super { position: relative; top: -0.5em; font-size: 75%; }
span.eid.label { font-family: sans-serif; color: #006600; font-style: italic; font-size: 95%; }
span.eid.title {  }
span.eid.line {  }
span.eid.example {  }
span.eid.src { font-family: Georgia, serif; font-weight: bold; xcolor: rgb(199, 12, 23); color: #993300; }
span.eid.trg { font-family: Georgia, serif; font-weight: normal; color: #000033; }
span.eid.title span.src { font-size: 120%; }
span.eid.example span.src { color: #111111; }
span.eid.example span.trg { color: #000033; font-style: italic; }
span.eid.noindex span.src { color: #111111; font-size: 100% }
span.eid.noindex span.trg { color: #000033; font-style: italic; }
span.eid.supersense { background-color: #ffffcc; padding: 0px 5px; border-radius: 2px; border: 1px solid #cccccc;  }
span.eid.sense { font-family: sans-serif; background-color: #ffffcc; padding: 0px 5px; border-radius: 2px; border: 1px solid #cccccc; }
span.eid.subsense { font-family: sans-serif; font-weight: bold; color: #666666; background-color: #ffffcc; padding: 0px 2px; border-radius: 2px;  }
span.eid.bullet { color: #6699ff; }