@charset "UTF-8";

body {
 color:black;
 background: #ffffff;
 /* https://news.ycombinator.com/item?id=5586930 */
 font-family: 'Open Sans', Helvetica, sans-serif; 
 line-height: 1.4em;
 text-rendering: optimizeLegibility;
}
.alter {
 background: #f4f4f4;
}
/* these #name:after show which @media is in effect */
/* #name:after { content: " W"; } */

@media (max-width: 1200px) { body { font-size: 95% }
/* #name:after { content: " E"; } */
}
@media (max-width: 980px) { body { font-size: 80% }
/* #name:after { content: " D"; } */
}
@media (max-width: 690px) { body { font-size: 67% }
/* #name:after { content: " C"; } */
}
@media (max-width: 500px) { body { font-size: 55% }
/* #name:after { content: " B"; } */
}
@media (max-width: 350px) { body { font-size: 50% }
/* #name:after { content: " A"; } */
}

/* colors (for an earlier version)
#FFFCF0 = pale yellow background for links
#FFF6D6 = golden color for hover links
#999 = gray text for links in navigation bar
#11B = dark blue for text of hover links
#CDF = blue top edge of section header bars, outline of current navbar words
#F6FAFF = very light blue background for section header bars
#666 = gray for thesearentthepdfsyourelookingfor
*/

/*
a, a:visited { color: #000; text-decoration: none; background-color: #FFFCF0;}
a.navbar,  a.navbar:visited  { color: #999; }
a:hover, a.navbar:hover {
  color: #11B;
  background-color: #FFF6D6;
  border-color: #FFF6D6;
}
a.notlink { color: #000; background-color: #FFF; }
*/

:target {
  background-color: #FFFBE9;
}

/* a, a:visited : nothing but old-school blue/purple */
a:hover {
  background-color: #FFF6D6;
}
a.notlink { color: #000; background-color: #FFF; text-decoration: none; }

em {
 font-weight: bold;
 font-style: normal;
}
/* , ol.glk */
ol, ul {
  margin-top: -0.0em;
  margin-bottom: .3em;
/* list-style-position: inside; */
}
ul { padding-left: 1.8em; }
ol { padding-left: 2em; }
ol li, ul li { margin-bottom:0.2em; }
/* increases space after bullets and numbers: ol li, ul li .indent {padding-left: 10px; } */

.parhead {
 font-weight: bold;
 font-style: normal;
}

/* page-width arithmetic */
#basicsBox {
 width: 14%;
 float: left;
}
#basics {
 float: right;
 text-align: right;
 font-size: 90%;
 margin-right: 7%;
 line-height: 1.53em;
}
@media (max-width: 1200px) { #basicsBox { width: 16% }}
@media (max-width: 980px)  { #basicsBox { width: 19% }}
@media (max-width: 690px)  { #basicsBox { width: 22% }}
@media (max-width: 500px)  { #basicsBox { width: 24% }}
@media (max-width: 350px)  { #basicsBox { width: 26% }}

#basics h1 {
 font-size: 170%;
 line-height: 1.5em;
}
#basics p {
 padding: 0em 0em 1em 0em;
}

.navigate {
 /*  word-wrap: break-word; */
 text-overflow: clip;
 padding: 0.5em 0em 1em 0em;
 font-size: 1.3em;
 height: 1em;
 line-height: 1.5em;
}
.navigate a, .navigate span {
 text-decoration: none;
 color: #888;
 display: inline-block;
 border-color: #FFF;
 text-align: center;
 border-style: solid;
 border-width: 2px;
}
.navigate a:hover {
 border-color: #FFF6D6;
 background-color: #FFF6D6;
}
.navigate .navhere {
 color: #000;
 background-color: #F6FAFF;
 font-weight: bold;
 border-color: #CDF;
}
#nb-Main       { width:15%; }
#nb-Syllabus   { width:15%; }
#nb-Literature { width:15%; }
#nb-Svn        { width:15%; }

@media (max-width: 1200px)  {
 .navigate { font-size: 1.2em; }
}
@media (max-width: 980px)  {
 .navigate { font-size: 1.1em; }
}
@media (max-width: 690px)  {
 .navigate { font-size: 0.9em; }
 .navigate a, .navigate span {  border-width: 1px;}
}


/* page-width arithmetic */
#content {
 width: 85%;
 float: left;
}
@media (max-width: 1200px) { #content { width: 83% }}
@media (max-width: 980px)  { #content { width: 80% }}
@media (max-width: 690px)  { #content { width: 77% }}
@media (max-width: 500px)  { #content { width: 75% }}
@media (max-width: 350px)  { #content { width: 73% }}

#content h3 {
 margin-bottom: 0.2em;
}
#content p { margin: 0.0em 0em 0.7em 0px; } /* 0.3em matches h2.glk padding-left */
h2.glk {
 line-height: 1.1em;
 margin-bottom: 0em;
 font-size: 1.2em;
 padding-left: 5px;
 background-color: #F6FAFF;
 padding-bottom: 2px;
 padding-top: 2px;
 border-bottom: 2px solid #F6FAFF;
 border-top: 2px solid #CDF;
}
@media (max-width: 690px)  {
 h2.glk { border-top: 1px solid #CDF; }
}

table.things {
  border-spacing: 0.0em;
}
td.shortkey {
 padding: 0.3em 0.5em 0.0em 0em;
 font-size: 90%;
 line-height: 1.1em;
 vertical-align: top;
 text-align: right;
}
@media (max-width: 500px) {
 td.shortkey { padding: 0.3em 0.25em 0em 0em; }
}

.nobr { white-space: nowrap }

tt,pre {
  font-family: monospace,monospace;
  font-size: 1em;
}