/*
 * special styles for top page
 */

#mirror-navi {
  text-align: right;
  font-size: small;
}

#lang-navi {
  margin-left: 5%;
}

H1 {
  margin-left: 7%;
  padding-left: 0;
  border-width: 0 0 0 0;
  text-align: left;
}

#web-info {
  margin: 0 5% 0.6em 5%;
  padding-bottom: 0.2em;
  border-bottom-width: thin;
  border-style: groove;
  border-color: gray;
  font-style: italic;
  color: #f23;
  font-size: 60%;
  text-align: right
}

.monthly-theme {
  text-align: center;
  float: right;
  padding: 0.5em;
}

.monthly-theme p { font-size: 80% }

h2 {
   border-width: 0 0 0 0.8em;
   background: white;
}

#whatsnew {
  color: #f37;
  border-color: #f26;
}

#contents {
  clear: both;
  color: navy;
  border-color: #46c;
}

.topintro {
  padding: 0.3em 0.3em 0.3em 0.3em;
  background-color: #cfcfff;
  border-width: 0.1em 0.1em 0.1em 0.1em;
  border-color: white;
  margin-left: 3%;
}

#banners {
  margin: 1.0em 5% 0.5em 5%;
  padding: 0.2em 0;
  border-width: thin 0;
  border-style: groove;
  border-color: gray;
  text-align: center
}