
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-m4
{
   font-family: courier;
   font-weight: normal;
   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;
}

/* USED BY: davinpearson/otherlinks davinpearson/greatestartists */
span.red
{
   color: #FF0000; 
} 

/* USED BY: webdesign */
span.green
{
   color: #00cc00;
}

/* USED BY: webdesign/decimal-hex-codes */                                                                               
span.blue
{
   color: #0000FF;
}

span.purple
{
   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 CSS 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 CSS 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: #00cc00;
   font-family: courier;
   font-weight: bold;
}

span.answers
{
   color: #00cc00;
   font-weight: bold;
}

span.hint
{
   font-family: courier;
   font-weight: bold;
   background: #00FFFF;
}

span.d-face-dired-archive
{
   font-family: courier;
   font-weight: bold;
   color: #ff6666;
}

/* 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;
   color: #ffffff;
   background: #8888ff;
}

span.comment  /* abbreviation for font-lock-comment-face */
{
   font-family: courier;
   font-style: italic;
   color: #888888;
}

span.comment-delimeter  
{
   font-family: courier;
   font-style: italic;
   color: #888888;
}

span.type  /* abbreviation for font-lock-type-face */
{
   font-family: courier;
   font-weight: bold;
   color: #4455ff;
}

span.variable-name  /* abbreviation for font-lock-variable-name-face */
{
   font-family: courier;
   color: #4455ff;
}

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: #00cc00;
}

span.libd-green
{
   font-family: courier;
   //font-style: bold;
   font-weight: bold;
   color: #00cc00;
}

span.d-face-cc-digits
{
   font-family: courier;
   font-weight: bold;
   color: #ff00ff;
}

span.libd-purple
{
   font-family: courier;
   font-weight: bold;
   color: #ff00ff;
}

span.libd-red
{
   font-family: courier;
   font-style: bold;
   font-weight: bold;
   color: #ff0000;
}

span.doc
{
   font-family: courier;
   font-style: italic;
   color: #ff0000;
}

span.d-face-super-comment
{
   font-family: courier;
   font-style: italic;
   color: #ff0000;
}

span.emacs-yellow
{
   background: #ffff00;
   font-weight: bold;
}

span.emacs-cyan
{
   background: #00ffff;
   font-weight: bold;
}


