div.purpose {
  padding-left: 2pt;
  background-color: rgb(210, 210, 255)
}

div.initialization {
  padding-left: 2pt;
  background-color: rgb(210, 255, 210)
}

div.task {
  padding-left: 2pt;
  background-color: rgb(255, 210, 210)
}

div.task div.recitation {
}

div.task div.download {
}

div.task div.activity {
  background-color: rgb(255, 225, 225)
}

div.task div.checkoff {
  padding-left: 2pt;
  background-color: rgb(255, 240, 240);
  border-width : thick ;
  border-style : double ;
  border-color : lime ;
  padding: 2% 5% 2% 5% ;
}

div.task div.checkoff h3 {
  color: lime ;
}

span.GUIelement {
  font-family: sans-serif ;
  color: blue 
}

span.GUIelement span.underline {
  text-decoration:underline ;
}

span.GUIelement span.variable {
  font-style : italic
}

span.programName {
  font-family: serif ;
  color: blue 
}

span.fileName {
  font-family  : monospace ;
  color: green ;
  font-weight: bold ;
}

span.fileName span.variable {
  font-style : italic
}

span.prompt {
  font-family  : monospace ;
  color: navy ;
  font-weight: bold ;
}

span.prompt span.variable {
  font-style : italic
}

span.command {
  font-family  : monospace ;
  color: maroon ;
  font-weight: bolder ;
}

span.command span.variable {
  font-style : italic
}


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  : monospace ;
}

div.terminal {
  font-family  : monospace ;
  border-width : medium ;
  border-style : solid ;
  border-color : blue ;
  padding: 0% 5% 1% 5% ;
}

div.code {
  font-family  : monospace ;
  border-width : medium ;
  border-style : solid ;
  border-color : green ;
  padding: 0% 5% 1% 5% ;
}

span.noecho {
  font-family  : cursive ;
  font-style : italic ;
  color: maroon ;
}

span.commandOutput {
  font-family  : monospace ;
  color: navy ;
}

span.commandOutput span.variable {
  font-style : italic
}

span.youtype {
  font-family  : monospace ;
  color: maroon ;
  font-weight: bold ;
}

span.youtype span.variable {
  font-style : italic
}