a {
  color: #06b;
}


a:visited {
  color: #9ac;
}


abbr {
  border-bottom: 1px #333 dotted;
  cursor: help;
}


body {
  height: 100%;
  display: table-cell;
  margin: 0 auto;
}


pre {
  position: absolute;
  top: 0;
  left: 2em;
  display: block;
  white-space: pre;
  /* Use 3em left padding since the line numbers are floated and
     don't "take up" padding space. We could also float the code
     left and make it clearfix, but that's more trouble than it's
     currently worth. */
  padding: 1em;
}


em {
  font-style: italic;
}


fieldset {
  margin: 0 auto;
  padding: 1em;
  width: 80%;
  border: 2px #000 solid;
}


form {
  margin: 1em 0;
}


h2 {
  margin: 1em 0 .1em 0;
  font-size: 200%;
  font-family: arial, verdana, sans-serif;
  font-variant: small-caps;
}


h3 {
  font-size: 18px;
  margin: 1.2667em 0;
  font-family: georgia, sans-serif;
  font-style: italic;
}


h4 {
  font-family: monospace;
}


html {
  font-size: 10px;
  font-family: verdana, arial, sans-serif;
  background-image: url('/images/background_square.png');
  background-repeat: repeat;
  background-attachment: fixed;
  height: 100%;
  width: 100%;
  display: table;
}


input, label {
  color: #4a4153;
  font-size: 125%;
  font-family: arial, verdana, sans-serif;
}


li {
  line-height: 1.4;
}


ol, ul {
  margin: 0 2em;
}

ol {
  list-style-type: lower-greek;
}


p {
  line-height: 1.4;
  margin: 1em 0;
}


strong {
  font-weight: bold;
}


ul {
  list-style-type: square;
}


.code_wrapper {
  border: 1px #c6c3c6 solid;
  background-color: #fffbff;
  font-family: monospace;
  margin-bottom: 2em;
  /* Scroll the wrapper instead of the code element so we don't
     have to deal with the padding on the line_numbers column. */
  overflow: auto;
  position: relative;
  width: 100%; /* Trigger hasLayout in IE6 */
}


.line_numbers {
  text-align: right;
  padding: 1em .5em 1em 0;
  color: #999;
  width: 1.5em;
  background-color: #deefff;
}


/* Enscript classes */

.angle_bracket {
  color: #036;
}


.attribute_value {
  color: #b06;
}

.xhtml_entity {
  color: #710;
}


.javascript_builtin {
  color: #080;
}


.javascript_comment {
  color: #b00;
}


.javascript_string {
  color: #a60;
}


#center_column {
  width: 90em;
  margin: 0 auto;
  background-color: #fff;
  min-height: 100%;
}


#content_area {
  font-size: 16px;
  padding: 0 3em 2em 3em;
}


#footer {
  text-align: center;
  font-size: 14px;
  font-family: 'DejaVu Sans Mono', 'Bitstream Vera Sans Mono', 'Andale Mono', monospace;
  padding: 2em 0 1em 0;
}


#footer #icons img {
  display: inline;
  margin: 0 1em;
}


#footer #icons a {
  text-decoration: none;
}


#footer p, #footer #icons {
  margin: 2em 0;
}


#logo {
  padding: 1em 0;
}


#logo a {
  display: block;
  overflow: hidden; /* Prevent wacky outline in Firefox */
  height: 84px;
  text-indent: -10000px;
  min-width: 760px;
  background-image: url('/images/obfuscatr.png');
  background-repeat: no-repeat;
  background-position: center center;
}


ul#navigation {
  list-style-type: none;
  font-size: 16px;
}


ul#navigation li {
  display: inline;
}


#value_to_obfuscate:focus, .ie_focus {
  background-color: #ffd;
}