body {
  background-color: #dddddd;
  font-family: sans-serif;
  font-size: 95%;
  text-align: center;  /* IE hack */
}
.page {
  background-color: #f8f8f8;
  padding: .5em;
  margin: 1em auto;
  border: 2px solid #aaaaaa;
  -moz-border-radius: .7em;
  border-radius: .7em;
  width: 50em;
  text-align: left;  /* IE hack */
}
.page2 {
  padding: 2px;
  margin: 1em auto;
  background-color: #cccccc;
  border: 2px solid #d6d6d6;
  -moz-border-radius: .7em;
  border-radius: .7em;
  width: 50em;
}

p,ul,ol,pre,dl,h2,h3,h4,h5,h6 {
  margin: 0 25% .5em 25%;
}
p,li,dd {
	text-align: justify;
}
ul li {
  margin-left: 2em;  /* for IE */
}
ul > li {
  margin-left: 0;  /* ignored by IE */
}
blockquote {
  margin: 0 26% 1em 26%;
}
blockquote p {
  margin: 0 0 0 0;
}
blockquote.cite {
  border-left: 2px solid #666666;
  padding-left: .5em;
}
h1 {
  margin: 0 15% .5em 15%;
}
dt {
  font-weight: bolder;
}
h1,h2,h3,h4 {
  clear:both;
}

.header h1 {
  text-align: center;
/*  color: white;
  padding-top: 4em;
  font-size: inherit;*/
}

/*.header {
  position: relative;
  margin: .5em;
  font-size: inherit;
  height: 9em;
}*/

h2 {
  margin-top: 2em;
}
h3 {
  margin-top: .5em;
}

.block {
	float: left;
  width: 14.2em;
  height: 6em;
  background-color: #eeeeee;
  margin: .5em;
  padding: .5em;
  background-image: url(fade_corner.jpg);
  background-repeat: no-repeat;
  background-position: bottom right;
}
.block h2 {
  margin: 0;
  font-size: larger;
}
.block p {
  margin: 0;
}

.nav {
  text-align: center;
  font-size: smaller;
}

.nav * {
  padding: .2em 1em;
  background-color: #eeeeee;
}

.current_nav {
  font-weight: bolder;
  color: gray;
}

.button {
  border: 1px outset;
  font-family: sans-serif;
  white-space: nowrap;
  font-size:smaller;
}

.float_after {
  float: right;
}

.attribution {
  text-align: right;
}

pre {
  padding: .5em;
  border: 1px dashed black;
  background-color: #dddddd;
}

a.feed {
  background-color: #ee7700;
  color: white;
  padding: 1px 0;
  font-size: x-small;
  border: 1px solid #999999;
  text-decoration: none;
  white-space: nowrap;
  box-sizing: content-box;
}

.feedtype, .feedversion {
  border: 1px solid white;
  padding-left: 2px;
  padding-right: 2em;
}
.feedversion {
  background-color: #999999;
  border-left: 0;
}

a.fm_project {
  text-decoration: none;
  border: 1px outset #bbddff;
  padding: 1px;
  background-color: #bbddff;
  font-size: x-small;
  color: black;
  white-space: nowrap;
}
a.fm_project:before {
  content: "][";
  font-weight: bolder;
  background: yellow;
  color: black;
  border: 1px solid black;
  padding: 0 .2em;
  -moz-border-radius: 1em;
}

.change_log {
	clear: both;
}

.release_info {
	color: gray;
	float: left;
	padding-left: 12.5em;
	margin-left: 0;
	margin-right: .5em;
}

.release_info * {
	display: block;
}

.release_number {
	font-size: 200%;
}
.release_date {
	font-size: 75%;
}