/* Reminder: this sets the pseudo classes as well. */
a {
  /*color: #0645AD; The Wikipedia link color. */
  color: blue; /* want the same color for visited, and blue is better */
}

body {
  background-color: #ddffdd;
  font-family: Liberation Sans, Geneva, sans-serif;
}
code, kbd, pre, samp, tt {
  font-family: "Droid Sans Mono", Courier, monospace;
  font-size:1em;
}

/*
p, li {
  font-size: 0.9em;
}
*/

pre {
    font-size: 1.1em;
}

@media print{
  div.boxnote {
    page-break-before: auto;
  }
}

@media print{
  div.usebreak {
    page-break-before: always;
  }
}

@media print {
  nav {
    display: none;
  }
}

@media print {
  div.noprint {
    display: none;
  }
}

.content {
  max-width: 840px;
  padding: 8px 16px;
  background-color: white;
  margin-left: auto;
  margin-right: auto;
}

.content td, .content th {
  border: 1px solid black;
  padding: 2px 4px 2px;
}

.content table {
  /* width: 100%; */
  font-family: Liberation Sans Narrow;
  border-collapse: collapse;
  margin-left: auto;
  margin-right: auto;
}

/* May still want this eventually, but I currently do not have a good test case
   to 'debug' it.  2014-12-03
.fullwidth table {
	width: 100%;
}
 */

.menu a, .menu span {
    font-weight: normal;
    font-size: 12px;
    font-family: sans-serif;
    /* font: bold 17px georgia;
    color: #F0F0FC; */
    padding: 4px;
    display: block;
    border: 1px solid #eee;
    text-align: center;
    /*text-decoration: underline;*/
    text-decoration: none;
    width: 152px;
}

.menu nav {
    margin-top: 4em;
}

.menu ul {
    list-style-type: none;
    
    margin-top: 0;
    /*margin-left: 16px;*/
    margin-right: 0;
    margin-bottom: 0;
    
    padding-top: 10px;
    padding-left: 0;
    padding-right: 0;
    padding-bottom: 10px;
}

.menu li {
    float: left;
    /* background:#7f0055; */
    border-radius: 6px;
}

.menu a:hover {
    background: #eee;
    border-radius: 6px;
} 

.menu a:visited {
    color: blue;
} 

.titlebox {
    background-color: #f0f0ff;
    font-family: sans-serif;
    padding: 8px;
    border: 1px solid blue;
    /*margin-left: 16px;
    margin-right: 16px;*/
}

/*
 * A couple of things I did not know leads to these bulky selectors.
 *     1. The comma in the group selector separates each individual selector,
 *        and but the "descendant selector" syntax does not get applied
 *        to the group.  This makes sense, but you would think there would be
 *        some way of applying a descendant rule over an entire group.  I can't
 *        find a single example, however.
 *     2. The syntax '.classname element' selects all elements inside a
 *        an upper level element, like a parent div.  The syntax 'element.classname'
 *        selects only those elements with '.classname' -- the enclosing div
 *        means nothing even if it is class .classname.  This really has nothing
 *        to do with the grouping issue, but it came up in this mini-study, so
 *        I just thought I would mention it.
 *
/* 2014-11-18
/*.titlebox h1, h2, h3, h4, h5, h6 { */
/*.titlebox h* {*/
.titlebox h1, .titlebox h2, .titlebox h3, .titlebox h4, .titlebox h5, .titlebox h6 {
	text-align: center;
}

/*.titlebox h1, h2 {*/
.titlebox h1, .titlebox h2 {
	font-size: 1.2em; /*matching natural H3 by trial and error */
}

.titlebox p {
    font-size: 0.8em;
}

.boxnote {
    background-color: #f0f0ff;
    font-family: sans-serif;
    padding: 8px;
    border: 1px solid blue;
    margin-left: 16px;
    margin-right: 16px;
}

.toc {
    background-color: #fffff0;
    font-family: sans-serif;
    padding: 8px;
    /* border: 1px solid green; */
    border-left: 1px solid blue;
    border-right: 1px solid blue;
    border-bottom: 1px solid blue;
    margin-left: 16px;
    margin-right: 16px;
}

.minitip {
    font-size: 0.5em;
    font-variant: small-caps;
}
    
.footer {
    background: #FFF;
    border: 1px solid #EEE;
    color: #666;
    font-size: 1.1em;
    margin: 8px auto 0;
    text-align: center;
    width: 100%;
    /* padding: 6px; */
}

.footer h5 {
    /* font-family: verdana; */
    text-align: center;
    margin-top: 2px;
    margin-bottom: 2px;
}

.leftimage {
	 float: left;
	 border: 1px solid green;
	 padding: 4px;
	 margin-right: 8px;
}

.clearer {
	clear: both;
}

.todo {
	color: blue;
	font-weight: bold;
}

.warning {
  background-color: #FFFFCC;
  color: red;
  border: 1px solid red;
  padding-left: 8px;
  padding-right: 8px;
  width: 80%;
  margin-left: auto;
  margin-right: auto;
}

.warning h3 {
  text-align: center;
}

/* Comes from
 *     https://css-tricks.com/snippets/css/simple-and-nice-blockquote-styling/
 * Modified slightly.
 */
blockquote {
  background: #f5f5f5;
  border-left: 3px solid #101010;
  margin: 1.5em 10px;
  padding: 0.5em 10px;
  quotes: "\201C""\201D""\2018""\2019";
}
/*
blockquote:before {
  color: #ccc;
  content: open-quote;
  font-size: 4em;
  line-height: 0.1em;
  margin-right: 0.25em;
  vertical-align: -0.4em;
}
*/