@import "../home.css";

div.draft:before { content: "DRAFT"; }
div.draft {position: absolute; font-size: 20em; top: 10pt; 
		left:10pt; z-index: -1; color: #ddbbbb; }

.center { text-align: center; }
.missing { color: red; }
pre.wincommand {
  margin:		1em 0;
  padding:		2px;
  background-color:	black;
  color:		white;
  font-family: monospace;
  font-weight: bold;
  overflow: visible;
  overflow-x: auto;
}
.wincomment { 
    color: 		lime; 
    font-style:	italic;
}


.inst > li { margin-bottom: 0.5em; }
ol.inst > li > ol > li { list-style-type: lower-alpha; }

div.important:before {
  content:	"Important: ";
  font-weight:	bold;
  color:	black;
}
div.important {
  margin:	1em auto;
  padding:	0.5em;
  width:	50em;
  color:	black;
  border:	solid 2px red;
}

div.tip:before {
  content:	"Tip: ";
  font-weight:	bold;
}
div.tip {
  margin:	1em auto;
  padding:	0.5em;
  width:	50em;
  font-size:	0.9em;
  border:	solid 1px;
}

table.array {
  border-style:none; 
  border-collapse:collapse; 
  border-width:1pt; 
  border-color: #000084;
}
table.array td { text-align: center; font-family: monospace; 
	      border-style: solid; 
	      border-width:1pt; 
	      padding-left: 2pt;
	      padding-right: 2pt;
}
tr.borderless td { border-style: none; font-size: 0.9em;}

/* style for the final labs */
ol.legend { 
    padding:		0.5em;
}
.legend > li { 
    margin:		0;
    padding:		0.5em;
    list-style-type:	upper-alpha;
}
img.demo {
    margin:		1em auto;
    display:		block;
    border:		solid 1px black;
}

.noteForNextTime {
    font-weight: bold;
    color: #440000;
}

/*
@media print { 
h1 {
  font-size: 1.2em;
  font-weight: bold;
  border-bottom-style: solid;
  margin-left: 0em;
}

h2 {
 font-size: 1.0em;
 font-weight: bold;
 margin-bottom: 0em;
 margin-left: 0em;
}
}
*/