/*
this file belongs to bluefish, a web development environment
Copyright (C) 2005-2006 The Bluefish Project Team

This program is free software; you can redistribute it and/or
modify it under the terms of the GNU General Public License
as published by the Free Software Foundation; either version 2
of the License, or (at your option) any later version.

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

You should have received a copy of the GNU General Public License
along with this program; if not, write to the Free Software
Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301, USA.
*/

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


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

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

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;
}

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

/* Contents of part margins */
.partintro .sidebar p {
	text-align:center;
	margin:2em;
	line-height: 16px;
}

/* 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: 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: 85%;
   text-align: center;
}

/* Other credits */
div.book div.titlepage p.othercredit {
   font-family: Helvetica, Arial, Verdana, sans-serif;
   font-size: 85%;
   font-weight: bold;
   color: #444444;
   text-align: center;
}

/* Revision history */
/*Work around a bug in (mozilla based browser?)
 which does not respect visibility and color of border
 without border-collapse */
 div.revhistory table {
	border: 0px hidden white;
	border-collapse: collapse;
	padding-top: 1em;
	padding-bottom: 2em;
}

/*Book Revision History centered with spaces around it */
.revhistory table tr th {
	border: 0px hidden white;
	padding: 8px;
	text-align: center;
	font-size: 70%;
}

/* Appendix Revision History greater font */
.appendix .revhistory table tr th {
	font-size: 75%;
}

/* Book Revision History elements */
.revhistory > table td {
	border: 0px hidden white;
	font-size: 70%;
}

/* Appendix Revision History elements greater font */
.appendix .revhistory > table td {
	font-size: 75%;
}

/* Revision History numbers line grey background color */
.revhistory > table td[align="left"] {
	background-color: #eee;
}

/* Revision History other lines no background color */
.revhistory > table td[align="left"][colspan="3"] {
	padding-left: 1em;
	background-color: white;
}

/* 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, div.list-of-tables 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, div.list-of-tables 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;
}

/* Other tables of contents */
div.toc {
	border: 1px solid #3366cc;
	padding: 0px 0.7em;
	background-color: #e5ecf9;
}

/* 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;
}

/* Mark the prompt sign as bold character */
.prompt {
	font-weight: bold;
}

/* For figure, to get a small margin */
.figure {
	margin-left: 0.7em;
}

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

/* No margins for figures' title */
.figure .title {
	margin-top: 0px;
	margin-bottom: 0px;
}

/* Margin for figures */
.figure-contents {
	margin-top: 20px;
	margin-bottom: 0px;
}

.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;
	 color: #5e3880;
}

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

.userinput, .screen {
    color: #38805b;
}
    
div.note p, div.warning p, div.tip p, div.caution p, div.important p {
	font-size: 12px;
	font-family: Verdana, Helvetica, Arial, sans-serif;
	margin-bottom: 0px;
}

/* Set a top margin for admonitions */
.tip, .important, .note, .warning, .caution {
	margin-top: 15px;
}

/* Style of shortcuts tables */

.shortcuts {
	border: 0px hidden;
	border-collapse: collapse;
}

.shortcuts th {
	border: 1px solid #96a5b8;
	background-color: #EFF6FF;
	border-collapse: collapse;
	font-size: 70%;
	font-weight: bold;
}

.shortcuts td {
	padding: 5px;
	border: 1px solid #96a5b8;
	border-collapse: collapse;
	font-size: 70%;
}

div.segmentedlist td, th{
	font-size: 80%;
}

div.segmentedlist th{
	font-weight: bold;
}

td .filename, td .varname {
	font-size: 120%;
}