/* Base font is a serif family. All pages have a margin */
body
{
	font-family: Verdana, Geneva, Arial, Helvetica, sans-serif;
	font-size: small;
	margin: 25px 45px;
/*	margin-right: 10cm; */
}

/* Remove underlined effect from all links and make it bold */
a
{
	text-decoration: none;
/*	font-weight: bold; */
}

/* When mouse is over a link underline its text temporary */
a:hover
{
	text-decoration: underline;
}

/* Definitions should be strong, not italics as default in some browsers.
 * Green globally means definitions and titles, blue for hyperlinks */
dfn
{
	font-weight: bold;
	font-style: normal;
	color: #004444;
}

/* See http://www.xmlplease.com/footnotes */
a.footnote
{
	font-size: 70%;
	vertical-align: top
}

li
{
	margin: 8px 0px;
}

ol ol
{
	list-style-type: lower-alpha;
}

div.Tabla .xref_caption
{
	padding-top: 5px;
}

div.Tabla
{
	text-align: center;
	font-size: 0.85em;
	margin: 2.5em;
}

div.Tabla table
{
	margin-left: auto;
	margin-right: auto;
	border-collapse: collapse;
}

div.Tabla table td
{
	text-align: left;
	border: 1px solid;
	padding: 2px 4px;
}

div.Tabla code, div.Tabla pre
{
	font-size: 1.2em;
}

div.Tabla pre { margin: 0; }

.Figura, pre.simple
{
	margin-left: 40px;
}

caption
{
	caption-side: bottom;
}

/* Autonumerate sections */
body
{
	counter-reset: h1counter;
}

h1
{
	margin-top: 4em;
	counter-increment: h1counter;
	counter-reset: exercise_counter;
/*	counter-reset: h2counter;*/
}
/*
h1:before
{
	counter-increment: h1counter;
	content: counter(h1counter) ". ";
}
*/
h2
{
	margin-top: 3em;
/*	counter-reset: h3counter;*/
}
/*
h2:before
{
	counter-increment: h2counter;
	content: counter(h1counter) "." counter(h2counter) ". ";
}
*/
h3
{
	margin-top: 2.5em;
	/*counter-reset: h4counter;*/
}

/*
h3:before
{
	counter-increment: h3counter;
	content: counter(h1counter) "." counter(h2counter) "." counter(h3counter) ". ";
}
*/
h4
{
	margin-top: 2em;
}

/*
h4:before
{
	counter-increment: h4counter;
	content: counter(h1counter) "." counter(h2counter) "." counter(h3counter) "." counter(h4counter) ". ";
}
*/

/* Table of contents elements */
div.TOCEntry.TOCLevel1 { font-size: large; font-weight: bold; margin-top: 1.5em; }
div.TOCEntry.TOCLevel2 { font-size: large; margin-left: 1em; margin-top: 0.75em; }
div.TOCEntry.TOCLevel3 { margin-left: 2.5em; }
div.TOCEntry.TOCLevel4 { margin-left: 4em; font-style: italic; }

div.xref_caption { font-size: smaller; text-align: center; }

.formula
{
	text-align: center;
}

.exercise
{
	background: #eee;
	border: dashed 1px;
	padding: 0.5em 1.5em;
	margin: 2em 0;
	box-shadow: 0.5em 0.5em 1em lightgray;
}

.exercise .exercise_num
{
	font-weight: bold;
}

.exercise .exercise_num:after
{
	font-weight: bold;
	counter-increment: exercise_counter;
	content: " " counter(h1counter) "." counter(exercise_counter);
}

#front_cover
{
	text-align: right;
}

#book_title
{
	font-size: 3em;
	text-align: center;
	text-shadow: 2px 2px 3px gray;
	margin: 2em 0 1em;
	border: 3px solid lightGreen;
	padding: 0.5em 0;
	box-shadow: 5px 5px 5px gray;
}

.prettyprint .php_doc
{
	text-decoration: none;
	border-bottom-style: dashed;
	border-bottom-width: 1px;
}