@charset "utf-8";
/* CSS Document */

a {
  text-decoration: none;
}

code, .code {
  font-size: 100%;
  font-family: monospace;
  color: #0f398d;
}


pre {
  font-size: 9pt;
  background-color: #f8f8ff;
  margin: 1em 0 0 0;
  padding: .99em;
  line-height: 125%;
  overflow: auto;
  word-wrap: break-word;
  font-family: "MS Gothic", "Droid Sans Mono", "Courier New", Courier, monospace;
}


body {
  font: 13px Helvetica, Arial, sans-serif;
}

.formatted .k {
	color: blue;
}

.formatted .s {
	color: #007572;
}

.formatted .n {
	color: #909;
}

.formatted .c {
	color: #888;
}

.formatted .p {
	color: #772;
}

.formatted .o {
	color: #000;
}