@charset "UTF-8";

body {
    background-color: rgb(255,255,255);
    color: rgb(0,0,0);
    line-height: 168%;
    /*
    margin-left: 10%;
    margin-right: 5%;
    margin-top: 3.5em; */
    margin-top: 0.5em;
	font-size: 1em;
}

a:link          { color: #0000FF; text-decoration: none; }
a:link:hover    { color: #FF6600; text-decoration: underline; }
a:active        { color: #FF6600; text-decoration: underline; }
a:visited       { color: #0000AA; text-decoration: none; }
a:visited:hover { color: #FF6600; text-decoration: underline; } 

h2 > a[id] { color: #000000; text-decoration: none; }
h3 > a[id] { color: #000000; text-decoration: none; }
h4 > a[id] { color: #000000; text-decoration: none; }
h5 > a[id] { color: #000000; text-decoration: none; }
h6 > a[id] { color: #000000; text-decoration: none; }

#navbar {
  background-color: #EAEAEA;
  font-size: 0.9em;
  text-indent: 0.5em;
}

#title {
  margin-bottom: 8px;
}

#pageline {
 background: #81BBF2 none repeat scroll 0%;
 border-bottom: 1px solid #9C9C9C;
 clear: both;
 height: 4px;
 line-height: 4px;
 width: 100%;
 margin-bottom: 0.8em;
}

#indexpage { /* index.html */
  margin-left: 2%;
  margin-right: 2%;
}

#page {
  margin-left: 3%;
  margin-right: 4%;
}

#page p {
  margin-left: 1em;
}

#ad-foot, #ad-head {
  text-align: center;
  margin-left: 3%;
  margin-right: 4%;
}

@media print {
    #ad-foot, #ad-head, #bookmarklets { display: none; }
}

#last-modified {
  margin-top: 2em;
  text-align: right;
  color: gray;
  font-family: monospace;
}

#copyright {
    font-size: 0.9em;
    color: gray;
    font-family: verdana, sans-serif;
}

#bookmarklets {
  text-align: center;
  font-size: 0.9em;
}

h2 {
  border-bottom: solid 1px rgb(255,153,0);
}

blockquote {
  border: 1px dotted gray;
  padding: 0.4em;
}

pre {
  border: 1px solid #c7cfd5;
  background: #f1f5f9;
  margin: 20px 0;
  padding: 8px;
  text-align: left;
}

dd {
  margin-bottom: 1.2em;
}

/* docutils */
table.footnote .label {
  border-left: solid 1px black;
  margin-left: 1px
}

div.contents {
  background-color: rgb(233,233,233);
  border: outset 1px gray;
  padding: .4em;
}