@font-face {
    font-family : 'Open Sans';
    font-style  : normal;
    font-weight : 400;
    src         :
        local('Open Sans'),
        url('/css/fonts/open_sans/OpenSans-Regular-webfont.woff') format('woff');
}

/* Best monospace font EVAR! */
/* http://blogs.adobe.com/typblography/2012/09/source-code-pro.html */
@font-face {
	font-family : 'Source Code Pro';
	font-style  : normal;
	font-weight : 400;
	src         :
		local('Source Code Pro'),
		local('SourceCodePro-Regular'),
		url('/css/fonts/source_code_pro/source_code_pro.woff') format('woff');
}

body {
}

td > pre {
	font-family : 'Source Code Pro', monospace;
	font-size   : 90%;
	margin      : 2px 0;
}

.raw_output {
	font-family : 'Source Code Pro', monospace;
	font-size   : 90%;
	margin      : 2px 0;
	color       : white;
}

table {
	border-collapse: collapse;
}

table td {
	padding: 1px 4px;
}

.dig_table {
	margin-bottom: 1em;
}

.servers {
	margin-top: 5px;
	margin-bottom: 10px;
}

label {
	margin-right: 5px;
}

.description {
	font-weight : bold;
	width       : 8em;
	text-align  : right;
	display     : inline-block;
}

.server_textarea {
	width      : 30%;
	height     : 12em;
	margin-top : 1em;
}

.hidden {
	display: none;
}

.good {
	background-color: #a8ff8b;
}

.bad {
	background-color: #ffa959;
}

.failure {
	background-color: rgb(89, 202, 255);
}

.fwdrev {
	font-family: monospace;
}

.dig_piece_0 { width: 40%; }
.dig_piece_1 { width: 10%; }
.dig_piece_2 { width: 5%;  }
.dig_piece_3 { width: 10%; }
.dig_piece_4 { width: 35%; }

.footer {
	font-size: 75%;
}

/* ========================================================================== */
/* MEDIA QUERIES                                                              */
/* ========================================================================== */

/* This is for medium width devices - medium - high width desktops */
@media (min-width: 1401px) and (max-width: 1800px) {
}

/* This is for medium width devices - medium width desktops */
@media (min-width: 1026px) and (max-width: 1400px) {
}

/* This is for medium width devices - tablets */
@media (min-width: 641px) and (max-width: 1025px) {
}

/* This is for small width devices - phones */
@media (min-width: 0px) and (max-width: 640px) {
}