@import url(common.css);

/* Header */

td.header { 
  border-bottom: 2px solid #336;
}

/* Menu */

td.menu div.menuitem { 
  background-color: #ddd;
  border-bottom: 1px solid #336;
}

td.menu div.menuitem p{ 
  margin: 0;
  padding-top: 0.5ex;
  padding-bottom: 0.5ex;
  padding-left: 0.75ex;
  padding-right: 0.75ex;
}

td.menu div.submenu { 
  background-color: white;
  /* The following trick is needed to make IE show a menu item's border when
     it's submenu is open */
  border-bottom: 1px solid white;
}

td.menu div.submenu p{ 
  font-size: 85%;
  margin: 0;
  padding-top: 0.4ex;
  padding-bottom: 0.4ex;
  padding-left: 1.75ex;
  padding-right: 0.75ex;
}

td.menu a { 
  text-decoration: none;
}

td.menu p.logo { 
  background-color: white;
  text-align: center;
  border: 0;
}

td.menu p.selected { 
  font-weight: bold;
}

td.menu p.submenu { 
  background-color: white;
}

/* Contents */

td.contents { 
  border-left: 2px solid #336;
  border-bottom: 2px solid #336;
  padding: 2ex;
}

td.contents .note { 
  color: #c33;
  font-weight: bold;
}

td.contents p, td.contents ul, td.contents ol, td.contents dl,
td.contents table { 
  margin-top: 1ex;
  margin-bottom: 1ex;
}

td.contents ul, td.contents ol, td.contents dl { 
  font-size: 90%;
}

td.contents dl {
  padding-left: 1em;
}

td.contents dt {
  font-weight: bold;
}

/* This seems to be necessary to prevent applying the former rule
   multiple times to embedded lists */
td.contents ul ul, td.contents ul ol, td.contents ul dl,
td.contents ol ul, td.contents ol ol, td.contents ol dl,
td.contents dl ul, td.contents dl ol, td.contents dl dl {
  font-size: 100%;
}

td.contents table { 
  margin-left: 1em;
}

td.contents table table {
  margin-left: 0;
}

td.contents td p {
  margin-right: 1em;
}

td.contents pre.code {
  font-size: 110%;
  margin-left: 2em;
  margin-top: 1ex;
  margin-bottom: 1ex;
}

td.contents code { 
  font-size: 110%;
}

td.contents p.topLink { 
  text-align: right;
}

td.contents h4 { 
  font-weight: bold;
  border-left: 15px solid silver;
  padding-left: 0.5ex;
}

/* Vertical bar at the right */

td.vertical { 
  border-bottom: 2px solid #336;
  background-color: #eee;
  font-size: 80%;
  text-align: center;
}