/*********** WHOLE PAGE *******************************************************/
.PageStyle {
	height:    auto;
	max-width: 800px;
/*	border:    2px solid lightgray;@@*/
	margin:    auto;
}

.DivStyle{
	margin: auto;
/*	border-color: lightgray;@@*/
}

div.Foot {
	margin: auto;
	float:  bottom;
}

input.UserInput1 {
	width: 35px;
}

input.UserInput2 {
	width: 50px;
}

.DropDownBox {
	width:  60px;
	height: 21px;
}


/********** HEADER SECTION ****************************************************/
div.Logo {
	width : 20%;
	float:  left;
	margin: 5px 25px 15px 5px;
}

div.DeviceInfo {
/*	border:  2px solid lightgray;@@*/
	float :  right;
	padding: 5px 5px 5px 5px;
	margin:  5px 5px 5px 5px;
}

div.Banner {
	margin: 5px 5px 5px 120px;
}

div.ProjectName {
	font-family: "Times New Roman";
	font-size:   2.5em;
	text-align:  center;
}



/********** SUBMIT BUTTON *****************************************************/
.Apply{
 font-weight: bold;
 font-family: "Times New Roman";
 font-size:   125%;
 color:       red;
 background-color: white;
}


/********** OPERATION SECTION *************************************************/
div.PlaceholderTop {
	width:400px;
}

table.panel{
	text-align: left;
	width:      800px; 
	margin:     auto;
}

div.ControlBoxBig{
	width:  250px;
	height: 150px;
	margin: auto;
}

div.ControlBoxSmall{
	width:  250px;
	margin: auto;
}

/* @@ How to move these left without fudging right margin? */


/********** CONFIGURE/MONITOR SLIDER ******************************************/
/*Thanks to https://www.w3schools.com/howto/tryit.asp?filename=tryhow_css_switch*/

	div.page_state_box {
		padding: 5px;
	}

	.switch {
		position: relative;
		display:  inline-block;
		width:    100px;
		height:   34px;
	}

	.switch input {
		display:none;
	}

	.slider {
		position: absolute;
		cursor:   pointer;
		top:    0;
		left:   0;
		right:  0;
		bottom: 0;
		background-color: #ccc;
		-webkit-transition: .4s;
		transition: .4s;
	}

	.slider:before {
		position: absolute;
		content:  "";
		height:   26px;
		width:    26px;
		left:     4px;
		bottom:   4px;
		background-color: white;
		-webkit-transition: .4s;
		transition: .4s;
	}

	input:checked + .slider {
		background-color: red;
	}

	input:focus + .slider {
		box-shadow: 0 0 1px #2196F3;
	}

	input:checked + .slider:before {
		-webkit-transform: translateX(66px);
		-ms-transform:     translateX(66px);
		transform:         translateX(66px);
	}

	.slider.round {
		border-radius: 34px;
	}

	.slider.round:before {
		border-radius: 50%;
	}

span.slider_label {
	font-size: 1.5em;
}

span.slider_label_left {
	font-size: 1.5em;
	float: left;
}

span.slider_label_right {
	font-size: 1.5em;
	float: right;
}