UL {
    margin:0px 0px 0px 0px;
}
OL {
    margin:0px 0px 0px 0px;
}

A.command {
  color:     #aa0000;
}

A.arg {
  color:     #007700;
}

A.big { 
    font-size:  x-large;
}

A.button {
    color:            #009999;
    text-decoration:  underline;
    font-weight:      bold;
    font-family:      "Courier New", Courier, monospace;
}

A.directory {
  font-weight: bold;
  color:       #FF9900;
}

A.file {
  font-weight: bold;
  color:       #FF00FF;
}

A.matrix {
  font-weight:     bold;
/*  background :     black; */
/*  color:           white; */
  color:           #00A7CF;
  color:           darkslateblue;
}

A.program {
  color:            #0000FF;
  font-weight:      bold;
  font-family:      "Courier New", Courier, monospace;
}

A.symbol {
  color:     #FF00FF;
}

A.vector {
  font-weight:     bold;
/*  text-decoration: overline;*/
  color:           saddlebrown ;
}

span.command {
  color:     #aa0000;
}

span.arg {
  color:     #007700;
}

span.big { 
    font-size:  x-large;
}

span.button {
    color:            #009999;
    text-decoration:  underline;
    font-weight:      bold;
    font-family:      "Courier New", Courier, monospace;
}

span.directory {
  font-weight: bold;
  color:       #FF9900;
}

span.file {
  font-weight: bold;
  color:       #FF00FF;
}

span.matrix {
  font-weight:     bold;
/*  background :     black; */
/*  color:           white; */
  color:           #00A7CF;
  color:           darkslateblue;
}

span.program {
  color:            #0000FF;
  font-weight:      bold;
  font-family:      "Courier New", Courier, monospace;
}

span.symbol {
  color:     #FF00FF;
}

span.vector {
  font-weight:     bold;
/*  text-decoration: overline;*/
  color:           saddlebrown ;
}

PRE.output { 
  display:          inline-block;
  vertical-align:   middle;
  color:            #000099; 
  background:       #FFFFCC; 
  margin-left:      2em;
  margin-right:     2em;
  border-style:     solid;
  border-width:     thin;
}

PRE.script { 
  display:          inline-block;
  vertical-align:   middle;
  color:            #aa0000; 
  background:       #FFFFCC; 
  margin-left:      2em;
  margin-right:     2em;
  border-style:     solid;
  border-width:     thin;
}

PRE.example { 
  background:       #FFFFCC; 
  margin-left:      2em;
  margin-right:     2em;
}

TABLE.example {
  background:       #FFFFCC;
}

TR.header1 {
  background:       #FFFF55;
  text-align:       left;
}

TR.header2 {
  background:       #FF8800;
  text-align:       center;
}

TR.white {
  background:       #FFFFFF;
}