<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">@import url("lwarp_sagebrush.css") ;

/*bernhard stampfer, tu colors, fixed top bar, etc*/

A:link {color:#006090 ; text-decoration: none ; }
A:visited {color:#006090 ; text-shadow:none;}
A:hover {color:#002233 ; text-decoration: underline ; text-shadow:none;}
A:active {color:#006090 ; text-shadow:none;}

div.titlepage p {
    margin: 3ex 0em 3ex 0em;
}

body{
    font-size:100%;
    background: #F4F0EA;
}

div.bodycontainer {
  /*zoom: 1.15;*/
  max-width: 50em ;
  text-align: justify;
  text-justify: inter-word;
  margin-bottom: 2em;
  line-height: 1.5;
  background: #FAF7F4;
  /*margin-left:1px;*/
  /*border-right: 1px solid #E0E0E0;*/
 }
 
section.textbody {margin: 0ex 2em 0ex 2em;}

div.bodywithoutsidetoc{
	display: flex;
	flex-direction: column;
	align-items:center;}

div.bodywithoutsidetoc div.bodycontainer { float: none ;}


h1 {    /* title of the entire website, used on each page */
    font-variant: small-caps ;
    background-color: #f0f0f0 ;
    background-image: none;
    border-bottom: none;
    padding: 0ex 0em 0ex 0em ;
	margin: 1ex 0em 0ex 0em ;
}

div.book, h1, h2, h3, h4, h5, h6, span.paragraph, span.subparagraph
{
    color: #006090 ;
    text-shadow: 1px 1px 2px #808080; 
}
    
ul, ol {
  line-height: 1.4;
}


figure , div.marginblock {
    background-color: #ffffff ;
    border: 1px solid #d0d0d0;
    border-radius: 0.2ex ;
    /*box-shadow: none;*/
    box-shadow: 1px 1px 2px #808080 ;
}

html {
  scroll-padding-top: 85px; 
}

header{
    font-family: "URW Classico", Optima, "Linux Biolinum O",
        "Linux Libertine O", "Liberation Serif",
        "Nimbus Roman No 9 L",  "FreeSerif",
        "Hoefler Text", Times, "Times New Roman", serif;
    background-color: #ffffff;
    background-image: none;
    
    box-shadow: 0px 1px 4px black ;
    border-bottom: none ;
    margin: 0px ;
    padding: 0.5em;
    text-align:left ;
    position: sticky;
    top: 0px;
    right: 0px;
    left: 0px;
}

header p{ margin:0px;}
header p a img {vertical-align:bottom;}


@media screen and (max-width: 50em) {
    header { position: static; }
}

footer{
    background-color: #006699 ;
    background-image: linear-gradient(to bottom, #006699, #006699);
    color: #ffffff;
    box-shadow: inset 0px 1px 4px black;
}

footer a:link {color:#cccccc ; text-decoration: none ; }
footer a:visited {color:#cccccc ; text-shadow:1px 1px 2px #a0a0a0;}
footer a:hover {color:#ffffff ; text-decoration: underline ; text-shadow:none;}
footer a:active {color:#ffffff ; text-shadow:1px 1px 2px #a0a0a0;}


div.sidetoccontainer {
    background-color: #333333 ;
    background-image: none;
    box-shadow: none;
    /*border-right: 1px solid black;*/
    /*border-bottom: 1px solid black;*/
    border: none;
    font-size:1.2em;
    border-radius: 0px 0px 2px 0px ;
    margin: 0ex 0px 3ex 0pt;
    overflow: auto;
    padding-top:5px;
}

div.sidetoctitle {     font-variant: small-caps ; color: #FFFFFF ; border-bottom:none;}

nav.sidetoc a:hover {
    background-color:#faf7f4 ;
    color:#006090 ;
    text-decoration: none ;
    text-shadow:0.5px 0.5px 1px #808080;
}

nav.sidetoc p {
	margin: 0ex 0em 0ex 0em;
}
nav.sidetoc p a {
	color: #cccccc;
    text-decoration: none;
    display: block;
    bottom:0;
	top:0;
	left:0;
	right:0;
    padding: 0.5em 0.5em 0.5em 0.5em;
}

nav.sidetoc a.tocchapter {
    margin-left: 0.0em;
    text-indent: -1.3em;
    padding: 0.5em 0.5em 0.5em 1.8em;
}

nav.sidetoc a.tocsection {
    margin-left: 0.0em;
    text-indent: -2.0em;
    font-weight: normal;
    padding: 0.5em 0.5em 0.5em 3.0em;
}

div.displaymathnumbered {
    margin-left: 5% ;
    margin-right: 5% ;
    min-width: 2.5in ;
}

@media all and (min-width: 400px) {
    div.displaymathnumbered {
        margin-left: 7% ;
        margin-right: 7% ;
    }
}

@media all and (min-width: 800px) {
    div.displaymathnumbered {
        margin-right: 9% ;
    }
}

@media all and (min-width: 1200px) {
    div.displaymathnumbered {
        margin-right: 10% ;
    }
}


@media screen and (max-width: 50em) { /*58*/
    div.sidetoccontainer {
        float: none ;
        width: 100% ;
        padding: 0 ;
        border-radius: 0 ;
        border-bottom: 1px solid black ;
        border-top: 1px solid black ;
        box-shadow: none ;
    }
    span.sidetocthetitle { display: inline }
    nav.topnavigation { display:block }
    nav.botnavigation { display:block }
    div.bodycontainer { width: 100%; max-width: none ; margin-left:0px;}
    .marginpar {
        max-width: 100%;
        float: none;
        display:block ;
        margin: 1ex 1em 1ex 1em ;
    }
}

@media screen and (max-width: 55em) { /*62*/
section.textbody { margin: 0ex 1em 0ex 1em ;}
}
</pre></body></html>