/* margin, padding, width, display, list-style, float */
body {
  padding: 0;
  margin: 0;
  font-size: small;
}
#shell {
  margin: 0 auto;
  width: 90%;
}

#header {
  padding: 0 1em;
  color: #FFF;
  background-color: #004490;
}
#header h1 a {
  color: #FFF;
  text-decoration: none
}

#footer {
  margin-top: 2em;
  padding-top: 1em;
  border-top: 1px solid #DCDCDC;
  text-align: right;
}
#footer p {margin: 0}

.text, .button {
  padding: 2px;
  border : 1px solid;
}
.text    {width:500px}
.button  {width:100px}
textarea {height:10em}

h2 {
  padding-left: 0.5em;
  margin: 2em 0 0 0;
  text-align: left;
  border-left: 9px solid #095894;
}
h3 {
  margin-bottom: .5em;
  padding-left: .5em;
  font-size: 1em;
  border-left: 1em solid #DCDCDC;
}

ul, ol {padding-left:1.5em}
ul     {list-style:square}

dl#changelog dt {
  margin:0;
  width: 10em;
  float: left;
  font-weight: bold;
}
dl#changelog dd {
  margin-left: 11em;
}


#warn, #update-info
{
  margin-left       : 0;
  padding           : .5em;
  border            : 2px solid #A52A2A;
  background-color  : #FFE4C4;
}
#update-info {display:none}
#notice
{
  margin-left       : 0;
  padding           : .5em;
  border            : 2px solid #004490;
  background-color  : #E6E6FA;
}