/* WARNING: this comes from the PeS appliance. Better not to add anything here */

.alh-center    { text-align:center; }
.alh-left      { text-align:left; }
.alh-right     { text-align:right; }

/* careful with these: position is absolute! */

.pos-right     { position: absolute; right: 0px; }
.pos-right-mg  { position: absolute; right: 20px; }
.pos-right-10  { position: absolute; right: 10px; }
.pos-br-mg     { position: absolute; bottom: 4px; right: 20px; }

.vtop          { vertical-align: top; }
.vbottom       { vertical-align: bottom; }
.hright        { text-align: right; }

/* if you want a positioned object (not "static" position) so that its children
   can be positioned as well, use pos-rel */

.pos-rel   { position: relative; }

.fntsmall  { font-size: 12px; }
.fntnorm   { font-size: 14px; }
.fntbig    { font-size: 16px; font-weight: bold; }


/* bt stands for bottom and top here */
.mgbt4     { margin: 4px 0px 4px 0px; }

.pad4v    { padding: 4px 0px 4px 0px; }
.pad4     { padding: 4px 4px 4px 4px; }
.pad8v    { padding: 8px 0px 8px 0px; }
.pad8     { padding: 8px 8px 8px 8px; }
.pad8lx   { padding: 0px 8px 8px 0px; }
.pad8lr   { padding: 0px 8px 0px 8px; }

.nothing   { margin: 0px 0px 0px 0px; padding: 0px 0px 0px 0px; }
.nofr      { border-width: 0px 0px 0px 0px; padding: 0px 0px 0px 0px; margin: 0px 0px 0px 0px; }

.wprc100   { width:100%; }
.hprc100   { height:100%; }
.wmin940   { min-width: 940px; }

.inblock   { display: inline-block; vertical-align: top; }
.disp-tbl  { display: table; vertical-align: top; width:100%; }
.disp-cell { display: table-cell; }

.h50px     { height: 50px; }
.h30px     { height: 30px; }
.fullw     { width: 100%; }

.ibl       { display: inline; }

.rel10     { position: relative; left: 10px; }
.rel40     { position: relative; left: 40px; }

.dashLowWhite        { border-bottom: 1px dashed white; }
.solidLowGray        { border-bottom: 1px solid #878787; }
.solidLowLightGray   { border-bottom: 1px solid #a9a9a9; }


/* the outline set to 0 prevents Firefox (Chrome does not need it) from creating a thin border
   around links that have been clicked (tested when the a tag content is an image and not a text) */

.noHighlight, .noHighlight a, .noHighlight a:visited, .noHighlight a:active { text-decoration: none; outline: 0; }


/* styles for main title on top of the page (no images) */

.top_title_red_big { font-family:"Lucida Sans Unicode", "Lucida Grande", sans-serif; font-size:18px; font-weight:bold; color:red; text-decoration:none; }
.top_title_white_big { font-family:"Lucida Sans Unicode", "Lucida Grande", sans-serif; font-size:18px; font-weight:bold; color:white; text-decoration:none; }
.top_title_normal { font-family:"Lucida Sans Unicode", "Lucida Grande", sans-serif; font-size:14px; font-weight:normal; color:white; text-decoration:none; }


/* info divbox with solid colour for the background, not an image */

.info_divbox_solid {
	background-color:#f7f7f7;
	color: #02396c;
	border-bottom:1px dashed #333;
	padding-bottom:5px;
	padding-top:5px;
}


.minButton {

	display: inline-block;

	box-sizing: border-box;
	border: 1px solid #1e6bd6;

	background-color:#f7f7f7;

	text-decoration: none;
	font-size: 11px;
	font-family: sans-serif;
	padding: 2px 2px 2px 2px;

	border-radius: 0px;
}

.evidentButton {

	display: inline-block;

	box-sizing: border-box;
	border: 1px solid #146ba6;

	background-color:#f49d06;
	color: #224455;

	text-decoration: none;
	font-size: 14px;
	font-family: sans-serif;
	padding: 2px 6px 2px 6px;

	border-radius: 0px;
}

.doctext {
	word-wrap: break-word;
	padding: 2px 2px 2px 8px;
	text-indent: -6px;
}