body{
	padding:15px;
	font-family: Consolas, 'Courier New', 'Bitstream Vera Sans Mono', Courier, monospace;
	}
span{
	color:red
	}
.see {color:green;}
p{margin: 1ex 1;}
code{
	/* font-family: Arial; */
	font-family: Consolas, 'Courier New', 'Bitstream Vera Sans Mono', Courier, monospace;
	font-size: 16px;
	}
.thead{
	font-weight:bold;
	}
.emacs{
	color: #fff;
	background-color: #000;
	padding: 5px 5px 5px 10px;
	
	}
.kterm {
	color: #fff;
	background-color: #066;
	padding: 5px 5px 5px 10px;
	}

.sample {
  margin: 1ex 2em; padding-left: 1ex;             
  text-indent: 0;                                                               
}

span.ul {color:black;
text-decoration: underline;}

.border, .border td, .border th {
	border: 1px solid; border-collapse: collapse;
        padding: 3px 4px 5px 4px;
}
pre {margin: 0;}