/* MAIN/my-LP-book/prog-lin/ */
HTML {
  font-family: "DejaVu Serif", Purisa; /*good*/
  font-family: "TeXGyrePagella", "Purisa"; /*good*/
  font-family: "URW Bookman L", Purisa; /*OK*/
  font-family: "Century Schoolbook L", Purisa; /*OK*/
  font-family: "Comic Sans MS", Purisa; /*OK*/
  font-family: serif, Purisa; /*good, bad on mobile*/
  font-family: "Latin Modern Math", Purisa; /*not available*/  
  font-family: "Book Antiqua", Purisa; /*not available*/
  font-family: "Garamond", Purisa; /*not available*/
  font-family: "DejaVu Serif", "TeXGyrePagella", "Century Schoolbook L", "URW Bookman L", "Comic Sans MS", "Purisa", "Latin Modern Math", "Garamond", "Book Antiqua", serif; 
/*background: #ffffe0; */
/*bgcolor="#e0ffff"*/
/*background: floralwhite;*/
  background: white;
/*background: wheat; */
  color: #552200;
  font-size: 18px;
}
BODY {
   margin-left: 8%;
   margin-right: 6%;
   font-size: 1em;
}
/*-- ordinary links --*/
a:link {
  /* color: #554433; */
  text-decoration: underline;
} 
a:visited {
   color: #0000d0;
   text-decoration: none;
}
a:hover { /* Must come after :link and :visited */
  color: red;
  text-decoration: underline;
}
a:active {
  color: red;
  text-decoration: underline;
} 

p.header {
   text-align: center;
   font-weight: bold;
   font-size: 0.8888em; /*16px*/
   font-size: 0.8333em; /*15px*/
   margin-top: 0.5em;
   margin-bottom: 0.1em;
}
p.header a:link {
  text-decoration: none;
   color: #552200;
}
p.header a:visited {
   color: #552200;
}
p.header a:hover {
  color: red;
  color: #a06010;
  color: #c08060;
  color: #b05000;
  color: blue;
}
p.header a:active {
  color: red;
  color: #a06010;
  color: #b05000;
  color: blue;
}
p.navig {
   font-size: 0.9444em; /*17px*/
   font-size: 0.8888em; /*16px*/
   font-size: 0.8333em; /*15px*/
   font-size: 0.7777em; /*14px*/
   background: #603000;
   color: #ffffff;
   padding: 0.3em 0em 0.3em 0em;
   text-align: center;
   margin: 0em 0em 3em 0em;
}
p.navig a:link {
  color: #ffffff;
}
p.navig a:visited {
  color: #ffffff;
}
p.navig a:hover {
  color: #ffa0a0;
  color: #ffff60;
}
p.navig a:active {
  color: #ffa0a0;
  color: #ffff60;
}

.nw {
  white-space: nowrap;
  hyphens: none;
}
abbr {
   color: #0000ff; /* same as a:link */
   /* text-decoration: underline; */
}
abbr:hover {
   color: red;
   text-decoration: underline;
}

a.subtitle:link {
   color: #a06010;
   text-decoration: none;
   font-weight: normal;
/* font-size: small; */
   font-size: 71%;
}
a.subtitle:visited {
   color: #a06010;
   text-decoration: none;
   font-weight: normal;
/* font-size: small; */
   font-size: 71%;
}
a.subtitle:hover {
   color: blue;
   text-decoration: none;
   font-weight: normal;
/* font-size: small; */
   font-size: 71%;
}
a.subtitle:active {
   color: blue;
   text-decoration: none;
   font-weight: normal;
/* font-size: small; */
   font-size: 71%;
}

h1 {
/* color: #501000; */
   color: #602000; 
   margin-top: 1em;
   margin-bottom: 1.5em;
}
h1.titlepage {
   text-align: center;
   margin-top: 2em;
   margin-bottom: 1em;
}
h1.center {
   text-align: center;
   margin-top: 1em;
   margin-bottom: 1em;
}
h2 {
   margin-top: 2em;
/* color: #501000; */
   color: #602000; 
}
h2.center {
   text-align: center;
   margin-top: 1em;
   margin-bottom: 1em;
}

span.red {
   color: #ff0000;
}
span.gray {
   color: #a08040;
}
span.smallcaps {
   font-variant: small-caps;
}

dl.toc {
  margin: 2em 0em 2em 2em;
  font-size: 0.8888em; /*16px*/
}
dl.toc-parts {
  margin: 0em 0em 2em 2em;
  font-size: 0.8888em; /*16px*/
}
dl.toc-parts dt {
   margin-top: 0.8em;
   margin-bottom: 0.3em;
   font-size: 110%;
   /* font-weight: bold; */
}
dl.toc-parts dd {
   margin-left: 2em;
   margin-top: 0em;
}

dl.toc-chapters {
  margin: 2em 0em 2em 2em;
  font-size: 0.8888em; /*16px*/
}
dl.toc-chapters dt {
   margin-top: 0.8em;
   margin-bottom: 0.2em;
   font-weight: bold;
}
dl.toc-chapters dd {
   margin-left: 2em;
   margin-top: 0em;
}

dl.toc-en {
  margin: 1em 0em 2em 2em;
  font-size: 0.8888em; /*16px*/
}
dl.toc-en dt {
   margin-top: 0.5em;
   margin-bottom: 0.3em;
}

ul.bib {
  font-size: 0.9444em; /*17px*/
  margin: 0em 2em 0em 0em;
}
ul.bib li {
   margin-top: 0.7em;
   /* margin-left: -3em;  */

}

span.highlight { /* substitute for italic */
   background: #ffffb0; 
}

span.invisible {
   visibility: hidden;
}
tt, pre {
   font-size: 101%;
}
p.extratop {
  margin-top: 3em;
}
p.right {
   text-align: right;
}
p.center {
   text-align: center;
}
div.center {
  text-align: center;
}
div.small {
   font-size: 0.8888em; /*16px*/
   font-size: 0.8333em; /*15px*/
}
div.special-prefacio {
  font-size: 0.9444em; /*17px*/
}

.hide { 
   color: black;
   background-color: #d0ffd0;
}

table.constraints { 
  margin-left: auto;
  margin-right: auto;
  margin-top: 1em;
  margin-bottom: 1em;
  border-spacing: 0.0em 0.0em;
  border-collapse: collapse;
  vertical-align: top; /*??*/
  border: 0px solid black; /*scaffold*/   
  font-size: 0.9444em; /*17px*/
  font-size: 0.7777em; /*14px*/
  font-size: 0.8888em; /*16px*/
  font-size: 0.8333em; /*15px*/
}
table.constraints tr.a {
  border: 0px solid black; /*scaffold*/   
}
table.constraints td.a { /* a_1 x_i */
  padding: 0.0em 0.0em 0.0em 0em;
  text-align: right;
  white-space: nowrap;
  border: 0px solid black; /*scaffold*/   
}
table.constraints td.b { /* + */
  padding: 0.0em 0.3em 0.0em 0.3em;
  text-align: center;
  white-space: nowrap;
  border: 0px solid black; /*scaffold*/   
}

div.footer {
  margin-top: 2.5em;
  margin-bottom: 30em;
  font-size: 0.8888em; /*16px*/
  font-size: 0.8333em; /*15px*/
  line-height: normal;
}
div.footer p {
  margin-top: 0em;
  margin-bottom: 0em;
}