@import url("basic.css"); 
core {font-family: courier;
}

.titlepage  h1{
	text-align: center; 
	border: 0pt none;
	font-size: 16pt;
        background: blue; 
        text-align: center; 
        color: white; 
}

body.titlepage {
	      border:1%; 	       	   
	      background: white;
	      border: 0pt none;
}

.titlepage p{
	   color: black;
	   font-size: 20pt;
	   margin: 5%;
	   height 1%;
	   border: 0pt none;	
}

div.s0 {
       background-color: white; 
}


body {
	font-size: 20pt;
	color: #081c01; 
	background: #f2f9f7;
	margin: 5%;
	height: 5%;
}

ol {line-height: 1em;}
ol ol {list-style-type: upper-alpha;}
ol ol ol {list-style-type: lower-alpha;}

li {
        color: #081c01;
	line-height: 1em; 
}


caption {
	line-height: 1em;
	padding: 5px;
}

tbody {
        color: #081c01; 
}

tbody .array{
        text-align:center;
        border-style:solid;
        border:1%;
        cellpadding:0; 
        cellspacing:0
}

td .array{
    border-style:solid;
}

.box {
     color: yellow;
     background: yellow;
}

.rpg {color:blue}

tr,td {
        padding: 5px;
	border: solid 1px;
      	border-collapse: collapse; 
	text-align: center;
}

table {
      border-collapse: collapse;
      }

.psql tr{
      border-collapse: collapse;
      border:white;
      color:white;
}

.fr {
    background:#226688;
}

.at {
    background:#776688;
}

.csv tr{
      padding: 5px;
      border: 0px;
      border-collapse: collapse;

}
.csv td{
      padding: 5px;
      border: 0px;
      border-collapse: collapse;

}

.s0 {
       background: #fef9f7;       
}

p {
  margin-top: 2%;
  margin-bottom: 2%;
  padding-top: 2%;
  margin-bottom: 2%;
  
}

h1 {
	font-size: 14pt;
	border: 0pt none;
	margin: 1%;
	padding: 1%;
	color:#f2f9f7;
	background: #081c01;
}

h2 {
  	color: #f2f9f7;
        background: #1b2133; 
	font-size: 14pt;
	border: 0pt none;
	padding: 1%;
	margin: 1%;
}

h3 {
	font-size: 14pt;
	border: 0pt none;
	margin: 1%;
	padding: 1%;
	background: #ffffa8;
	color: #f94200;
}

h4 {
	font-size: 14pt;
	margin: 1%;
	padding: 1%;
	color: #136316;
	background: #cee2cf;
}

h5 {
	font-size: 14pt;
	margin: 1%;
	padding: 1%;
	color: #f2f9f7;
        background: #120e84;
}


h6 {
	font-size: 14pt; 
	margin: 1%;
	padding: 1%;	
	color: #ff3344;
}

a:link {
	color:#ff3344;
}

a:visited {
	color:#5551c1;
}

.small{
	color:#5551c1;		
	}

p.where {
       padding: 5% 0 0 60%;
       font-size: 20pt;
}

p.who {
     padding: 5% 0 0 80%;
     font-size: 20pt;
}

/* pre.emacs {
	color: #f2f9f7;
	background: #5551c1;
	font-size:14pt;
        visited: #5551c1;
        margin: 2%;
        padding: 1%;
} */

/* pre.kterm {color: #f2f9f7;
	background: #076009;
	font-size:14pt;
        visited: #5551c1;
        margin: 2%;
        padding: 1%;
} */

/* pre.point {
	color: #a50936;
	background: #ffd8f8;
        link: #beeaea;
        visited: #5551c1;
        margin: 3%;
        padding: 1%;
}*/

div.twocolumn{
	      /* height:90%; width:80%; */
	      border-right:0px none;
	      color: #081c01; 
	      background: #f2f9f7;
	      font-size: 16pt;
	      text-align: center;
	      /* border: 3px solid yellow; */
}

.twocolumn .left{
	      height:90%; 
	      width:50%; 
	      border-right:0px none;
}

.twocolumn .right, div.twocolumn .left {text-align: center;}

.emacs {
	color: #f2f9f7;
	background: #5551c1;
	font-size:14pt;
        link: #beeaea;
        visited: #5551c1;
        margin: 2%;
        padding: 1%;
}

.notice {color: #ff3344;
	/* background: #f2f9f7; */
        link: #1b2133;
        visited: #5551c1;
        margin: 1%;
        padding: 1%;
	border: #ff000c;
}

.yellow {color: #ffff00;}

.kterm {color: #f2f9f7;
	background: #076009;
        margin: 2% 2% 2% 2%;
        padding: 1% 1% 1% 1%;
}



.theme {color: #f2f9f7;
        background: #1b2133;
	margin: 1%;
	padding: 1%;
}

.page	{color:#f2f9f7;
	background: #081c01;
	margin: 1%;
	padding: 1%
}

.point {
	color: #a50936;
	background: #ffd8f8;
        visited: #5551c1;
        margin: 3%;
        padding: 1%;
}

.item {color: #081c01;
        background: #f2f9f7;
        margin: 1% 1% 1% 1% ;
        padding: 2% 2% 2% 2%;}

.report {color: #f2f9f7;
        background: #120e84;
        margin: 0 0 0 0;
        padding: 1% 1% 1% 1%;
}

.contents {color: #136316;
	background: #cee2cf;
        margin: 1%;
        padding: 1%;
	border: .5em solid #cee2cf;
	font-size:20pt;	
	color: #136316;

}

.email {font-size: 20pt;
       background: black;
       color: white;
       margin: 1%;
       padding:2%;
}
.cyan {
      color:cyan;
      }

.dvi {
     color:black;
     background:white;
     margin:1%;
     border:10px;
     }

.spring {
	float: left;
	width:45%;
	border: 1em solid #f2f9f7;
}

.fall {
	float: right;
	width:45%;
	border: 1em solid #f2f9f7;
}

.cb {clear:both}

.right {float: left; width: 10%;}
.left {float: right; width: 85%;}

.exercise {
	font-size: 14pt;
	border: 0pt none;
	margin: 1%;
	padding: 1%;
	background: #ffffa8;
	color: #f94200;
}

.old {color:cyan}
.new {color:yellow}