@font-face{
	font-family: 'DejaVu';
	src: url('/fonts/DejaVuSansMono-webfont.woff');
}
input[type=text] {
	font-family:'DejaVu';
	font-size:1.0em;
}
.doneCoding {
	color: red;
	-webkit-text-decoration:line-through;
	text-decoration:line-through;
 	text-decoration-thickness:2px;
	text-decoration-color:black;
}
#Interact {
	font-size:1.5em;
	text-align:center;
	height:100%;
	width:25%;
    margin-left:1em;
	margin-right:1em;
	border: 2px solid black;
    border-radius:20px;
    background-color:pink;
}

#MySchedule {
	background-color:#abcdef;
	text-align:center;
	height:100%;
	width:20%;
    margin-left:1em;
	margin-right:1em;
	border: 2px solid black;
    border-radius:20px;
}
.menuJS
{
	top:-3px;
	left:-18px;
	background-color:#d0ffc1;
/*	text-align:left;*/
     position:relative;
     border-radius:20px;
	border: 2px solid black;
    padding:1em;
    margin-left:1em;
	margin-right:1em;
     float:right;
	padding-left:2em;
/*	padding-right:2em;*/
	height:100%;
     width:15em; /* NOT width of menu */
	font-size:1em;
	font-family:'DejaVu';
	color:black;
     column-count:1;
     text-align:left;
     column-width:10%;
/* freeze height */
/*     height:10em; */
     overflow:auto; /*make scrollable - horizontal */
}
body {
	font-family:DejaVu;
	font-size:1.0em;
	background-color:#bbd3ca;
	padding-left:2em;padding-right:2em;
}
h1 {text-align:center;font-weight:normal;font-size:1.75em}
h2 {text-align:center;font-weight:normal;font-size:1.5em}
h3 {text-align:left;font-weight:normal;font-size:1.25em}
h4 {text-align:left;font-weight:bold;font-size:1.0em}
indent {text-align:left;padding-left:3em}
pre {
	font-family:DejaVu;
	font-size:1em;
	background-color:#fffea8;
	border-radius:1em;
	padding:1em;
}
.kode {text-align:left;background-color:#91cdd3;padding-left:1em;padding-right:1em;border-radius:10px;}
.note {background-color:#c8ffcc;width:50%;padding:1em;text-align:left;border-radius:10px;}
.footer {margin-top:3em;text-align:center;font-size:1em;}
.emph {background-color:#ff9000;width:50%;padding:1em;text-align:center;border-radius:10px;}
code {background-color:#ffa700;width:100%;padding:1em;font-size:1.0em;font-family:'DejaVu';color:black;text-align:left;border-radius:10px;}
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:#d0ffc1;border-radius:5px;}