/* Literate programming + CWEB : CWEB/mystyle-mobile.css */
HTML {
  font-family: "Book Antiqua", "Century Schoolbook L", "Garamond", "DejaVu Serif", "Comic Sans MS", "URW Bookman L", "Latin Modern Math", "TeXGyrePagella", "Purisa", serif; 
/*
  "Georgia" is bad because "0" is like "o"
  "Bookman Old Style" not good: overlaps letters like "<var>g</var>" and "+")
*/
  font-size: 17px;
}
body { 
  margin-left: 2%;
  margin-right: 1.5%;
  font-size: 1em;
  hyphens: auto;
}
kbd {
  font-size: 0.85em;
  font-size: 0.8235em; /*=14px*/ 
  font-size: 0.8529em; /*=14.5px*/ 
  font-size: 0.8823em; /*=15px*/ 
}
pre {
  font-size: 0.80em;
  font-size: 0.8235em; /*=14px*/ 
  font-size: 0.8529em; /*=14.5px*/ 
  font-size: 0.8823em; /*=15px*/ 
}
blockquote { 
  margin-left: 1em;
  margin-right: 0.5em;
}
blockquote.external { 
  margin-left: 0em;
  margin-right: 0em;
}
table.box { 
  width: 98%;
  border: 0px solid black; /*scaffold*/   
}
ul.bib { 
  margin-left: -0.5em;
}