div.purpose {
  padding-left: 3pt;
  background-color: #EAD1AA;
  border-top:		2px solid #EAA436;
  border-left:		2px solid #EAA436;
  border-right:		2px solid #AD6A01;
  border-bottom:	2px solid #AD6A01;
}

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: #ADD79C;
  color:		#370244;
  border-top:		2px solid #0AC91C;
  border-left:		2px solid #0AC91C;
  border-right:		2px solid #056422;
  border-bottom:	2px solid #056422;
  margin: 10px 0px 10 px 0px;
  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:#000066;
}
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-top: 		15px solid #2A5DB9;
  border-left:		2px solid #808080;
  border-right:		2px solid #808080;
  border-bottom:	2px solid #808080;
  background-color:	#ffffff;
  margin: 10 px 0px 10 px 0px;
  padding: 0% 5% 1% 5% ;
  -Moz-Border-Radius-BottomRight: 20px;
  -Moz-Border-Radius-BottomLeft: 20px;
}

div.code {
  font-family  : monospace ;
  border: 1px solid #000000;
  background-color: #ffffff;
  padding: 0% 5% 1% 5% ;
}

span.code {
  font-family  : monospace ;
}

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

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

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

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

span.youtype span.variable {
  font-style : italic
}
A.top_menu {
  color : #2D2B8A;
  text-decoration : none;
}