/*
Copyright (c) 2008-2009 Yahoo! Inc. All rights reserved.
The copyrights embodied in the content of this file are licensed by
Yahoo! Inc. under the BSD (revised) open source license

@author Dan Vlad Dascalescu <dandv@yahoo-inc.com>
*/

.editbox {
  margin: .4em;
  padding: 0;
  font-family: monospace;
  
  font-size: 10pt;
  color: #f0eb8e;
  background-color: #3f3f3f !important;
}

/*We should define specific styles for every element of the syntax.
  the setting below will cause some annoying color to show through if we missed
  defining a style for a token. This is also the "color" of the whitespace and
  of the cursor.
*/
pre.code, .editbox {
  color: #f0eb8e;
}

.editbox p {
  margin: 0;
}

span.php-punctuation {
  color: #dedecb;
}

span.php-keyword {
  color: #7cb7f1;
  font-weight: bold;
}

span.php-operator {
  color: #a2ecee;
}

/* __FILE__ etc.; http://php.net/manual/en/reserved.php */
span.php-compile-time-constant {
  color: #7cb7f1;
  font-weight: bold;
}

/* output of get_defined_constants(). Differs from http://php.net/manual/en/reserved.constants.php */
span.php-predefined-constant {
  color: #7cb7f1;
  font-weight: bold;
}

/* PHP reserved "language constructs"... echo() etc.; http://php.net/manual/en/reserved.php */
span.php-reserved-language-construct {
  color: #7cb7f1;
  font-weight: bold;
}

/* PHP built-in functions: glob(), chr() etc.; output of get_defined_functions()["internal"] */
span.php-predefined-function {
  color: #7cb7f1;
}

/* PHP predefined classes: PDO, Exception etc.; output of get_declared_classes() and different from http://php.net/manual/en/reserved.classes.php */
span.php-predefined-class {
  color: #7cb7f1;
}

span.php-atom {
  color: #e77e7e;
}

/* class, interface, namespace or function names, but not $variables */
span.php-t_string {
  color: #8fe28f;
}

span.php-variable {
  color: #f0eb8e;
  font-weight: bold;
}


span.js-localvariable {
  color: #f0eb8e;
}

span.php-comment {
  color: #7f7f7f;
  font-stretch: condensed;
/*  font-style: italic;  This causes line height to slightly change, getting line numbers out of sync */
}

span.php-string-single-quoted {
  color: #8fe28f;
}
/* double quoted strings allow interpolation */
span.php-string-double-quoted {
  color: #8fe28f;
  font-weight: bold;
}

span.syntax-error {
  background-color: #e77e7e;
}

span.deprecated {
  font-size: smaller;
}
