/****************************************************************
 *								*
 * Copyright (c) 2010-2016 Fidelity National Information	*
 * Services, Inc. and/or its subsidiaries. All rights reserved.	*
 *								*
 *	This source code contains the intellectual property	*
 *	of its copyright holder(s), and is made available	*
 *	under a license.  If you do not know the terms of	*
 *	the license, please stop and do not read further.	*
 *								*
 ****************************************************************/
span.underline {text-decoration: underline;}
span.bold {font-weight: bold; }
span.italic {font-style: italic; }
span.italicunderline {text-decoration: underline; font-style: italic; }
span.red {color: red;}
BODY {

	font-family: Ubuntu, Verdana, "DejaVu Sans", sans-serif;
	font-size: 9.5pt;
}
li {
 padding-left: -3px;
    text-indent: -3px;
 margin: 2px;
}

P {
	font-size: 9.5pt;
	color: #000000;
	font-family: Ubuntu, Verdana, "DejaVu Sans", sans-serif;
	margin-top: 10pt;
	margin-bottom: 10pt;
	line-height:150%;
}
code.filename {
	font-family: Ubuntu, Verdana, "DejaVu Sans", sans-serif;
	color: black;
	font-size: 14pt;}
H1 {

	margin: 30px;
	font-family: Ubuntu, Verdana, "DejaVu Sans", sans-serif;
	font-variant: normal;
	font-weight: bold;
	font-size: 16pt;
	/* color: #007D8A;*/
	color: #8DC63F;
	background-color: white;
}
H2 {
	font-family: Ubuntu, Verdana, "DejaVu Sans", sans-serif;
	font-variant: normal;
	font-weight: bold;
	font-size: 18pt;
	color: #004F59;
}
H3 {
	font-family: Ubuntu, Verdana, "DejaVu Sans", sans-serif;
	/*color: #005F83;*/
	color: #8DC63F;
	font-size: 15pt;

}
H4 {
	font-family: Ubuntu, Verdana, "DejaVu Sans", sans-serif;
	color: #004F59;
	font-size: 14pt;
	border-bottom: 1px solid silver;
	}
H5 {
	font-size: 13pt;
	font-family: Ubuntu, Verdana, "DejaVu Sans", sans-serif;
	color: #8DC63F;
}
H6 {
	font-size: 12pt;
	font-family: Ubuntu, Verdana, "DejaVu Sans", sans-serif;
}
PRE {
	padding-left: 2px;
	padding-right: 2px;
	padding-top: 2px;
	padding-bottom: 2px;
	font-family:     Inconsolata, monospace;
	background-color: #e2e2e3;
	border: 1px solid #007D8A;
	font-size: 11pt;
	word-wrap: break-word;
	white-space: pre-wrap;
	white-space: -moz-pre-wrap;

}
DT {
	font-size: 10.0pt;
	color: #000000;
	font-family: Ubuntu, Verdana, "DejaVu Sans", sans-serif;
}

DIV.table TH, DIV.informaltable TH {
	background: #D1DAC0;
	font-size: 9.0pt;
	font-family: Ubuntu, Verdana, "DejaVu Sans", sans-serif;
	padding-left: 4px;
	padding-right: 4px;
	padding-top: 4px;
	padding-bottom: 4px;
	border-collapse: collapse;
	border-top: 1px solid black;
	border-bottom: 1px solid black;
	border-right: 1px solid black;
	border-left: 1px solid black;
}
DIV.table TD, DIV.informaltable TD {
	font-size: 8.0pt;
	font-family: Ubuntu, Verdana, "DejaVu Sans", sans-serif;
	padding-left: 4px;
	padding-right: 4px;
	padding-top: 2px;
	padding-bottom: 2px;
	vertical-align: top;
	border-top: 1px solid black;
	border-left: 1px solid black;
	border-right: 1px solid black;
	border-bottom: 1px solid black;

}

DIV.table TR:hover, DIV.informaltable TR:hover
{
background-color:#E0E0E0;
}
DIV.abstract
{
 width:90%
}

DIV.table P, DIV.informaltable P {
	font-size: 10.0pt;
	font-family: Ubuntu, Verdana, "DejaVu Sans", sans-serif;
	margin:5pt;
}
DIV.table TABLE, DIV.informaltable TABLE {
	margin-top: 4pt;
	margin-bottom: 4pt;
	border-collapse: collapse;
	width:90%;
}
TABLE.simplelist {
	font-family: Ubuntu, Verdana, "DejaVu Sans", sans-serif;
	font-size: 10pt;
}

CODE {
	color: black;
	font-family: Inconsolata, monospace, Verdana, "DejaVu Sans", sans-serif;
	font-style: normal;
	font-size: 11pt;
}
EM.replaceable {
	color: #808080;
	font-family: Inconsolata, Ubuntu, Verdana, "DejaVu Sans", sans-serif;
	font-size: 11pt;
}

DIV.toc DD {
	font-size: 10.0pt;
	font-family: Ubuntu, Verdana, "DejaVu Sans", sans-serif;
	margin-top: 1pt;
	margin-bottom: 1pt;
}
DIV.toc DT {
	font-size: 10.0pt;
	font-family: Ubuntu, Verdana, "DejaVu Sans", sans-serif;
	margin-top: 1pt;
	margin-bottom: 1pt;
}
DIV.list-of-figures DD {
	font-size: 10.0pt;
	font-family: Ubuntu, Verdana, "DejaVu Sans", sans-serif;
	margin-top: 1pt;
	margin-bottom: 1pt;
}
DIV.list-of-figures DT {
	font-size: 10.0pt;
	font-family: Ubuntu, Verdana, "DejaVu Sans", sans-serif;
	margin-top: 1pt;
	margin-bottom: 1pt;
}
DIV.navheader TH{
	font-family: Ubuntu, Verdana, "DejaVu Sans", sans-serif;
	font-size: 10.0pt;
	font-variant: normal;
	font-weight: bold;
	color: #007D8A;
}
DIV.navheader TD{
	font-family: Ubuntu, Verdana, "DejaVu Sans", sans-serif;
	font-size: 11.0pt;
	font-variant: normal;
	font-weight: bold;
}
DIV.navfooter TD{
	font-family: Ubuntu, Verdana, "DejaVu Sans", sans-serif;
	font-size: 10.0pt;
	font-variant: normal;
	font-weight: bold;
}
DIV.revhistory table{
	width: 90%;
}

DIV.revhistory TD{
	font-size: 10.0pt;
	font-family: Ubuntu, Verdana, "DejaVu Sans", sans-serif;
	padding-left: 2px;
	padding-right: 2px;
	padding-top: 2px;
	padding-bottom: 2px;
	border: 1px solid ;

}

DIV.revhistory P {
	font-size: 9.0pt;
	font-family: Ubuntu, Verdana, "DejaVu Sans", sans-serif;
	margin-top: 1pt;
	margin-bottom: 1pt;
}

DIV.revhistory TH{
	background-color: #e2e2e3;
	font-size: 9.0pt;
	font-family: Ubuntu, Verdana, "DejaVu Sans", sans-serif;
	padding-left: 2px;
	padding-right: 2px;
	padding-top: 2px;
	padding-bottom: 2px;
	text-align: left;
}

DIV.copyright, .pubdate
{
	font-family: Ubuntu, Verdana, "DejaVu Sans", sans-serif;
	font-size: 9.0pt;
	text-align: left;
	padding: 0;
	border: 0;
}

DIV.legalnotice
{
	font-family: Ubuntu, Verdana, "DejaVu Sans", sans-serif;
	font-size: 9.0pt;
	color: #000000;
	background-color: #ddd;
	padding: 5px 5px 5px 5px;
	border: 1px solid #000000;
}
ol {
	font-size: 9.0pt;
	font-family: Ubuntu, Verdana, "DejaVu Sans", sans-serif;
	font-variant: normal;
}

/* admonition headings */
DIV.note, div.important, div.warning, div.caution, div.tip
{
	padding: 0px 0px 0px 0px;
}
DIV.tip, div.tip
{
	margin: 2px;
	display: inline-block;
	border-top: 1px solid black;
        border-bottom: 1px solid black;
	border-left: 1px solid black;
        border-right: 1px solid black;
	border-bottom-left-radius:2em;
	background-color: #F4F1DF;

}


DIV.note, div.note, DIV.caution, div.caution, DIV.warning, div.warning, DIV.important, div.important
{
	border-top: 1px solid black;
        border-bottom: 1px solid black;
/*	border-left: 1px solid #cfcfcf;
        border-right: 1px solid #cfcfcf;*/
}


DIV.note th, div.note th, DIV.caution th, div.caution th, DIV.warning th, div.warning th, DIV.important th, div.important th, DIV.tip th, div.tip th
{
	/* set font size and line height                             */
	/* list of fonts provides fallbacks if a font is not present */
	font: 15px Ubuntu, Verdana, "DejaVu Sans", sans-serif;

	font-weight: bold;
	font-style: italic;


	/* left align */
	text-align: left;
}

.note p, .important p, .warning p, .caution p
{
	word-wrap: break-word;
        white-space: pre-wrap;
        white-space: -moz-pre-wrap;
}

.tip p
{
	word-wrap: break-word;
        white-space: pre-wrap;
        white-space: -moz-pre-wrap;
}

.note img, .important img, .warning img, .caution img, .tip img
{
	margin: 3px 3px 0px 0px;
}