h1 {
  text-align:center;
  color:green;
}
h2 {
  color: blue ;
}
em.warning {
  color:red ;
}
p.warning {
  color:red ;
}
div.warning {
  border-width : medium ;
  border-style : solid ;
  border-color : red ;
  padding: 2% 5% 2% 5% ;
}
span.menu {
  font-family:courier ;
}
span.underline {
  text-decoration:underline ;
}
pre.terminal {
  font-family  : monospace ;
  border-width : medium ;
  border-style : solid ;
  border-color : blue ;
  padding: 2% 5% 2% 5% ;
}
pre.code {
  font-family  : monospace ;
  border-width : medium ;
  border-style : solid ;
  border-color : green ;
  padding: 2% 5% 2% 5% ;
}
div.checkoff {
  border-width : thick ;
  border-style : double ;
  border-color : lime ;
  padding: 2% 5% 2% 5% ;
}
div.checkoff h2 {
  color: lime ;
}
span.prompt {
  font-family  : monospace ;
  color: navy ;
  font-weight: bold ;
}
span.userin {
  font-family  : monospace ;
  color: maroon ;
  font-weight: bolder ;
}
span.noecho {
  font-family  : cursive ;
  font-style : italic ;
  color: maroon ;
}
span.compout {
  font-family  : monospace ;
  color: navy ;
}
span.fileName {
  font-family  : monospace ;
  color: green ;
  font-weight: bold ;
}