@media screen {
  body {
    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;
    text-align:		center;
  }
  div.navicon div.navimenu {
    float:		right;
    width:		17em;
    background-color:	yellow;
  }
  div.navicon div.navimenu div.naviul {
    margin-top:		1em;
    margin-bottom:	1em;
  }
  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 {
    margin-top:		1em;
    margin-bottom:	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-size:		80%;
    text-decoration:	none;
  }
  ul.tocul li.tocli a.toca:hover {
    color:		green;
    font-size:		80%;
    text-decoration:	underline;
  }
  h1 {
    font-size:		250%;
    font-weight:	bold;
  }
  h1.projectname {
    font-size:		250%;
    font-weight:	bold;
    margin-top:		1px;
    margin-bottom:	1px;
  }
  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;
    overflow:		auto;
  }
  pre.codebox > i {
    font-family:	inherit;
    font-style:		italic;
  }
  pre {
    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;
    overflow:		auto;
  }
  pre > i {
    font-family:	inherit;
    font-style:		italic;
  }
  a.linkoutside {
    color:		 blue;
    text-decoration:	 none;
  }
  a.linkblack {
    color:		 black;
    text-decoration:	 none;
  }
  a.linkblack:hover {
    color:		 black;
    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;
  }
  .greentext {
    color:		green;
  }
}

@media print {
  * {
    /*
    	This is for Firefox, the TD element doesn't inherit the font
	size from body when printing.
	So we ensure the correct font size for all elements here.
    */
    font-size:		12pt;
  }
  body {
    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:		24pt;
  }
  div.header div.headerright {
    float:		right;
    text-align:		right;
    display:		none;
  }
  div.navicon {
    clear:		both;
    margin:		5px;
  }
  div.navicon div.naviheader {
    background-color:	yellow;
  }
  div.navicon div.navimenu {
    float:		right;
    width:		14em;
    background-color:	yellow;
    display:		none;
  }
  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 {
    margin-top:		1em;
    margin-bottom:	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 {
    display:		none;
  }
  ul.tocul li.tocli {
    list-style:		none;
  }
  ul.tocul li.tocli a.toca {
    font-size:		9pt;
    color:		black;
    text-decoration:	none;
  }
  ul.tocul li.tocli a.toca:hover {
    font-size:		9pt;
    color:		black;
    text-decoration:	underline;
  }
  h1 {
    font-size:		24pt;
    font-weight:	bold;
  }
  h1.projectname {
    font-size:		24pt;
    font-weight:	bold;
    margin-top:		1px;
    margin-bottom:	1px;
  }
  h2 {
    font-size:		18pt;
    font-weight:	bold;
  }
  h3 {
    font-size:		18pt;
  }
  h4 {
    font-size:		15pt;
    font-weight:	bold;
  }
  h5 {
    font-size:		15pt;
  }
  h6 {
    font-size:		12pt;
    font-weight:	bold;
  }
  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;
    overflow:		auto;
  }
  pre.codebox > i {
    font-family:	inherit;
    font-style:		italic;
  }
  pre {
    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;
    overflow:		auto;
  }
  pre > i {
    font-family:	inherit;
    font-style:		italic;
  }
  a.linkoutside {
    color:		black;
    text-decoration:	none;
  }
  a.linkinternal {
    color: black;
    text-decoration:	none;
  }
  a.linkblack {
    color:		black;
    text-decoration:	none;
  }
  a.linkblack:hover {
    color:		black;
    text-decoration:	none;
  }
  .imageleft {
    float:		left;
    margin-right:	2em;
    margin-bottom:	1em;
  }
  .clearboth {
    clear:		both;
  }
  .greentext {
  }
}

@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;
}

