body,div,a,h1,h2,table,th,td
{
  font-family:          Verdana, Helvetica, sans-serif;
  font-size:            10px;
}

body
{
  color:                #333333;
  margin:               0px;
  padding:              0px;
  cursor:               default;
  background-color:     #FFFFFF;
  background-image:     url('/images/gradient.jpg');
  background-repeat:    repeat-x;
  background-position:  0px 0px;
}

a
{
  color:                #3333FF;
  background:           inherit;
  display:              inline;
}
a:hover
{
  color:                #9999FF;
  background:           inherit;
  text-decoration:      underline;
}

table, tr, td, th
{
  padding:              0px;
  margin:               0px;
}
table
{
  border-spacing:       0px;
  border-collapse:      collapse;
}
th
{
  font-weight:          bold;
}
td
{
  empty-cells:          show;
}

img
{
  border:               0px;
}

span.hidden
{
  display:              none;
}
span.visible
{
  display:              inline;
}

code
{
  font-family:          monospace;
  font-size:            11px;
}
code a
{
  font-family:          monospace;
  font-size:            11px;
  text-decoration:      none;
  color:                black;
}
code span.line
{
  color:                #AAAAAA;
  padding-right:        10px;
  border-right:         1px solid #AAAAAA;
  margin-right:         10px;
}
code span.comment
{
  color:                green;
}
code span.string
{
  color:                #777777;
}
code span.number
{
  color:                red;
}
code span.keyword
{
  color:                blue;
}
code span.preprocessor
{
  color:                #FF7777;
}
code span.preprocessor a
{
  color:                #FF4444;
  border-bottom:        1px dashed #FF4444;
}
code span.preprocessor a:hover
{
  border-bottom:        none;
}

#logo
{
  margin-top:           30px;
  margin-left:          30px;
  margin-bottom:        20px;
  padding:              0px;
}

#workspace
{
  margin:               15px;
  padding:              15px;
  width:                200px;
  color:                #000000;
  background-color:     #FFFFFF;
  filter:               alpha(opacity = 50);
  opacity:              0.5;
  float:                left;
  border:               1px solid #AAAAAA;
}
#workspace .headline
{
  text-decoration:      underline;
  font-weight:          bold;
  padding-bottom:       10px;
}
#workspace .current
{
  font-weight:          bold;
}

#source
{
  margin:               15px;
  padding:              15px;
  width:                750px;
  background-color:     #FFFFFF;
  filter:               alpha(opacity = 75);
  opacity:              0.75;
  float:                left;
  border:               1px solid #AAAAAA;
}
#source .file
{
  color:                black;
  padding-left:         50px;
  padding-bottom:       0px;
  font-weight:          bold;
  font-size:            12px;
  font-family:          Verdana, Helvetica, sans-serif;
  font-style:           italic;
}

#copyright
{
  margin-top:           5px;
  padding-top:          5px;
  padding-bottom:       5px;
  clear:                both;
  text-align:           center;
  color:                #333333;
}
#copyright a
{
  color:                #333399;
}