.unknown-tag {
  color: #FFDD00;
  font-size: 130%;
}

.blog h2 {
  font-size: 100%;
  color: purple;
  margin-top: 30px;
}

.blog h3 {
  font-size: 120%;
}

.blog h3 a {
  color: black;
  text-decoration: none;
}

.blog h3 a:hover {
  text-decoration: underline;
}

.blog h3 a {
  color: black;
}

.blog blockquote h1 {
  font-size: 150%;
  color: black;
}

.blog blockquote h2 {
  font-size: 120%;
  color: black;
}

.literal {
  font-family: monospace;
  color: #006600;
}

.subtitle {
  font-style: italic;
  font-size: smaller;
}

.keywords {
  font-size: small;
}

.blog .footer {
  font-size: 80%;
}

.blog p.footer {
  margin-bottom: 30px;
}

body {
  background: white url(/images/left_back.png);
  background-repeat: repeat-y;
  font-family: sans-serif;
  margin: 0px;
  padding: 0px;
}

a img {
  border: 0px;
}

#body {
  margin: 10px 190px 0px 10px;
  padding-top: 0px;
}

#body h1 {
  margin-top: 0px;
}

#body h1:first-letter {
  font-size: 200%;
}

#banner {
  position: absolute;
  top: 0px;
  right: 5px;
  width: 193px;
  margin: 0px;
}

#sidebar {
  position: absolute;
  top: 51px;
  right: 0px;
  width: 170px;

  margin: 10px 10px 0px 0px;
  padding: 0px;

  border-left: #DDDDDD solid 1px;
}

#sidebar p.heading {
  padding: 3px 0px 3px 0px;
  margin: 0px;
  font-weight: bolder;
  font-size: 80%;
  background-color: #DDDDDD;
  text-align: center;
}

#sidebar p {
  margin-left: 10px;
  margin-right: 10px;
}

#sidebar ul {
  padding-left: 10px;
  padding-right: 10px;
  margin-bottom: 0px 0px 15px 0px;
  list-style-type: none;
}

#sidebar hr {
  border: 0px;
  border-top: 1px #DDDDDD solid;
}

.example {
  margin: 20px 40px 30px 40px;
}

.example .body {
  overflow: auto;
  margin: 0px;
  padding: 10px;
  border: 1px black solid;
  background-color: #FFF5E0;
}

.example .body pre {
  padding: 0px;
  margin: 0px;
}


.example .title {
  text-align: center;
  font-weight: bolder;
}

.banner {
  margin: 10px;
}

q {
  quotes: '\201C' '\201D' '\2018' '\2019';
  font-style: italic;
}

/* Mozilla knows this, IE doesn't */
p>q, li>q {
  font-style: normal;
}

q:before {
  content: open-quote;
}

q:after {
  content: close-quote;
}

blockquote {
  margin: 20px 40px 30px 40px;
	font-style: italic;
  padding: 10px;
  border: 1px #F0E0D0 dashed;
  background-color: #FFFFE0;
}

.admon {
  padding: 0px 8px 0px 45px;
}

h5.admon {
  display: none;
}

.note {
  background: url(/images/blog/note.png) no-repeat;
  background-position: +10px +.2em;
}

hr.admon {
  border: 0px;
  border-top: 1px #888888 dashed; 
  height: 1px;
}

.variablelist {
  margin-left: 2ex;
}

.person {
  white-space: nowrap;
}