div.content {
    margin: 0 auto; 
    width: 1000px;
}

#dev-info {
	margin-top: 8px;
	float: left;
	font-size: 14px;
}

span.warning {
	color: red;
	font-weight: bolder;
}

div.operation {
    text-align: right;
	width: 100%;
}

button.ctrl {
    display: inline;
}

.ctrl-btn {
    width: 100%;
    height: 100%;
    text-align:center;
    margin: 0 auto;
}

h1 {
	font-family: Georgia,"Times New Roman",Times,serif;
	font-size:26px;
	color:#083772;
    width: 100%;
	letter-spacing:-1px;
	font-weight:normal;
    text-align:center;
}

table.debug-table {
	font-family: verdana,arial,sans-serif;
	font-size: 14px;
	color:#333333;
	border-width: 1px;
	border-color: #666666;
	border-collapse: collapse;
	align-self: center;
}

table.debug-table td {
	border-width: 1px;
	padding: 8px;
	border-style: solid;
	border-color: #666666;
	background-color: #ffffff;
}