.full-justify {
	text-align: justify;
}
.full-justify:after {
	content: "";
	display: inline-block;
	width: 100%;
}
.ul-horz-lines ul
{
	border-top: 2px solid #B7B7B7;
}
.ul-horz-lines li
{
	border-bottom: 1px solid #B7B7B7;
}
.label
{
	font-weight: bold;
}
#from
{
	width: 100%;
}
#to
{
	width: 100%;
}
#subject
{
	width: 100%;
}
#date_created
{
	width: 100%;
}
#label-body
{
	display: none; /* invisible and doesn't take up space */
	xxx-visibility: hidden; /* invisible but still takes up space */
}
#body
{
	width: 100%;
	height: 10em;
}
.full-width
{
	width: 100%;
}
.ack
{
	background-color: #00FF00;
}
.unack
{
	background-color: #FF8000;
}
.sel
{
	background-color: yellow;
}
.nosel
{
	//background-color: grey;
}
#list-settings a
{
	x-height: 2em;
}
body
{
	margin: 4px;
}
.pure-pre
{
	background-color: rgb(238, 238, 238);
	border: 1px solid rgb(204,204,204);
	border-bottom-left-radius: 4px;
	border-bottom-right-radius: 4px;
	border-top-left-radius: 4px;
	border-top-right-radius: 4px;
	box-shadow: rgb(221, 221, 221) 0px 1px 3px 0px inset;
	box-sizing: border-box;
	color: rgb(119, 119, 119);
	padding: 8px 9.6px;
}
input[type=submit].pure-button
{
	width: 100%;
}
a.pure-button
{
	width: 100%
}
a.pure-button.small-button
{
	width: auto;
}
#frmUserEdit #tz
{
	xxx-font-size: 66%; /* don't need this as long as the time-zone list is kept trimmed */
}
.pure-checkbox input
{
	width: 1.5em;
	height: 1.5em;
}
#frmUserEdit #must_change
{
	width: 1.5em;
	height: 1.5em;
}
.error-message
{
	background-color: red;
}
#frmPromptEdit #text
{
	width: 100%;
}

pre {
	margin: 0;
}

table {
	border-collapse: collapse;
}

table.fullpage {
	height: 100%;
	width: 100%;
	position: absolute;
	top: 0;
	bottom: 0;
	left: 0;
	right: 0;
}

body.dashboard, .ignore_calls td, .ignore_calls th, .fifo_calls .ignore td {
	background-color: #D0D0D0;
}

.fifo_calls .alarm td {
	background-color: red;
}

.fifo_calls .warning td {
	background-color: yellow;
}

.fifo_calls td {
	background-color: white;
}

.dr_mode {
	background-color: yellow;
}

.freedom_mode {
	background-color: green;
}