/* fichero para guadalinex2004 por dani: danilubrin@yahoo.es */

body {
	font-size: 12px;
	font-family: Verdana, Helvetica, Arial, sans-serif;
	margin: 0px;
	padding: 0px;
	background: #ffffff;  
}


h1, h2, h3, h4, h6, h7 {
    font-family: Georgia, Times, serif;
    color: #0d510d;
}

/*Navigational headers and footers */
div.navheader, div.navfooter {
	font-family: Helvetica, Arial, Verdana, sans-serif;
	background: #247124;  /*3366cc url(imgs/nav-bg.png) bottom repeat-x*/ /*acafac*/
}

div.navheader table, div.navfooter table {
	font-size: 105%;
	color: #DED2A8;
	border: 1px solid #1A4BAB;
	border-top: 1px solid #0D53DC;
	padding-bottom: 1px;
	padding-left: 3px;
	padding-right: 3px;
}

div.navheader table td a, div.navfooter table td a {
	color: #efefef;
	text-decoration: underline;
}

div.navheader hr, div.navfooter hr {
	display: none;
}


.informaltable {
	font-size: 105%;
/*	color: #DED2A8;*/
	border-top: 1px solid #DED2A8;
	border-left: 1px solid #DED2A8;
	border-bottom: 1px solid #DED2A8;
	border-right: 1px solid #DED2A8;
	padding-bottom: 3px;
	padding-left: 3px;
	padding-right: 3px;
}


/*	border: 1px solid #1A4BAB;*/


/* Global margins */
div.book, div.preface, div.chapter, div.sect1, div.sect2, div.sect3, div.appendix {
	margin: 2em;
}

/* Book, preface, chapter, appendix titles */
div.titlepage h1.title, div.titlepage h2.title {
    text-align: center;
}

/* Book subtitle */
div.book div.titlepage h2.subtitle {
 	font-family: Helvetica, Arial, Verdana, sans-serif;
 	font-style:italic;	
   font-size: 85%;  /*75%*/
   text-align: center;
   position: relative;
   top: -15px;
}

/* Authors' names */
div.book div.titlepage h3.author {
   font-family: Helvetica, Arial, Verdana, sans-serif;
   font-size: 90%; /*85*/
   text-align: center;
}

/* Otros datos */
div.affiliation {  
   font-family: Helvetica, Arial, Verdana, sans-serif;
   font-size: 85%;
   text-align: center;
}

/* Revision history */
div.revhistory table {
	border: 0px hidden;
	padding-top: 1em;
	padding-bottom: 2em;
	font-size: 80%;
}
div.revhistory > table  > tr > th {
	border: 0px hidden;
	padding: 0px;
}
div.revhistory > table > tr > td {
	border: 0px hidden;
	padding-left: 1em;
}

/* Copyright and pubdate */
.copyright, .pubdate {
	font-size: 80%;
	text-align: center;
}

.pubdate, hr {
   position: relative;
   top: -10px;
}

hr {
	border: 0px;
	border-top: 1px solid black;
}

/* Book's Table of contents */
div.toc p, div.list-of-figures p, div.list-of-examples p, div.list-of-procedures p {
   font-family: Helvetica, Arial, Verdana, sans-serif;
   font-size: 110%;
   color: #444444;
	text-align: center;
}

 div.list-of-figures p, div.list-of-examples p, div.list-of-procedures p {
   border-top: 1em hidden;
}

div.book div.toc .chapter a {
	display: block;
}

div.book div.toc {
	background-color: transparent;
	border: 0px;
	padding: 0px;
}

/* Chunked Book's Table of Contents */
div.book h1 {
	text-align: center;
}

/* Otras tablas de contenidos */
div.toc {
	border: 1px solid #3366cc;
	padding: 0px 0.7em;
	background-color: #dffadf; /*caf0ca*/
}

/* Size of titles */
div.chapter div.titlepage h2.title, div.preface div.titlepage h2.title, div.appendix div.titlepage h2.title {
   font-size: 170%;
}
div.sect1 div.titlepage h2.title {
   font-size: 150%;
	text-align: left;
}
div.sect1 div.titlepage h3.title {
   font-size: 130%;
	text-align: left;
}
	
div.itemizedlist li {
	clear: none;
}

p {
	text-align: justify;
}

.filename {
	font-family: Courier, "Courier New", monospace;
	font-size: 90%;
}

/* don't display anchor tags with only an id attribute */
p a[id] {
	margin: 0px;
	padding: 0px;
	display: inline;
	background-image: none;
}

a {
	color: blue;
	text-decoration: none;
}

a:hover {
	text-decoration: underline;
}

.guimenu, .guimenuitem, .guilabel, .guisubmenu {
	font-family: Courier, "Courier New", monospace;
	font-size: 100%;
	color: #806B38;
	padding: 0px;
}

div.caption {
	font-weight: bold;
}

/* For command line commands given through the screen tag*/
.screen {
	font-size: 100%;
	padding: 0.2em 0.5em;
	margin: 1em;
	border: 1px solid #e8e8e8;
	background-color: #eee;
}

/* For command line commands given through the screen tag*/
.note {
	font-size: 100%;
	padding: 0.2em 0.5em;
	margin: 1em;
	border: 1px solid #984646;
	background-color: #fae6e1;
}

.caution {
	font-size: 120%;
	padding: 0.2em 0.5em;
	margin: 1em;
	border: 2px solid #d84646;
	background-color: #fae6e1;
}

.important {
	font-size: 110%;
	padding: 0.2em 0.5em;
	margin: 1em;
	border: 1px solid #d84646;
	background-color: #faeeee;
}




.tip > .title {
	color: #3366cc;
}

.emphasis {font-weight: bold;}

/* For variable lists, to display tip in blue */
/*
dt > SPAN[class="term"] > SPAN[class="emphasis"]  > em {
	color: #3366cc;
}
*/
/* For figure, to get a small margin */
.figure {
	margin-left: 0.7em;
}

/* For figures, examples and procedures, to get a small font */
.figure > .title, .procedure > .title, .example > .title {
   font-family: Georgia, Times, serif;
   font-size: 112%;
   color: #444444;
	font-weight: bold;
}

.screenshot {
	position: relative;
	top: -0.7em;
}

/* Footnotes */
div.footnotes p {
	font-size: 80%;
	display: inline;
	position: relative;
	top: -1em;
}

/* Variable lists' titles */
div.variablelist p.title {
   font-family: Times, Georgia, serif;
   color: #444444;
	font-size: 117%;
}

dd {
	margin-left: 2em;
}

/* For variable lists, indentation of the term element */
.term {
	margin-left: 1em;
}

.command, .userinput {
	font-size: 90%;
}
