@media screen {
  body {
    font-family:	serif;
    background-color:	white;
  }
  div.header {
    margin:	5px;
  }
  div.header div.headerleft {
    float:	left;
    text-align:	left;
  }
  div.header div.headercenter {
    text-align:	center;
  }
  div.header div.headercenter span.headercentertext {
    font-size:	200%;
  }
  div.header div.headerright {
    float:	right;
    text-align:	right;
  }
  div.navicon {
    clear:	both;
    margin:	5px;
  }
  div.navicon div.naviheader {
    background-color:	yellow;
  }
  div.navicon div.navimenu {
    float:	right;
    width:	14em;
    background-color:	yellow;
  }
  div.navicon div.navimenu div.naviul {
  }
  div.navicon div.navimenu ul.naviul li.navicurrent {
    list-style:		none;
    color:		red;
    font-weight:	bold;
  }
  div.navicon div.navimenu ul.naviul li.navili {
    list-style:	none;
  }
  div.navicon div.navimenu ul.naviul li.navili a.navimenumanual {
    color:		blue;
    text-decoration:	none;
  }
  div.navicon div.navimenu ul.naviul li.navili a.navimenumanual:hover {
    color:		blue;
    text-decoration:	underline;
  }
  div.navicon div.navimenu ul.naviul li.navili a.navimenulink {
    color:		red;
    text-decoration:	none;
  }
  div.navicon div.navimenu ul.naviul li.navili a.navimenulink:hover {
    color:		red;
    text-decoration:	underline;
  }
  div.navicon div.contents {
    top-margin:		1em;
    bottom-margin:	1em;
  }
  div.footer {
    clear:	both;
    background-color:	yellow;
    border:	1px silver;
    margin:	5px;
  }
  div.footer div.footerleft {
    float:	left;
    text-align:	left;
  }
  div.footer div.footercenter {
    text-align:	center;
  }
  div.footer div.footerright {
    float:	right;
    text-align:	right;
  }
  ul.tocul {
  }
  ul.tocul li.tocli {
    list-style:		none;
  }
  ul.tocul li.tocli a.toca {
    color:		green;
    font-family:	sans-serif;
    font-size:		80%;
    text-decoration:	none;
  }
  ul.tocul li.tocli a.toca:hover {
    color:		green;
    font-family:	sans-serif;
    font-size:		80%;
    text-decoration:	underline;
  }
  h1 {
    font-size:		250%;
    font-weight:	bold;
  }
  h2 {
    font-size:		206%;
    font-weight:	bold;
  }
  h3 {
    font-size:		172%;
    font-weight:	bold;
  }
  h4 {
    font-size:		144%;
    font-weight:	bold;
  }
  h5 {
    font-size:		120%;
    font-weight:	bold;
  }
  h6 {
    font-size:		100%;
    font-weight:	bold;
  }
  pre.codebox {
    background-color: #FFFFE8;
    border-width: 1px;
    border-style: solid;
    border-color: black;
    padding-top: 0.5em;
    padding-left: 2em;
    padding-right: 2em;
    padding-bottom: 0.5em;
    margin-top: 0.5em;
    margin-left: 2em;
    margin-right: 2em;
    margin-bottom: 0.5em;
  }
  a.linkoutside {
    color: blue;
    text-decoration: none;
  }
  a.linkinternal {
    color: green;
    text-decoration: none;
  }
  .imageleft {
    float:	left;
    margin-right:	2em;
    margin-bottom:	1em;
  }
  .clearboth {
    clear:	both;
  }
  .bglightred {
    background-color:	#FF7F7F;
  }
  .bglightgreen {
    background-color:	#7FFF7F;
  }
  .bglightblue {
    background-color:	#7F7FFF;
  }
}

@media print {
  @page {
    margin-top:    1.5cm;
    margin-bottom: 1.5cm;
  }
  @page :left {
    margin-left:   1.5cm;
    margin-right:  2.5cm;
  }
  @page :right {
    margin-left:   2.5cm;
    margin-right:  1.5cm;
  }
  body {
    font-family:	Garamond, "Times New Roman", Times, serif;
    font-size: 		12pt;
  }
  div.header {
    margin:	5px;
  }
  div.header div.headerleft {
    float:	left;
    text-align:	left;
  }
  div.header div.headercenter {
    text-align:	center;
  }
  div.header div.headercenter span.headercentertext {
    font-size:	200%;
  }
  div.header div.headerright {
    float:	right;
    text-align:	right;
    visibility:	hidden;
  }
  div.navicon {
    clear:	both;
    margin:	5px;
  }
  div.navicon div.naviheader {
    background-color:	yellow;
  }
  div.navicon div.navimenu {
    float:	right;
    width:	14em;
    background-color:	yellow;
    visibility:		hidden;
  }
  div.navicon div.navimenu div.naviul {
  }
  div.navicon div.navimenu ul.naviul li.navicurrent {
    list-style:		none;
    color:		red;
    font-weight:	bold;
  }
  div.navicon div.navimenu ul.naviul li.navili {
    list-style:	none;
  }
  div.navicon div.navimenu ul.naviul li.navili a.navimenumanual {
    color:		black;
    text-decoration:	none;
  }
  div.navicon div.navimenu ul.naviul li.navili a.navimenumanual:hover {
    color:		black;
    text-decoration:	underline;
  }
  div.navicon div.navimenu ul.naviul li.navili a.navimenulink {
    color:		black;
    text-decoration:	none;
  }
  div.navicon div.navimenu ul.naviul li.navili a.navimenulink:hover {
    color:		black;
    text-decoration:	underline;
  }
  div.navicon div.contents {
    top-margin:		1em;
    bottom-margin:	1em;
  }
  div.footer {
    clear:	both;
    border:	1px silver;
    border-style:	double;
    margin:	5px;
  }
  div.footer div.footerleft {
    float:	left;
    text-align:	left;
  }
  div.footer div.footercenter {
    text-align:	center;
  }
  div.footer div.footerright {
    float:	right;
    text-align:	right;
  }
  ul.tocul {
    font-size:		50%;
    font-family:	sans-serif;
  }
  ul.tocul li.tocli {
    list-style:		none;
  }
  ul.tocul li.tocli a.toca {
    color:		black;
    text-decoration:	none;
  }
  ul.tocul li.tocli a.toca:hover {
    color:		black;
    text-decoration:	underline;
  }
  h1 {
    font-size:		144%;
    font-weight:	bold;
    font-family:	sans-serif;
  }
  h2 {
    font-size:		144%;
    font-family:	sans-serif;
  }
  h3 {
    font-size:		120%;
    font-weight:	bold;
    font-family:	sans-serif;
  }
  h4 {
    font-size:		120%;
    font-family:	sans-serif;
  }
  h5 {
    font-size:		100%;
    font-weight:	bold;
    font-family:	sans-serif;
  }
  h6 {
    font-size:		100%;
    font-family:	sans-serif;
  }
  pre {
    font-size:		12pt;
  }
  kbd {
    font-size:		12pt;
  }
  pre.codebox {
    border-width: 1px;
    border-style: solid;
    border-color: black;
    padding-top: 0.5em;
    padding-left: 2em;
    padding-right: 2em;
    padding-bottom: 0.5em;
    margin-top: 0.5em;
    margin-left: 2em;
    margin-right: 2em;
    margin-bottom: 0.5em;
  }
  a.linkoutside {
    color: black;
    text-decoration: none;
  }
  a.linkinternal {
    color: black;
    text-decoration: none;
  }
  .imageleft {
    float:	left;
    margin-right:	2em;
    margin-bottom:	1em;
  }
  .clearboth {
    clear:	both;
  }
}

