/*
 * Default Style Sheet for lpdoc and patched version of texi2html
 *
 * Version:    1.2
 * Date:       November 3, 1999
 * Author(s):  Per Cederberg & Manuel Hermenegildo, 
 *             per@clip.dia.fi.upm.es, herme@fi.upm.es
 *
 *
 *  This shyle sheet defines CSS styles for the HTML output from
 *  the 'texi2html' application when used in the context of the 
 *  lpdoc auto-documenter, and also in some lpdoc indices.  All 
 *  special markup tags are defined in a special section.
 *
 */


/*
 *  GLOBAL DOCUMENT STYLE
 *
 */


/* Page margins and default colors */
body
{
    background:         #ffffe0;
    color:              black;
    margin-top:         1.5em;
    margin-left:        10%;
    margin-right:       10%;
    margin-bottom:      1.5em;
    font-size:          1em;
    font-family:        sans-serif;
    text-align:         justify ;
}

/* Heading style */
H1, H2, H3, H4, H5, H6, DT 
{
    font-family:	sans-serif;
    font-weight:	bold;
}

/* Heading 1 size change */
H1 
{
    font-size:	1.5em;
    color:		#000088;
}

/* Heading 2 size change */
H2 
{
    font-size:	1.25em;
    color:		#000088;
}

/* Links a bold typeface */
A 
{
    font-weight:	bold;
}

/* Unvisited link color */
A:link
{
    color:		#5588ff;
}

/* Visited link color */
A:visited 
{
    color:		#aa66dd;
}

/* Active link color */
A:active 
{
    color:		#cc0000;
}



/*
 *  SPECIAL OUTPUT MARKUP
 *
 */


/* Document title and information */
.title 
{
	text-align:	center;
}

/* Boxed title */
div.boxedtitle 
{
    width:		100%;
    background:	#fffff0;
    padding-right:	1em;
    border-style:	solid;
    border-width:	3pt;
    border-color:	#000088;
    text-align:	center;
}

/* Document title */
b.applname
{
	color:		#880000;
}

/* Document title */
H1.title 
{
/* color:		#000088; */
	color:		#880000;
	font-size:	2em;
}

/* Application title */
h1.appltitle 
{
	/* color:		#000088; */
	font-size:	1.7em;
}

/* Application name */
h1.applname 
{
    color:		#000088;
    font-size:	1.7em;
}

/* Predicate definitions, etc */
span.define 
{
    font-weight:	bold;
    color:		#000088;
}

/* Cartouche environment formatting */
div.cartouche 
{
    background:	#fffff0;
    padding-right:	1em;
    border-style:	solid;
    border-width:	2pt;
    border-color:	#000088;
}



/*
 *  SPECIAL STYLE FIXES
 *
 */


/* Fixes for top level menu lists */
ul
{
    margin-top:	0.5em;	/* A small margin before */
    margin-bottom:	0.5em;	/* A small margin after */
    line-height:	1.2em;	/* Space in between lines */
}

/* Fixes for second level menus */
ul il 
{
    line-height:	1.2em;	/* No space between lines */
}

/* Fixes for description lists */
DL 
{
    margin-top:	0.5em;	/* A small margin before */
    margin-bottom:	0.5em;	/* A small margin after */
}

/* Fixes for examples and code parts */
PRE, CODE, TT 
{
    color:		#330099;
}

PRE 
{
    /*        font-weight:	bold; */
    font-size:	80%;
    font-family:	monospace;
}

/* Fixes to avoid visible links in titles 
H1 A, H2 A, H3 A, H4 A {
	color:			black;	/* No link coloring 
	text-decoration:	normal;	/* No link underlining 
}
*/