.document-menu-heading { font-size: 10px } .document-menu-item { font-size: 10px } .document-menu-background {} a.image:link {color:black} a.image:visited {color:black} A:hover { background: yellow} p {line-height:1.3em} .global-heading1 {font-size: 1.3em; font-weight: bold; margin: 0.3em 0 0.3em 0; color: #c60000} .global-heading2 {font-size: 1.3em; font-weight: bold; margin: 0.3em 0 0.3em 0;} div#menu {border: 0px solid silver; margin-top: 20px; margin-left: 15px; left: 50px; top: 69px; width: 150px; padding-right: 0px} div#menu a {background-color: #eee; display: block; padding:0.4em; margin:0.5em 0.3em 0.5em 0; border: 1px solid silver; text-decoration:none; font-size:0.9em;} div#menu a:hover {background-color: #ddd} div#menu a.noborder {border:0; background-color:#fff} div#menu a.noborder:hover {background-color:#fff} .foot {font-size:0.8em} div#a1 {left: 230px; top: 69px; padding-right:30%; position:absolute} div#a2 {font-size:0.8em; border: 16px solid silver; position:relative} p.guidesauthor {font-size: 0.9em ; color: #c60000} div.guidesfooter {font-size:0.8em; border-top: 1px solid silver; padding-top:1em;} /* extensions for "Developing Linguistic Corpora" */ div#a3 {left: 230px; top: 10px; padding-right:30%; position:relative} p.caption {font-size: small; font-style: italic} p.definition {font-weight: bold; border-style: solid; border-width: thin; padding: 0.2cm} p.example {margin-left: 30px} p.small_example {font-size: small; margin-left: 10px} p.principle {font-weight: bold; border-style: solid; border-width: thin; padding: 0.2cm} p.wordlist {font-style: italic; margin-left: 30px} table.small_example {font-size: small; margin-left: 10px} dt {font-style: italic}