html 
{
	font-family: Arial, Helvetica Neue, Helvetica, sans-serif;
	padding-left: 30px;
	font-size: 0.95em;
}

table 
{
	margin: 0;
	padding: 0;
	border-collapse: collapse;
	border: 0px solid black;
}

td 
{
	padding-right: 5px;
	padding-bottom: 5px;
}

/* If the parent element has the dashboard class... */
.dashboard td, .dashboard th {
	padding-bottom: 3px;
	padding-top: 3px;
	text-align: left;
	border-bottom: #efefef 1px solid;
}

/* If the parent element has the dashboard class... */
.dashboard th {
	border-top: #efefef 1px solid;
}


.network-table td, .network-table th {
	font-size: 0.8em;
	padding-right: 20px;
	padding-left: 20px;
	padding-bottom: 3px;
	padding-top: 3px;
	text-align: left;
	border-bottom: #efefef 1px solid;
}

.network-table th {
	border-top: #efefef 1px solid;
}

textarea {
	font-family: monospace;
	white-space: pre;
	overflow: auto;
}

.description 
{
	color: #999;
}

/* This is applied to href elements. */
.actionbutton 
{
	background: rgb(0, 66, 151);
	color: white;
	padding: 5px;
	padding-right: 10px;
	padding-left: 10px;
	text-decoration: none;
}

/* This is applied to href elements. */
.actionbutton:hover 
{
	background: rgb(0, 42, 97);
}

.inlineresult { }

.padding-right 
{
	padding-right: 20px;
}

/* TODO: Give these better names. */
button.dashboard 
{
	padding: 0.4em 1em;
	margin-right: 0.1em;
	background: #f6f6f6;
	color: #454545;
	border: 1px solid #c5c5c5;
	border-radius: 4px;
	font-weight: normal;
	font-style: normal;
}

button.dashboard:disabled 
{
	padding: 0.4em 1em;
	margin-right: 0.1em;
	background: #fdfdfd;
	color: #454545;
	border: 1px solid #c5c5c5;
	border-radius: 4px;
	font-weight: normal;
	font-style: italic;
}

button.dashboard:hover 
{
	transform: scale(1.02);
	padding: 0.4em 1em;
	margin-right: 0.1em;
	background: #f6f6f6;
	color: #454545;
	border: 1px solid #c5c5c5;
	border-radius: 4px;
	font-weight: bold;
	font-style: normal;
}

button.dashboard:active 
{
	transform: scale(0.98);
	padding: 0.4em 1em;
	margin-right: 0.1em;
	background: #969696; /* darken the background */
	color: #d5d5d5; /* lighten the text */
	border: 1px solid #c5c5c5;
	border-radius: 4px;
	font-weight: bold;
	font-style: normal;
}

div.button-bar 
{
	padding-bottom: 10px;
	border-bottom: 1px solid black;
	margin-bottom: 10px;
}

div.result-bar 
{
	padding-top: 10px;
	margin-top: 10px;
	border-top: 1px solid black;
}

div.result-box 
{
	padding-top: 10px;
	padding-bottom: 10px;
	padding-left: 5px;
	padding-right: 5px;
	margin: 5px;
	border: solid 1px black;
	border-radius: 8px;
}

.mt-10 
{
	margin-top: 10px;
}

.mb-10 
{
	margin-bottom: 10px;
}

.mt-20 {
	margin-top: 20px;
}

.mb-20 {
	margin-bottom: 20px;
}

div.col-clearfix::after /* Insert content after this element */ 
{
	content: "";		/* the content will just be empty */
	display: table;		/* Set as a block level element like a table */
	clear: both;		/* clear make sure the content clears floated elements */
}

div.center-div {
	/* Relatively newer browser centering */
	display: grid;
	place-items: center;

	/* Legacy Centering */
	text-align: center;
	margin: auto;
}

.left-col-80 
{
	float: left;
	width: 79%;
	padding-right: 10px;
}

.left-col-75 
{
	float: left;
	width: 74%;
	padding-right: 10px;
}

.left-col-70 
{
	float: left;
	width: 69%;
	padding-right: 10px;
}

.left-col-60 {
	float: left;
	width: 59%;
	padding-right: 10px;
}

.left-col-40 {
	float: left;
	width: 39%;
	padding-right: 10px;
}

.left-col-50 
{
	float: left;
	width: 49%;
	padding-right: 10px;
}

.left-col-30 
{
	float: left;
	width: 29%;
	padding-right: 10px;
}

.left-col-25 
{
	float: left;
	width: 24%;
	padding-right: 10px;
}

.left-col-20 
{
	float: left;
	width: 19%;
	padding-right: 10px;
}

.left-col-15 {
	float: left;
	width: 14%;
	padding-right: 10px;
}

.left-col-10 {
	float: left;
	width: 9%;
	padding-right: 10px;
}

.right-col-80 
{
	float: right;
	width: 79%;
	padding-left: 5px;
}

.right-col-70 
{
	float: right;
	width: 69%;
	padding-left: 5px;
}

.right-col-60 {
	float: right;
	width: 59%;
	padding-left: 5px;
}

.right-col-50 
{
	float: right;
	width: 49%;
	padding-left: 5px;
}

.right-col-40 {
	float: right;
	width: 39%;
	padding-left: 5px;
}

.right-col-30 
{
	float: right;
	width: 29%;
	padding-left: 5px;
}

.right-col-25 
{
	float: right;
	width: 24%;
	padding-left: 5px;
}

.right-col-20 
{
	float: right;
	width: 19%;
	padding-left: 5px;
}

.right-col-15 {
	float: right;
	width: 14%;
	padding-left: 5px;
}

.right-col-10 {
	float: right;
	width: 9%;
	padding-left: 5px;
}

div.pc3d-img-bar 
{
	padding: 10px;
	margin: 10px;
}

span.pc3d-img-wrap 
{
	padding: 2px;
	margin: 2px;
}

div.image-box 
{
	text-align: center;
	margin: 5px;
	padding: 5px;
	border: 1px solid black;
	border-radius: 4px;
}

img.pc3d-img 
{
	width: 30%;
	margin: 2px;
	border: solid 1px grey;
	border-radius: 2px;
}

div.pc3d-capture-log 
{
	padding: 5px;
	margin: 5px;
	border: 1px solid black;
	border-radius: 4px;
}