a:hover {
    text-decoration : none;
    background:#00ff00;
    color:#0213ff;
    border-radius:10px;
}

/* from awk */
a:link { text-decoration:none;font-size:1.0em;font-family:'Menlo'; color:#f00;}
a:visited {text-decoration:none;font-size:1.0em;font-family:'Menlo'; color:#f00;}
/*a:hover {text-decoration:none;font-size:1.0em;font-family:'Menlo'; color:#f00;background-color:#ffb313;border-radius:5px;}*/
a:hover {text-decoration:none;font-size:1.0em;font-family:'Menlo'; color:#f00;background-color:#fbffc8;border-radius:5px;}


/* leading 0 in list
https://codepen.io/maddesigns/pen/JGQejg
*/
.pro {
	font-size: 1em;
    color:black;
    background-color:#ffe8c3;
/*	padding:1em;*/
/*	border-radius:10px;*/
}
ol {
	list-style-type: integer;
/*	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: 'Menlo';
    background-color : #e3c05e;
    color : #000;
    font-weight : normal;
    font-size : 1em;
    margin-top : 0;
    margin-bottom : 10px;
    padding : 2em;
}
img {
    border-radius:3px;
}
.splitter{
    background-color:#637F4F;
    font-family: "Menlo";
    font-size:1em;
    color:#000000
    width:100%;
    height:2em;
    border-radius:5px;
     padding-left:15px;
}
.imp {
    font-family:"Menlo";
    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:5px;
}
.hilite {
  font-family: "Menlo";
  color:black;
  background-color:#ff995a;
  padding:1em;
  border-radius:10px;
  text-align:center;
}
code {
  background-color:#ff995a;
  font-size=1.25em;
}
.footer {
    font-family:"Menlo";
    font-size:1em;
    background-color:#ffa300;
    text-align:center;
    width=100%;
}
.menu
{
/*    list-style:decimal-leading-zero;*/
    margin-left:auto;
    margin-right:auto;
    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:'Menlo';
	color:black;
/*background-color:#faffae;*/
background-color:#ffc066;
     column-count:3;
     text-align:left;
     column-width:33%;
     overflow:auto; /*make scrollable - horizontal */
}

button {
	font-family: 'Menlo';
	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;
    font-size:16px;
}

h1
{
	font-family: 'Menlo';
    font-size : 2em;
    text-align:center;
    font-weight : normal;
}
h2
{
	font-family: 'Menlo';
    font-size : 1.5em;
    text-align:center;
}
h3 {
	font-family: 'Menlo';
    font-size : 16px;
    text-align:left;
    text-decoration:none;
    display:inline;
    padding-left:1em;
    padding-right:1em;
    background-color:#10ff80;
    border-radius:5px;
}
.subform {
    font-family:"Menlo";
    font-size:1em;
    color: #000;
}
input[type="button"]
{
	font-family:"Menlo";
	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:"Menlo";
	font-size:1.em;
	font-weight:normal;
}
input[type="submit"]
{
	background-color:#8BDB0D;
	color:#000;
	border-radius:20px;
    font-family:"Menlo";
    font-size:1.25em}
input[type="reset"]
{
	background-color:#FF940B;
	color:#000;
	border-radius:20px;
    font-family:"Menlo";
    font-size:1.25em}
}