/* kindly stolen from http://www.stud.uni-karlsruhe.de/~unk6/style.css */
H1, H2, H3 { font-family: sans-serif; }
/* H1 { text-align: center; } */
ADDRESS { display: block; text-align: right; }



html, body {
	background-color: #FFFFFF;
	color: #000000;
	font-family: sans-serif;
}

/* A       { margin: -3px; padding: 0 3px; text-decoration: none; } */
/* A:hover { margin: -3px; padding: 0 2px; border: 1px solid black; } */

a:link {
 	color: #1f00ff;
	background-color: transparent;
	text-decoration: underline;
}

a:visited {
 	color: #9900dd;
	background-color: transparent;
	text-decoration: underline;
}

a:hover {
 	color: #4020ff;
	background-color: transparent;
	text-decoration: none;
}

/* a.button { */
/*     display: block; */
/*     height: 20px; */
/*     width: auto; */
/*     border: 1px solid #000; */
/*      */
  /* font: bold 11px Arial; */
  /* text-decoration: none; */
  /* background-color: #EEEEEE; */
  /* color: #333333; */
  /* padding: 2px 6px 2px 6px; */
  /* border-top: 1px solid #CCCCCC; */
  /* border-right: 1px solid #333333; */
  /* border-bottom: 1px solid #333333; */
  /* border-left: 1px solid #CCCCCC; */
/* } */

.button {
    -webkit-border-radius: 4px;
    -moz-border-radius: 4px;
    border-radius: 4px;
    border: solid 1px #20538D;
    padding: 3px 5px 2px 5px;
    text-shadow: 0 -1px 0 rgba(0, 0, 0, 0.4);
    -webkit-box-shadow: inset 0 1px 0 rgba(255, 255, 255, 0.4), 0 1px 1px rgba(0, 0, 0, 0.2);
    -moz-box-shadow: inset 0 1px 0 rgba(255, 255, 255, 0.4), 0 1px 1px rgba(0, 0, 0, 0.2);
    box-shadow: inset 0 1px 0 rgba(255, 255, 255, 0.4), 0 1px 1px rgba(0, 0, 0, 0.2);
    background: #4479BA;
    color: #ccc;
    text-decoration: none;
}
.center {
	text-align: center;
}

.italic {
 	font-style: italic;
}

.bold {
    font-weight: bold;
}

.quote {
	margin-left: 40px;
	margin-right: 40px;
}

.hrsmall {
	width: 80px;
	height: 1px;
	margin-left: 20px;
}

.td_title {
	border-color: #3366cc;
	border-style: solid;
	border-width: thin;
	color: #3366cc;
	background-color : #f2f2f9;
	font-weight: bold;
}

.td_con {
	padding-top: 3px;
	padding-left: 8px;
	padding-bottom: 3px;
	color : #303030;
	background-color : #fefefe;
	font-size: smaller;
}

.translations {
	background-color: transparent;
	color: black;
	font-family: serif;
	font-size: smaller;
}

.fsflink {
	font-size: smaller;
	font-family: monospace;
	color : #000000;
	border-left: #3366cc thin solid;
	border-bottom: #3366cc thin solid;
	padding-left: 5px;
	padding-bottom: 5px;
}

.trans {
	font-size: smaller;
	color : #000000;
	border-left: #3366cc thin solid;
	padding-left: 20px;
}

img {
	border: none 0;
}

td.side {
	color: #3366cc;
    /*	background: #f2f2f9;
	border-color: #3366cc;
	border-style: solid;
	border-width: thin; */
	border-color: white;
	border-style: none;
	vertical-align: top;
	width: 150px;
}

div.copyright {
	font-size: 80%;
	border: 2px solid #3366cc;
	padding: 4px;
	background: #f2f2f9;
	border-style: solid;
	border-width: thin;
}


.footnoteref {
	font-size: smaller;
	vertical-align: text-top;
}

code {
    font-size: 0.9em;
    font-family: 'Courier New', Courier, Fixed;
}

pre {
    font-size: 0.9em;
    font-family: 'Courier New', Courier, Fixed;
    padding-left: 5px;
    padding-right: 5px;
    padding-top: 5px;
    padding-bottom: 5px;
    color: #44ff44;
    background-color: black;
}

pre.text {
    color:black;
    background-color:white;
}

.code {
    color: #44ff44;
    background-color: black;
}


.cl-function {
    /* font-lock-cl-function-face */
    color: #1e90ff;
    font-weight: bold;
}
.cl-special-operator {
    /* font-lock-cl-special-operator-face */
    color: #8a2be2;
    font-weight: bold;
}
.cl-system-class {
    /* font-lock-cl-system-class-face */
    color: #20b2aa;
    font-weight: bold;
}
.cl-type {
    /* font-lock-cl-type-face */
    color: #3cb371;
    font-weight: bold;
}
.slime-repl-input {
    /* slime-repl-input-face */
    font-weight: bold;
}
.slime-repl-inputed-output {
    /* slime-repl-inputed-output-face */
    color: #ff0000;
}
.slime-repl-output {
    /* slime-repl-output-face */
    color: #7cfc00;
}
.slime-repl-prompt {
    /* slime-repl-prompt-face */
    color: #00ffff;
}
.slime-repl-result {
}

.string {
    /* font-lock-string-face */
    color: #da70d6;
}

.comint-highlight-input {
    /* comint-highlight-input */
    font-weight: bold;
}
.comint-highlight-prompt {
    /* comint-highlight-prompt */
    color: #00ffff;
}
.comment {
    /* font-lock-comment-face */
    color: #ff0000;
}