/* Document body properties */
body
{    
    font-size: 14px;
    font-family: "Bitstream Vera Sans", "Times New Roman", "Georgia", Arial;
    
    margin: 0 20mm 10mm 50mm;
    
    line-height: 1.4em;
    
    /* Attention? We have to do it, sorry. */
    background: #fff;
    color: #000;
}

/* General header properties */
h1
{
	text-align: center;
	font-size: 2em;
	
	padding: 0.6em 0.7em;
	margin: 0 -20mm 10mm -50mm;
	
	color: #fff;
	
	background: #212B4E;
}

/* Generic headings properties */
h2, h3, h4
{
	margin: 1.7em 0 1em -30mm;

	color: #444;
}

/* Link properties (static and hoverity) */
a
{
	color: #3953AF;
	
	text-decoration: none;
	
	border-bottom: solid 1px #3953AF;
}

/* Hoverity properties */
a:hover
{
	background: #C0C7E1;
}

/* Abbreviation visual look */

abbr
{
	padding-bottom: 0.13em;
	
	border-bottom: dotted 1px #3953AF;
}

/* Authors and notes */
p.author, p.translation
{
	margin: 0.1em 0;

	text-align: right;
	
	color: #666;
}

/* TOC sublink properties */
.toc li, ol li
{
	margin: 0.1em 0;
	padding: 0;
}

/* Overall TOC element list */
.overall
{
	margin: 0;
	padding: 0;
	
	list-style: none;
}

/* Single link in overall TOC*/
.overall li a
{
	padding: 0.8em 1em;
	
	border: none;
	
	background: #e7e7e7;
	color: #222B38;

	display: block;
	
	font-size: 1.3em;
}


/* Hovering on single link */
.overall li a:hover
{	
	text-decoration: underline;
}

/* Insertion property */
ins, p.insert
{
	background: #97C98E;
	
	padding: 0.07em;
	
	text-decoration: none;
}

/* code look and style */
pre
{
	margin: 0 -20mm 0 -50mm;
	padding: 0.5em 20mm 0.5em 50mm;
	
	border-top: dotted 1px #666;
	border-bottom: dotted 1px #666;
	
	background: #f7f7f7;
	
	font-size: 0.9em;
}

/* Code font size minimization */
code
{
	font-size: 0.9em;
	background: #f4f4f4;
}


/* Definition list elements (definition itself) */
dl dd
{
	margin: 0.6em 2.3em 1em 2.3em;
}

/* Definition list elements (definition name) */
dl dt
{
	font-weight: bolder;
}