/*html { width: 100%; height:100%; overflow:hidden; }*/

body
{
   background-color: #f0f0f0;
}

lispXX-face-keywords
{
   color: green;
   font-family: courier;
}

span.d-face-html-entity
{
   font-family: courier;
   font-weight: bold;
   color: red;
}

span.d-face-m4-dnl
{
   font-family: courier;
   font-weight: normal;
   color: black;
   background: #ffbb88;
}

span.d-face-el-quote
{
   color: #0c0;
   font-weight: bold;
   font-family: courier;
}

span.d-face-el-d-stuff
{
   color: #2244cc;
   font-weight: bold;
   font-family: courier;
}

span.d-face-el-d-stuff2
{
   color: #0000ff;
   font-weight: bold;
   font-family: courier;
}

span.d-face-m4
{
   font-family: courier;
   font-weight: bold;
   color: black;
   background: #ff8888;
}

span.d-face-m5
{
   font-family: courier;
   font-weight: normal;
   color: black;
   background: #88ff88;
}

span.d-face-m6
{
   font-family: courier;
   font-weight: normal;
   color: black;
   background: #8888ff;
}

span.d-face-makefile-space
{
   font-family: courier;
   font-weight: normal;
   color: black;
   background: #ff0ff;
}

/* USED BY! davin.50webs.com/otherlinks.html davin.50webs.com/greatest-artists.html */
span.red
{
   color: #FF0000;
}

/* USED BY! davin.50webs.com/webdesign/*.html */
span.green
{
   //font-family: courier;
   font-weight: bold;
   color: #00cc00;
}

/* USED BY! davin.50webs.com/webdesign/decimal-hex-codes.html */
span.blue
{
   //font-family: courier;
   //font-weight: bold;
   color: #0000FF;
}

span.purple
{
   font-family: courier;
   font-weight: bold;
   color: #ff00ff;
}

/* TODO: will be used later by top navigation buttons upon migration from font -> span tags */
span.white
{
   color: white;
}

/* maybe needed later when C.S.S. rather than font tags are used for top menus */
// span.menufont {
//    font-family: helvetica,arial,geneva;
//  color: black;
//    font-size: 13;
// }

/* maybe needed later when C.S.S. rather than font tags are used for top menus */
// span.logofont
// {
//    font-family: courier;
//  color: white;
//    font-size: 40;
//  font-weight: bold;
// }

span.kb
{
   color: #008800;
   font-family: courier;
   font-weight: bold;
}

span.answers
{
   color: #00cc00;
   font-weight: bold;
   font-family: courier;
}

span.hint
{
   font-family: courier;
   font-weight: bold;
   background: #00FFFF;
}

span.d-face-dired-archive
{
   color: #ff6666;
   font-weight: bold;
   font-family: courier;
}

/* USED BY: webdesign/tutorial-2.hts */
span.d-face-dired-graphics
{
   font-family: courier;
   font-weight: bold;
   color: #ff00ff;
}

/* USED BY: webdesign/tutorial-2.hts */
span.d-face-dired-web
{
   font-family: courier;
   font-weight: bold;
   background: #ffff00;
}

/* USED BY: webdesign/tutorial-2.hts */
span.d-face-dired-unimportant
{
   font-family: courier;
   font-weight: normal;
   color: #888888;
}

span.keyword /* abbreviation for font-lock-keyword-face */
{
   font-family: courier;
   font-weight: bold;
}

span.string  /* abbreviation for font-lock-string-face */
{
   font-family: courier;
   font-weight: normal;
   color: #000000;
   background: #e0e0ff;
}

span.comment  /* abbreviation for font-lock-comment-face */
{
   font-family: courier;
   font-style:  italic;
   color:       #006000;
}

span.comment-delimiter
{
   font-family: courier;
   font-style: italic;
   color: #006000;
}

span.dc-face-dired-unimportant
{
   font-family: courier;
   color: #666666;
}

span.d-face-cc-libd
{
   color: #844;
   font-weight: bold;
   font-family: courier;
}

span.d-face-cc-dlisp
{
   color: #00f;
   font-weight: bold;
   font-family: courier;
}

span.d-face-cc-illegal-type
{
   color: red;
   background: #00f0f0;
   font-family: courier;
   font-weight: bold;
}

span.d-face-red-and-white
{
   color: white;
   background: #f00000;
   font-family: courier;
   font-weight: bold;
}

span.d-face-green-and-black
{
   color: black;
   background: #80f080;
   font-family: courier;
   font-weight: bold;
}

span.d-face-cc-clib
{
   color: #844;
   font-weight: bold;
   font-family: courier;
}

span.d-face-cc-ctor-dtor
{
   color: #f0f;
   font-weight: bold;
   font-family: courier;
}

span.d-face-cc-debugging
{
   color: #000;
   background: #0f0;
   font-family: courier;
}

span.d-face-cc-allegro
{
   color: #844;
   font-weight: bold;
   font-family: courier;
}

span.d-face-cc-private
{
   color: black;
   background: #fcc;
   font-weight: bold;
   font-family: courier;
}

span.d-face-linefeed
{
   color: black;
   background: #fcc;
   font-family: courier;
}

span.preprocessor /* abbreviation for font-lock-preprocessor-face */
{
   color: #000;
   background: #ccc;
   font-family: courier;
}

span.type  /* abbreviation for font-lock-type-face */
{
   font-family: courier;
   font-weight: bold;
   color: #4455ff;
}

span.constant /* abbreviation for font-lock-constant-face */
{
   font-weight: bold;
   font-family: courier;
   color: #ff0000;
}

span.variable-name  /* abbreviation for font-lock-variable-name-face */
{
   font-family: courier;
   color: #8000ff;
}

span.function-name  /* abbreviation for font-lock-function-name-face */
{
   font-family: courier;
   font-weight: bold;
   background: #ffff00;
}

span.d-face-cc-global
{
   font-family: courier;
   //font-style: bold;
   font-weight: bold;
   color: #00aa00;
}

span.global
{
   font-family: courier;
   font-weight: bold;
   color: #00aa00;
}

span.d-face-cc-prop
{
   font-family: courier;
   font-weight: bold;
   color: #f90;
}

span.libd-green
{
   //font-family: courier;
   font-weight: bold;
   color: #00cc00;
}

span.d-face-cc-digits
{
   font-family: courier;
   font-weight: bold;
   color: #ff00ff;
}

span.d-face-dired-sounds
{
   font-weight: bold;
   font-family: courier;
   color: #aa7755;
}

span.libd-purple
{
   font-family: courier;
   font-weight: bold;
   color: #ff00ff;
}

span.libd-red
{
   font-family: courier;
   font-weight: bold;
   color: #ff0000;
}

span.doc
{
   font-family: courier;
   font-weight: bold;//font-style: italic;
   color: #ff0000;
}

span.d-face-super-comment
{
   font-family: courier;
   font-weight: bold;
   font-style:  italic;
   color:       #ff0000;
}

span.emacs-yellow
{
   background: #ffff00;
   font-weight: bold;
   font-family: courier;
}

span.emacs-cyan
{
   background: #00ffff;
   font-weight: bold;
   font-family: courier;
}

span.fgXred
{
   color: #ff0000;
   font-family: courier;
}

span.fgXlightred
{
   font-weight: bold;
   font-family: courier;
   color: #ff4444;
}

span.bgXlightred
{
   background: #ff0000;
   color:      #ffffff;
   font-family: courier;
}

span.bak
{
   background:  #f00000;
   color:       #f0f000;
   font-family: courier;
   font-weight: bold;
}

span.bgXlightgreen
{
   background: #00c000;
   color: #ffffff;
   font-family: courier;
}

span.fgXlightblue
{
   color: #4444ff;
   font-family: courier;
}

span.bgXlightmagenta
{
   background: #ff00ff;
   color: #ffffff;
   font-family: courier;
}

span.fgXlightmagenta
{
   color: #ff00ff;
   font-weight: bold;
   font-family: courier;
}

span.d-face-makefile-tab
{
   background: #eeeeee;
   color: #000000;
   font-family: courier;
}

span.d-face-special-reference
{
   background: #cccccc;
   color: #000000;
   font-weight: bold;
   font-family: courier;
}

span.fgXwhite
{
   color: #000000;
   background: #ffffff;
   font-weight: bold;
   font-family: courier;
}

span.dc-face-dired-sources
{
   font-weight: bold;
   font-family: courier;
}

span.fgXbrown
{
   color: #aa7755;
   font-weight: bold;
   font-family: courier;
}

span.bold
{
   font-weight: bold;
   font-family: courier;
}

span.prop
{
   color: #f09000;
   font-weight: bold;
   font-family: courier;
}

span.d-face-property
{
   color: #f09000;
   font-weight: bold;
   font-family: courier;
}

span.d-face-property-inverse
{
   background: #f09000;
   color: white;
   font-weight: bold;
   font-family: courier;
}

span.home
{
   background:  #c0c0f0;
   color:       black;
   font-family: courier;
   font-weight: bold;
}

span.dlisp
{
   background:  #80f080;
   color:       #000000;
   font-family: courier;
   font-weight: bold;
}

span.hairy-lemon
{
   background:  #000000;
   color:       #00f000;
   font-family: courier;
   font-weight: bold;
}

span.java-projects
{
   background:  #f0c000;
   color:       #000000;
   font-family: courier;
   font-weight: bold;
}


div.div
{
   width:      50%;
   overflow:   auto;
   text-align: center;
}

div.left
{
   text-align: left;
}

div.right
{
   text-align: right;
}

p
{
   margin: 10px;
   text-align: justify;
}

td.foo
{
   overflow: hidden;
}

tt
{
   font-size: 110%;
}

pre
{
   font-size: 100%;
   font-family: courier;
}

h0
{
   font-family: "Sans Serif", Arial, Helevetica;
   font-size: 300%;
}

h1
{
   font-family: "Sans Serif", Arial, Helevetica;
   font-size: 250%;
}

h2
{
   font-family: "Sans Serif", Arial, Helevetica;
   font-size: 200%;
}

h3
{
   font-family: "Sans Serif", Arial, Helevetica;
   font-size: 150%
}

h4
{
   font-family: "Sans Serif",Arial, Helevetica;
   font-size: 125%;
}

h5
{
   font-family: "Sans Serif",Arial, Helevetica;
   font-size: 112%;
}

h6
{
   font-family: "Sans Serif", Arial, Helevetica;
   font-size: 100%;
}

a:hover
{
   color: #0c0;
   text-decoration: none;
}

span.cust-red
{
   font-family: courier;
   font-weight: bold;
   color: #FF0000;
}

span.cust-grn
{
   font-family: courier;
   font-weight: bold;
   color: #00aa00;
}

span.cust-blu
{
   font-family: courier;
   font-weight: bold;
   color: #0000ff;
}

span.tt
{
   font-family: courier;
}

span.d-checkpoint
{
   font-family: courier;
   font-weight: bold;
   color: #cc00ff;
}