body{
	-webkit-user-select: none;
	background:#EEEEEE;
}
.mgBorder {
	background:linear-gradient(135deg, rgba(248, 247, 232, 0.7), rgba(209, 204, 153, 0.6)),url("brushed.jpg");
	border:1px solid #888888;
	border-radius:10px;
	box-shadow:5px 5px 5px 5px #444444;
	position: absolute;
	top: 5px;
	bottom: 10px;
	width:98%;
	overflow: auto;
}
.titleHeading {
	font-size:30px;
	font-style: bold;
	text-align: center;
	margin: auto;
	text-shadow: 2px 3px #cecccc;
	display:inline-block;
	vertical-align:middle;
}
.featureMatrix {
    border-right:2px solid black;
    border-left:2px solid black;
	line-height:100%;
	text-align:left;
	font-family: Arial, Helvetica, sans-serif;
	font-style:italic;
	font-size:13px;
	margin:auto;
	display:inline-block;
	vertical-align:middle;
	text-shadow: 1px 2px #cecccc;
	color:rgb(5, 1, 211);
	padding: 0px;
	border-spacing: 0px;
}
.menuButtonActive {
	background-image: radial-gradient(circle farthest-side, #ffffff, #d4d3c9);
	border-radius:10px;
	border:1px solid #888888;
	box-shadow: inset 1px 1px 1px 1px #444444;
	width:10%;
	height:25px;
	font-family:"Times New Roman",Georgia,Serif;
	font-size:22px;
	font-weight:bold;
	text-align:center;
	color:rgb(1, 85, 1);
}
.menuButtonInactive {
	background-image: radial-gradient(circle farthest-side, #f3f2ec, #adadac);
	border-radius:10px;
	border:1px solid #888888;
	box-shadow:2px 2px 2px 2px #444444;
	width:10%;
	height:25px;
	font-family:"Times New Roman",Georgia,Serif;
	font-size:22px;
	font-weight:bold;
	text-align:center;
	color: rgb(109, 0, 0);
}
.menuButtonInactive:active {
    background-position: 0 top;
    position:relative;
    top:3px;
}
.menuButtonInactive:hover {
	background-image:radial-gradient(ellipse farthest-side, #f3f2ec, #cfcfce);
}
.numButton {
	background-image: radial-gradient(circle farthest-side, #dad6d6, #a9aaac);
	box-shadow:2px 3px 2px 2px #444444;
	border-radius:10px;
	border:1px solid #888888;
	font-family: Arial, Helvetica, sans-serif;
	font-size:20px;
	font-weight:bold;
	width:120px;
	height:26px;
	margin: auto;
	text-align: center;
	color:rgb(11, 84, 194);
}
.numButton:active {
	background-image: radial-gradient(circle farthest-side, #aaaaaa, #cccccc);
	box-shadow:1px 1px 1px 1px #444444;
	background-position: 0 top;
    position:relative;
    top:2px;
}
.numButton:hover{
	background-image:radial-gradient(ellipse farthest-side, #d6d5d2, #cfcfcf);
}
.symButton {
	background-image: radial-gradient(circle farthest-side, #fff7f7, #cbccce);
	box-shadow:2px 3px 1px 1px #444444;
	border-radius:10px;
	border:1px solid #888888;
	font-family: Arial, Helvetica, sans-serif;
	font-size:20px;
	width:120px;
	height:26px;
	margin: auto;
	text-align: center;
	vertical-align: middle;
}
.symButton:active {
	background-image: radial-gradient(circle farthest-side, #ffffff, #cbccce);
	box-shadow:1px 1px 1px 1px #444444;
    background-position: 0 top;
    position:relative;
    top:2px;
}
.symButton:hover {
	background-image:radial-gradient(ellipse farthest-side, #ffffff, #ebebeb);
}
.constButton {
	background-image: radial-gradient(circle farthest-side, #fff7f7, #cbccce);
	box-shadow:2px 3px 1px 1px #444444;
	border-radius:10px;
	border:1px solid #888888;
	font-family: Arial, Helvetica, sans-serif;
	font-size:12px;
	width:120px;
	height:25px;
	margin: auto;
	text-align: center;
	vertical-align: middle; 
}
.constButton:active {
	background-image: radial-gradient(circle farthest-side, #ffffff, #cbccce);
	box-shadow:1px 1px 1px 1px #444444;
    background-position: 0 top;
    position:relative;
    top:2px;
}
.constButton:hover {
	background-image:radial-gradient(ellipse farthest-side, #ffffff, #ebebeb);
}
.varButton {
	background-image: radial-gradient(circle farthest-side, #fff7f7, #cbccce);
	box-shadow:2px 3px 1px 1px #444444;
	border-radius:10px;
	border:1px solid #888888;
	font-family: Arial, Helvetica, sans-serif;
	font-size:15px;
	width:120px;
	height:20px;
	margin: auto;
	text-align: center;
	vertical-align: middle; 
}
.varButton:active {
	background-image: radial-gradient(circle farthest-side, #ffffff, #cbccce);
	box-shadow:1px 1px 1px 1px #444444;
    background-position: 0 top;
    position:relative;
    top:2px;
}
.varButton:hover {
	background-image:radial-gradient(ellipse farthest-side, #ffffff, #ebebeb);
}
.matButton {
	background-image: radial-gradient(circle farthest-side, #fff7f7, #cbccce);
	box-shadow:2px 3px 1px 1px #444444;
	border-radius:10px;
	border:1px solid #888888;
	font-family: Arial, Helvetica, sans-serif;
	font-size:16px;
	width:120px;
	margin: auto;
	text-align: center
}
.matButton:active {
	background-image: radial-gradient(circle farthest-side, #ffffff, #cbccce);
	box-shadow:1px 1px 1px 1px #444444;
    background-position: 0 top;
    position:relative;
    top:2px;
}
.matButton:hover {
	background-image:radial-gradient(ellipse farthest-side, #ffffff, #ebebeb);
}
.editorViewBox {
	border-radius:10px;
	border:1px solid #888888;
	box-shadow:4px 4px 4px 4px #444444;
	background-image: -webkit-gradient(linear, left top, right bottom, color-stop(0, #f0f0f0), color-stop(1, #ebebe6 ));
	margin:auto;
	width:97%;
	height:48%;
}
.viewBox {
	border-radius:10px;
	border:1px solid #888888;
	box-shadow:4px 4px 4px 4px #444444;
	background-image: -webkit-gradient(linear, left top, right bottom, color-stop(0, #f0f0f0), color-stop(1, #ebebe6 ));
	margin:auto;
	width:97%;
	height:86%;
}
.latexBox {
	text-align:left;
	width:100%;
	height:70px;
	border-radius:10px;
	border:1px solid #888888;
	box-shadow:3px 3px 3px 3px #444444;
	background: url(latex.jpg) center white;
	background-repeat: no-repeat;
	overflow: auto;
	font-size:22px;
}
.pallateBox {
	border-radius:10px;
	border:1px solid #888888;
	box-shadow:2px 2px 4px 4px #444444;
	background-image:-webkit-gradient(linear, left top, right bottom, color-stop(0, #e2e2e2), color-stop(1, #d8d8d3 ));
	margin:auto;
	text-align:center;
	width:90%;
}
.consoleBox {
	vertical-align:bottom;
	border-radius:10px;
	border:2px solid #888888;
	height:30px;
	font-size:20px;
	font-family: Arial, Helvetica, sans-serif ;
	vertical-align: middle;
}
.consoleIndicator {
	height: 22px;
	border-radius:22px;
	color:red;
	font-size:22px;
}
.wsBox {
	height:89%;
	overflow: auto;
	border-left: 15px solid transparent;
	border-top: 15px solid transparent;
}
.statusBox {
	width:100%;
	margin:auto;
	text-align:left;
	font-style:bold;
	font-family: Arial, Helvetica, sans-serif;
}
.settingsBox {
	border-radius:10px;
	border:1px solid #888888;
	box-shadow:4px 4px 4px 4px #444444;
	background-image: -webkit-gradient(linear, left top, right bottom, color-stop(0, #f0f0f0), color-stop(1, #ebebe6 ));
	margin:auto;
	width:95%;
	height:600px;
	overflow: auto;
	font-size:30px;
	font-style:bold;
}
.wsManageBox {
	border-radius:10px;
	border:1px solid #888888;
	box-shadow:4px 4px 4px 4px #444444;
	background-image: -webkit-gradient(linear, left top, right bottom, color-stop(0, #f0f0f0), color-stop(1, #ebebe6 ));
	margin:auto;
	text-align:center;
	width:95%;
	height:600px;
	overflow: auto;
}
.exportBox {
	border-radius:10px;
	border:1px solid #888888;
	box-shadow:4px 4px 4px 4px #444444;
	background-image: -webkit-gradient(linear, left top, right bottom, color-stop(0, #f0f0f0), color-stop(1, #ebebe6 ));
	margin:auto;
	text-align:center;
	width:95%;
	height:700px;
	overflow: auto;
}
.refButton {
	background-image: -webkit-gradient(linear, left top, right bottom, color-stop(0, #EEEEE0), color-stop(1, #D0D0D0 ));
	border-radius:10px;
	border:1px solid #888888;
	background-color:#DDDDDD;
	box-shadow: 3px 4px #000000;
	font-weight:bold;
	font-size:150%
}
.exprBox {
	background-image: -webkit-gradient(linear, left top, right bottom, color-stop(0, #f5f1f1), color-stop(1, #EEEEEE ));
	border-radius:5px;
	border:1px solid #888888;
	box-shadow: 3px 4px #888888;
	padding:10px;
}
.refViewBox {
	border-radius:10px;
	border:1px solid #888888;
	box-shadow:4px 4px 4px 4px #444444;
	margin:auto;
	width:97%;
	height:86%;
}
.homeViewBox {
	background-image: -webkit-gradient(linear, left top, right bottom, color-stop(0, #f5f1f1), color-stop(1, #EEEEEE ));
	border-radius:10px;
	border:1px solid #888888;
	box-shadow:4px 4px 4px 4px #444444;
	margin:auto;
	width:97%;
	height:86%;
	overflow: auto;
}
.loadPreview {
	margin:auto;
	text-align:center;
	width:95%;

}