/*
 * HELambdaP W3.css extension/override style.
 *
 * Inspired by www.rhythmbox.org, (c) rhythmbox 2002
 *
 * New code, modifications
 * (c) Idan Gazit 2002, and
 * (c) Marco Antoniotti, 2003-2026
 *
 * This file contains extension and ovverrides to the W3.css
 * stylesheet (www.w3schools.com) to personalize it for HTML5
 * HELambdaP documentation generation.
 *
 * See COPYING file in main directory for license information.
 */


/* Remember!
 *
 * <selector>  =  element tag
 * #<selector> =  element id
 * .<selector> =  element class
 */


/* General override.
 *
 * Use font Verdana as first choice everywhere, unless overridden.
 */

* {
    font-family: Verdana, Arial, Helvetica;
    box-sizing: border-box;
}

h1 { font-size: 20px; font-variant: small-caps; }
h2 { font-size: 18px; font-variant: small-caps; }
h3 { font-size: 16px; font-variant: small-caps; }
h4 { font-size: 14px; font-variant: small-caps; }
h5 { font-size: 12px; font-variant: small-caps; }
h6 { font-size: 12px; font-style: italic; }


/* body styles. */

body {
    background: #ffffff;
    /* font-family: Verdana, Arial, Helvetica; */
    font-weight: normal;
    font-size: 12px;
    color: black;
}


header {
    display: block;		/* Just to be sure. */
    position: absolute;
    /* position: fixed; */

    top: 0px;
    left: 0px;
    width: 100%;
    /* height: 65px; */
    height: 65pt;

    box-sizing: border-box;	/* Absolutely necessary!  Tells
				 * renderer to compute width by
				 * including padding, border, etc etc.
				 */

    /* Minimal */
    
    background: #9ebcb4;	/* CLtL2 almost cover color; more greenish. */
}


/* nav */

#hlp_mainnav
{
    position: absolute;

    /* display: block; */		/* Just to be sure. */
    display: flex;
    flex-direction: column;

    top: 65pt;
    bottom: 65px;
    left: 0;
    width: 25%;

    /* padding: 5px; */
    box-sizing: border-box;	/* Absolutely necessary!  Tells
				 * renderer to compute width by
				 * including padding, border, etc etc.
				 */
    background: #ffffff;

    /* overflow: auto; */
}

.nav_file_set_links {
    /* position: fixed; */
    top: 65pt;
    bottom: 65px;
    left: 0;
    width: 25%;
    box-sizing: border-box;
    overflow: auto;
}

/*
#hlp_package_interface
{
    position: absolute;
    box-sizing: inherit;
}
*/


#hlp_sidebar {
    position: fixed;
    top: 65pt;
    bottom: 65px;
    /* box-sizing: inherit; */
    box-sizing: border-box;
    overflow: auto;
}


#hlp_nav_map {
    /* position: relative; */
    /*
    position: absolute;
    top: 0;
    width: 100%;
    */

    /* overflow: auto; */
    font-size: 12pt;
    font-variant: small-caps;
    font-weight: bold;

    border-color: #808080;
    border-width: 3px;
    border-style: none none dotted none;
    border-bottom-width: 1px;
}


#hlp_packages {
    /* position: absolute; */
    /*
      top: 100pt;
      left: 0pt;
     */

    width: 100%;
    height: 100%;
    
    /* position: relative; */
    /* position: static; */

    /* font-size: 14pt; */
    display: block;
    box-sizing: border-box;
    overflow: auto;
}


#hlp_package_nav_list {
    /* position: absolute; */

    width: 100%;
    /* height: 100%; */

    
    display: block;
    /* box-sizing: inherit; */
    box-sizing: border-box;
    overflow: auto;
}


#hlp_package_items {
    /* position: absolute; */

    width: 100%;
    /* height: 100%; */

    
    display: block;
    /* box-sizing: inherit; */
    box-sizing: border-box;
    overflow: auto;
}


#hlp_systems {
    /* position: absolute; */
    /*
      top: 100pt;
      left: 0pt;
     */

    width: 100%;
    height: 100%;
	
    /* position: relative; */
    /* position: static; */

    /* font-size: 14pt; */
    display: block;
    box-sizing: border-box;
    overflow: auto;
}


main {
    display: block; 		/* Just to be sure. */
    /* position: absolute; */

    position: fixed;

    /* top: 65px; */		  /* set to height of the header */
    top: 65pt;
    bottom: 65px;	  /* set to height of the footer */
    left: 25%;		  /* set to width of the navbar */
    right: 0%;		  /* to let the scroll lie on the far right */

    box-sizing: border-box;	/* Absolutely necessary!  Tells
				 * renderer to compute width by
				 * including padding, border, etc etc.
				 */

    
    overflow: auto;
    background: #ffffff;
    border-color: #808080;
    border-width: 1px;
    border-style: none none none dotted;

    /* padding: 15px; */
}


footer {
    display: block;	/* Just to be sure. */
    position: absolute;
    left: 0;
    bottom: 0;
    width: 100%;
    height: 65px;
    box-sizing: border-box;	/* Absolutely necessary!  Tells
				 * renderer to compute width by
				 * including padding, border, etc etc.
				 */
    
    clear: both;		/* Just to be sure. */

    /* font-family: Verdana, Arial, Helvetica; */
    font-size: 10px;
    font-weight: normal;
    text-align: right;

    /* padding: 5px; */

    color: #808080;

    border-color: #808080;
    border-width: 0px;
    border-style: dotted;
    border-top-width: 1px;
}


/***
.hlp_nav_menu {
    padding: 10px;
    border-bottom-style: dotted;
    border-bottom-width: 1px;
}

#nav_index {
    position: absolute;
    top: 0;
    bottom: 0;
    width: 100%;
    overflow: auto;
    background: #ffffff;
}
*/

/***
#hlp_nav_map {
    position: absolute;
    top: 0;
    bottom: 75%;		*//* Complement of #nav_list top. *//***
    width: 100%;
    overflow: auto;
    background: #ffffff;
    border-color: #808080;
    border-width: 1px;
    border-style: none none dotted none;
}

*/



/***
#nav_list {
    position: absolute;
    bottom: 0;
    left: 0;
    top: 25%;			*//* Complement of #nav_map bottom. *//***
    width: 100%;
    overflow: auto;
    background: #ffffff;
}

*/


.hlp_doctitle {
    font-size: 24pt;
    /* padding-left: 5mm; */
    color: #41286f;
}


/* Catch all. */

section, aside, article, figure {
  display: block;
}


/* Special formatting. */

.method_entry {
    background: #F0F0F0;
    /* background: lightgrey; */
    /*
      border-color: red;
      border-width: 2px;
      border-style: dotted;
   */
    display: block;
}

.method_descr {
    /*
      background: red;
      border-color: red;
      border-width: 2px;
      border-style: dotted;
   */
    display: block;
}


code {
    font-weight: bold;
}


/* end of file -- helambdap5.css */