.lateximg {vertical-align:middle;}

.brokenLink{ color:#bb5555; text-decoration:none; font-weight: bold;}

.printprev { font-size: smaller; }

.includeDisplay {
  font-family: Verdana, Helvetica, sans-serif;
  background: #ffffff;
  margin-right: 0%;
  margin-left: 0%;
  padding-left: 10px;
  padding-right: 10px;
  padding-top: 5px;
  padding-bottom: 5px;
  border: 1px solid;
  border-color: #bbbbbb;
}

.includePrint {
  font-family: Verdana, Helvetica, sans-serif;
  background: #ffffff;
}

.searchhighlight {
  background: #ffdd66;
  color: #555555;
  font-weight: bold;
}

dt.inner {
font-weight: bold;
}

dd.inner {
font-style: oblique;
}


table.inner {
  background: #a0a0a0;
  border-width: 0px;
  padding: 0px;

}

tr.inner {
  background: #F8F8F8;
}

th.inner, td.inner {
  font-size: smaller;
  padding: 2px;
}

body {
font-family: Tahoma, Arial, Helvetica, sans-serif;
background-color: #f0f0f0;
font-size: medium;
}

h1 {
font-family: Tahoma, Arial, Helvetica, sans-serif;
font-weight: bold;
text-decoration: none;
color: #0066CC;
font-size: x-large;
}


h2 {
font-family: Tahoma, Arial, Helvetica, sans-serif;
font-weight: bold;
text-decoration: none;
color: #339900;
}

h3 {
font-family: Tahoma, Arial, Helvetica, sans-serif;
font-weight: bold;
text-decoration: none;
color: #660000;
}

a {
font-family: Tahoma, Arial, Helvetica, sans-serif;
font-weight: bold;
text-decoration: none;
color: #5555bb;
}

a:hover{ text-decoration: underline;}

a.new{ color:#bb5555; text-decoration:none; }

code {
  font-family: Courier, monospace;
  font-size: 12px ; color: #990033;
}

pre {
  font-size: 12px ; color: #3366CC;
}

.contents {
font-family: Tahoma, Arial, Helvetica, sans-serif;
background: #ffffff;
margin-right: 0%;
margin-left: 0%;
padding: 1.5em;
border: 1px solid;
border-color: #bbbbbb;
}

.subsection {
  font-family: Verdana, Helvetica, sans-serif;
  background: #ffffff;
  margin-right: 0%;
  margin-left: 0%;
  padding-left: 10px;
  padding-right: 10px;
  padding-top: 5px;
  padding-bottom: 5px;
  border: 1px solid;
  border-color: #bbbbbb;
}

.title {
background: #ffffff;
}

.leftMenu {
font-family: Tahoma, Arial, Helvetica, sans-serif;
background: #ffffff;
margin-right: 0%;
margin-left: 0%;
padding: 0.5em;
border: 1px solid;
border-color: #bbbbbb;
}

.pageHeader {
font-family: Tahoma, Arial, Helvetica, sans-serif;
font-weight: bold;
font-size: 200%;
color: #bb5555;
}

.subHeader{
font-family: Tahoma, Arial, Helvetica, sans-serif;
font-weight: bold;
font-size: larger;
}

.topMenu{
margin-left: 0%;
margin-right: 0%;
background: #bbbbbb;
color: #dddddd;
}

.bottomMenu{
margin-left: 0%;
margin-right: 0%;
background: #bbbbbb;
color: #dddddd;
}

.menu{
margin-left: 0%;
margin-right: 0%;
background: #bbbbbb;
color: #dddddd;
}

.menu a{
color: #ffffff;
}

.menu a:hover {
color: #5555bb;
text-decoration: none
}

.backlinks{
font-size: x-small;
font-style: italic;
}

.navbar {
font-family: Tahoma, Arial, Helvetica, sans-serif;
background: #ffffff;
padding-left: 5px;
padding-right: 5px;
border-left: 1px solid;
border-right: 1px solid;
border-top: 1px solid;
border-color: #bbbbbb;
}

.fakeLink {
font-family: Tahoma, Arial, Helvetica, sans-serif;
color: #0000ff;
text-decoration: underline;
}

.footnote {
font-family: Tahoma, Arial, Helvetica, sans-serif;
font-size: small;
}

.red {
font-family: Tahoma, Arial, Helvetica, sans-serif;
font-size: 12px ; color: #ff0000;
}

ul {
margin-top: 0.8em;
margin-bottom: 0.8em;
}

li {
margin-top: 0.5em;
margin-bottom: 0.5em;
}

th, td {
font-size: smaller;
}

td.recent,th.recent{
background: #ffffff
}

.logo {
vertical-align: baseline;
border-width: 1px;
border-color: #bbbbbb;
color: #ffffff;
}

hr {
border: solid silver;
height: 1px;
}

.notify {
font-family: Tahoma, Arial, Helvetica, sans-serif;
font-size: smaller ;
}

.searchresult{
background-color: #dcdcdc;
}