body { margin: 0; font-family: Georgia, Times New Roman, serif; background-color: #eea; }
label { display: block; margin: 0.5em 0.5em 0 0; color: green; }
fieldset { margin: 1em 0; border: 1px dotted green; }
legend { color: #6c3; }
textarea { border: 1px solid black; }
td { border: 1px solid black; }

a:link, a:visited { color: green; font-weight: bold; text-decoration: none; }

#footer {
	width: 45em;
  margin-left: 30px;
	clear: both;
	font-size: 0.8em;
}
#footer img { float: left; margin-right: 1em; }
#header {
  height: 190px;
  margin: 0 30px;
  margin-left: 30px;
  position: relative;
  background: #eea url('../images/pengs.jpg') no-repeat top left;
}
#header h1 {
  position: absolute;
  bottom: 0.3em;
  left: 1em;
  color: white;
}
#header #nav {
  position: absolute;
  bottom: 0;
  margin: 0;
	padding: 0;
  list-style-type: none;
}
#header #nav li { display: inline; }

#nav a:link, #nav a:visited { color: white; text-decoration: none; }
#nav a:hover, #nav a:active { color: #6c3; }

#content {
  margin: 1em 30px 1em 30px;
  padding: 0 1.5em 1em;
  width: 50em;
  background-color: white;
}
#content h1, #content h2, #content h3, #content h4 { color: #6c3; margin-bottom: 0; }

.admin-bits { margin: 0; }
.admin-bits a, .meta a { font-size: 0.9em; }
.notice {
  display: inline;
  width: 10em;
  font: bold 1em Monaco, monospace;
  border-bottom: 1px solid green;
  color: #6c6;
}
.note {
  margin: 1em 5em;
  background: #ffcfcf url('images/asterisk_yellow.png') no-repeat 3px 50%;
  border: 1px solid red;
  padding: 1em 1.5em;
}
.exercise { margin: 0.5em; overflow: auto; }
.exercise pre, code.example { background-color: #f3fcf6; border: 1px solid green; padding: 1em; }
code.example { display: block; white-space: pre }

/* Syntax highlighting */
pre .normal {}
pre .comment { color: #005; font-style: italic; }
pre .keyword { color: #A00; font-weight: bold; }
pre .method { color: #077; }
pre .class { color: #074; }
pre .module { color: #050; }
pre .punct { color: #447; font-weight: bold; }
pre .symbol { color: #099; }
pre .string { color: #944; background: #FFE; }
pre .char { color: #F07; }
pre .ident { color: #004; }
pre .constant { color: #07F; }
pre .regex { color: #B66; background: #FEF; }
pre .number { color: #F99; }
pre .attribute { color: #5bb; }
pre .global { color: #7C9; }
pre .expr { color: #227; }
pre .escape { color: #277; }