/***********************************************************
	HTML styles used for CPX manual.
	Tomas Klinkovsky, 15.4.1998
	Leo Mantovani, 31.10.2001
***********************************************************/
body {
	font-family: Verdana, Arial, sans-serif;
	font-size: 10pt;
	/*background homogeneous for all manual 	*/
	background-image: url(./images/matt.gif);
	background-attachment: fixed;
	/* There is no top and bottom margin */
	margin-top: 0px;
	margin-bottom: 1.5em;
	/* Right and left margin must be reflected in H1 and P.footer */
	margin-left: 20px;
	margin-right: 20px;
}

a:link {
	text-decoration: none;
	color:blue
}

a:visited {
	text-decoration: none;
	color:blue
}

a:hover {
	text-decoration: none;
	color: red;
}

h1 {
	padding-right: 20px;
	padding-left: 20px;
	font-weight: bold;
	font-size: 16pt;
	padding-bottom: 0.5em;
	margin: 0px -20px 10pt;
	color: lightyellow;
	padding-top: 0.5em;
	background-color: darkblue;
	text-align: center;
}

h2
	{
	font-size: 14pt;
	font-weight: bold;
	background-color: peachpuff;
	padding: 3px;
	}

h3 {
	font-size: 12pt;
	font-weight: bold;
}

h4 {
	/* UNUSED -> REMOVE */
	font-size: 10pt;
	font-weight: bold;
}

p {
	font-size: 10pt;
	line-height: 1.4em;
	margin-top: 1em;
	margin-bottom: 1em;
}

p.Footer {
	/* UNUSED -> REMOVE */
	font-size: 7pt;
	font-weight: normal;
	background-color: DarkBlue;
	color: LightYellow;
	text-align: right;
	/* Right and left margins compensate those of "body" */
	margin-left: -20px;
	margin-right: -20px;
	margin-top: 10pt;
	margin-bottom: 0pt;
	/* Right and left paddings compensate appropriate margins */
	padding-left: 20px;
	padding-right: 20px;
	/* Top and bottom paddings define height of the box */
	padding-top: 0.5em;
	padding-bottom: 0.5em;
}

/* Lists styles */

dl {
	line-height: 1.4em;
}

dd {
	margin-bottom: 0.5em;
}

ol {
	font-size: 10pt;
}

ol.Text li {
	/* UNUSED -> REMOVE */
	padding-bottom: 6pt;
}

ul {
	font-size: 10pt;
	line-height: 1.4em;
}

ul.Text li {
	/* UNUSED -> REMOVE */
	padding-bottom: 6pt;
}

/* Tables styles.
Basic is for actual tabels
.par is for for parameters sections
*/

table {
	font-size: 8pt;
	/*background-color: LightYellow;*/
	vertical-align: middle;
	border: thin solid;
}

table.coloured {
	/* UNUSED -> REMOVE */
	font-size: 8pt;
	background-color: LightYellow;
}

table.Design {
	/* UNUSED -> REMOVE */
	font-size: 10pt;
	/*background-color: White;*/
}

table.par {
	border: none;
	font-family: Verdana, Arial, sans-serif;
	font-size: 10pt;
}

/* Table raw styles*/

tr.Nepravda {
	/* UNUSED -> REMOVE */
	background-color: #7F7F70;
	color: WHITE;
}

tr.even {
	/* UNUSED -> REMOVE */
	background-color: #FFFFC0;
}

/* Tables headers stayles*/

th {
	background-color: PeachPuff;
}

th.Pravda {
	/* UNUSED -> REMOVE */
	text-align: left;
	background-color: PeachPuff;
}

th.Nepravda {
	/* UNUSED -> REMOVE */
	text-align: left;
	background-color: #7F6D5C;
}

/*Table data styles*/
td {
}

td.p-tk {
	width: 100px;
	font-weight: bold;
}

td.p-title {
	font-weight: bold;
}

td.p-dft {
	font-style: italic;
}

.p-desc{
	margin-left: 50px;
	text-align: justify;
}

.p-desc-2{
	margin-left: 180px;
	text-align: justify;
}

.p-icon{
	/* place the icon at the same margin of the body*/
	position: absolute;
	left: 20px;
}

/* */

.mono {
	/* UNUSED -> REMOVE */
	font-family: Lucida Console, Courier, monospace;
}

em {
	font-style: normal;
	font-weight: bold;
}

/* Preformatted text styles */

pre {
	font-family: Courier New, Courier,Andale Mono,monospace  ;
	font-size: 8pt;
	background-color: Black;
	color: #99FFFF;
	padding: 5pt;
	line-height: 100%
}

pre a:link {
	text-decoration: none;
	color: Lime;
}
pre a:visited {
	text-decoration: none;
	color: Lime;
}
pre a:hover {
	text-decoration: none;
	color: Red;
	/*font-weight: bold;*/
	background-color: white;
}

pre em {
	font-style: normal;
	color: yellow;
	font-weight: bold;
}

pre.source {
	/* UNUSED -> REMOVE */
	/*font-family: Courier New, Courier, Lucida Console, monospace;
	font-size: 8pt;*/
	background-color: #F5F5F5;
	color: #000040;
	/*padding: 1em;
	margin: 1em;*/
	/*padding-left: 10px;
	margin-left: 10px;
	margin-right: 10px;*/
}

pre.term {
	/* UNUSED -> REMOVE */
	/*font-family: Andale Mono, Courier New, Courier, Lucida Console, monospace;
	font-size: 8pt;*/
	background-color: #404040;
	color: #D3D3D3;
	/*padding: 1em;
	margin: 1em;*/
}

span.source {
	/* UNUSED -> REMOVE */
	font-family: Andale Mono, Lucida Console, Courier New, Courier, monospace;
	color: #0000C0;
}

span.name {
	/* UNUSED -> REMOVE */
	font-family: Andale Mono, Lucida Console, Courier New, Courier, monospace;
	font-weight: bold;
	color: black;
}

img {
	border-style: none;
}

img.Margin {
	/* UNUSED -> REMOVE */
	margin-top: 5px;
	margin-bottom: 5px;
}

img.top {
	border-style: none;
	vertical-align: middle;
	margin-left: 1em;
}

code {
	/* UNUSED -> REMOVE */
	font-weight: bolder;
	color: Gray;
	font-family: Verdana, Geneva, Arial, Helvetica, sans-serif;
}
/*
table.Lcdmsg {
	background-color: White;
	border: 5pt ridge #FBFBFB;
	font-size: 10pt;
	font-family: 'Courier New', Courier, monospace;
	text-align: left;
}
*/
td.Lcdmsg {
	background-color: White;
	border: 5pt ridge #FBFBFB;
	font-size: 10pt;
	font-family: 'Courier New', Courier, monospace;
	text-align: left;
	white-space: nowrap;
}

table.Lcdmsg {
	border: none;
}

td.Monospace {
	font-size: 10pt;
	font-family: 'Courier New', Courier, monospace;
	text-align: left;
	white-space: nowrap;
}

/* REVISION */
div.revision {
	text-align: right;
	font-size: 7pt;
}

div.revision b {
	font-size: 10pt;
}

/* PRINT */
div.print {
	text-align: center;
	padding-top: 1.5em;
	padding-bottom: 1.5em;
	border-top: solid 2px silver;
	border-bottom: solid 2px silver;
	margin-top: 1.5em;
	margin-bottom: 1.5em;
}

div.print img {
	border-style: none;
	vertical-align: middle;
	margin-right: 1em;
}

/* USE this calss instead of <ul type="disc"> */
ul.disc {
	list-style-type: disc;
}