/* all */

.screen {
	font-family: monospace;
	border: 1px solid #edece6;
	padding: 5px;
	overflow-x: auto;
}

.border1 {
	border: 1px solid #edece6;
}

table {
	font-size: small;
	width: 100%;
	padding: 0 8px;
	text-align: left;
}

table th {
	color: #04456b;
	text-decoration: underline;
}

.devicedoc_table {
	width: 800px;
	text-align: left;
}

/* pkgdb */
.pkgdb_table_title {
	display: block;
	color: #04456b;
	background: #ffffff;
	border: 1px solid #edece6;
        margin: 30px 8px 0px 8px;
}
.pkgdb_table {
	font-size: small;
	width: 100%;
	padding: 10px 4px;
}
.pkgdb_table th {
	color: #04456b;
	text-decoration: underline;
}
.pkgdb_table .pkgdb_th_col {
	width: 30%;
}
div.file_contents {
	font-size: small;
	padding: 20px 8px 10px 8px;
}

#cruxheader {
  text-align: center;
  margin: 0px 0px 20px 0px;
  padding: 5px 0px 10px 0px;
  background: #FFFFFF;
  border: 1px solid #edece6;
}
#cruxheader a {
  text-decoration: none;
  padding: 0px 4px;
}
#cruxheader a:visited, #cruxheader a:active {
  text-decoration: none;
  color: #04456b;
}
#cruxheader img {
  text-align: center;
}