@font-face{
	font-family: 'DejaVu';
	src: url('/fonts/DejaVuSansMono-webfont.woff');
	src: url('/fonts/DejaVuSansMono-webfont.woff') format('eot'),
	     url('/fonts/DejaVuSansMono-webfont.woff') format('woff'),
	     url('/fonts/DejaVuSansMono-webfont.woff') format('truetype'),
	     url('/fonts/DejaVuSansMono-webfont.woff') format('svg');
    font-weight:normal;
    font-style:normal;
}
/* leading 0 in list
https://codepen.io/maddesigns/pen/JGQejg
*/
ol {
	list-style-type: none;
	counter-reset: li;
}

li {
	font-size: 1em;
}

li:before {
  counter-increment: li;
  content: counter(li, decimal-leading-zero);
	color: black;
	margin-right: 0.25em;
}
body
{
	font-family: 'DejaVu';
    background-color : #e3c05e;
    color : #000;
    font-weight : normal;
    font-size : 1em;
    margin-top : 0;
    margin-bottom : 10px;
    padding : 0;
}
img {
    border-radius:3px;
}
.splitter{
    background-color:#637F4F;
    font-family: "DejaVu";
    font-size:1em;
    color:#000000
    width:100%;
    height:2em;
    border-radius:5px;
     padding-left:15px;
}
.imp {
    font-family:"DejaVu";
    padding:5px;
    margin-left:10%; margin-right:10%;
    background-color:#10FF81;
    border-radius:10px;
    text-align:center;
}
pre {
    font-size: 1.5em;
    color:black;
    background-color:#ffca00;
/*    border-radius:10px;*/
}
.hilite {
  font-family: "DejaVu";
  color:black;
  background-color:#ff995a;
  padding:1em;
  border-radius:10px;
}
code {
  background-color:#ff995a;
  font-size=1.25em;
}
.footer {
    font-family:"DejaVu";
    font-size:1em;
    background-color:#ffa300;
    text-align:center;
    width=100%;
}
.menu
{
/*    list-style:decimal-leading-zero;*/
    text-decoration:none;
	text-align:center;
     position:relative;
     border-radius:5px;
   	border: 2px solid black;
     padding:10px;
     height:30%;
     left:10px;
     width:90%; /* NOT width of menu */
	font-size:1em;
	font-family:'DejaVu';
	color:black;
	background-color:#faffae;
     column-count:3;
     text-align:left;
     column-width:33%;
     overflow:auto; /*make scrollable - horizontal */
}

button {
	font-family: 'DejaVu';
	background-color:green;
	border:none;
	border-radius:5px;
	color:black;
	font-size:0.5em;
}
#Bash {
    background-color: #ddff81;
    font-size:1em;
    color:black;
}
div, #NewContent {
    font-size:1em;
    background-color:#ddff81;
    padding: 1em;
    border-radius:10px;
}
/*h1, h2, h3
{
    color : #000;
    font-weight : normal;
    font-style : normal;
    text-decoration : none;
}
*/
h1
{
	font-family: 'DejaVu';
    font-size : 2em;
    text-align:center;
    font-weight : normal;
}
h2
{
	font-family: 'DejaVu';
    font-size : 1.5em;
    text-align:center;
}
h3
	font-family: 'DejaVu';
    font-size : 1.5em;
    text-align:left;
    text-decoration:none;
}
/*
a
{
    text-decoration : none;
    color : #0213ff;
    font-weight : normal;
    background-color : transparent;
    font-family: 'DejaVu';
    font-size : 1em;
}
*/
a:hover {
    text-decoration : none;
    background-color:#00ff00;
    color:#0213ff;
    border-radius:5px;
}

/* from awk */
a:link { text-decoration:none;font-size:1.0em;font-family:'DejaVu'; color:#0213ff;}
a:visited {text-decoration:none;font-size:1.0em;font-family:'DejaVu'; color:#0213ff;}
a:hover {text-decoration:none;font-size:1.0em;font-family:'DejaVu'; color:#FF1310;background-color:#00ff00;}

.subform {
    font-family:"DejaVu";
    font-size:1em;
    color: #000;
}
.subform {
    font-family:"DejaVu";
    font-size:1em;
    color: #000;
}
input[type="button"]
{
	font-family:"DejaVu";
	font-size:1.25em;
	background-color:#FF940B;
	color:#000;
	border-radius:10px;
}
input[type="text"] {
	margin-right:2em;
    font-size:1em;
    width:20em;
	font-family:"DejaVu";
	font-size:1.em;
	font-weight:normal;
}
input[type="submit"]
{
	background-color:#8BDB0D;
	color:#000;
	border-radius:20px;
    font-family:"DejaVu";
    font-size:1.25em}
input[type="reset"]
{
	background-color:#FF940B;
	color:#000;
	border-radius:20px;
    font-family:"DejaVu";
    font-size:1.25em}
}