body {                          /* general document definitions */
   color: black;
   background: white;
   margin-left: 3%;
   margin-right: 3%;
}

h1,h4 {
   text-align: center;
}
h2,h3 {
   margin-left: -2%;
   text-decoration: underline;
}
p {
   /* color: black; */
   /* background: white; */
   margin-top: 1em;
   margin-bottom: .5em;
}
.smallmargintop {
   margin-top: 0.4em;
}
.normalmargingtop {
   margin-top: 1em;
}

.changed {
   padding-left: 0.2em;
   border-left: solid;
   border-right: none;
   border-top: none;
   border-bottom: none;
   border-left-width: thin;
   border-color: red;
}

.center {
   text-align: center;
   width: 100%;
}
.quote {
   margin-left: +5%;
}
.menubar {
   text-align: center;
   width: 100%
}
.hidelink {
   text-decoration: none;
   color: blue;
}
.warning {
   text-decoration: blink;
   font-weight: bold;
   color: red;
}

a:link {			/* link (blue) */
   text-decoration: none;
   color: blue;
}
a:visited {			/* visited (blue) */
   text-decoration: none;
   color: blue;
}
a:active {			/* activated link (red) */
   color: red;
   text-decoration: none;
}
a:hover {			/* mouse on link (red) */
   color: red;
   text-decoration: none;
}

pre.code {
   margin-left: +2%;
}
.small {
  font-size: small;
}

.highlight {			/* blue cell */
   text-align: center;
   vertical-align: top;
   font-weight: bold;
   margin-left: 0;
   color: white;
   background: blue;
}
.highlight:link {			/* blue cell - link (silver) */
   color: silver;
   text-decoration: none;

}
.highlight:visited {			/* blue cell - vlink (silver) */
   color: silver;
   text-decoration: none;
}
.highlight:hover {			/* blue cell - mouse over (red) */
   color: red;
   text-decoration: none;
}
.highlight:active {			/* blue cell - activated (yellow) */
   color: red;
   text-decoration: none;
}

.bggrey {		       /* light grey cell */
   margin-left: 0;
   color: black;
   background: #e0e0f0;
   vertical-align: top;
}

td {		                /* default cell */
   margin-left: 0;
   vertical-align: top;
}

div.footer {                    /* footer box */
   margin-top: 1em;
   text-align: center;
   width: 100%
}

.topbluebar {
   border-left: none;
   border-right: none;
   border-top: solid;
   border-bottom: none;
   border-top-width: thin;
   border-color: blue;
}

div.redbox {                    /* red box */
   text-align: left;
   border-left: solid;
   border-right: solid;
   border-top: solid;
   border-bottom: solid;
   border-left-width: thin;
   border-top-width: thin;
   border-bottom-width: thin;
   border-right-width: thin;
   border-color: red;
}

div.bluebox {                    /* blue box */
   text-align: left;
   border-left: solid;
   border-right: solid;
   border-top: solid;
   border-bottom: solid;
   border-left-width: thin;
   border-top-width: thin;
   border-bottom-width: thin;
   border-right-width: thin;
   border-color: blue;
}

img.right {                     /* floating image, right */
   float: right;
}

img.left {                     /* floating image, left */
   float: left;
   margin: 3px;
}

div.rightcolumn {
	/*background: #dcdff4;
	border: solid black 1px;
	*/
	margin-left: 5px;
	margin-right: 0%;
	margin-top: 10px;
	margin-bottom: 10px;
	
	padding-left: 0px;
	padding-right: 0px;
	padding-top: 0px;
	padding-bottom: 0px;
	float: right;
	width: 180px;
}
div.list {
	background: #dcdff4;
	border: solid black 1px;
	margin-left: 10px;
	margin-right: 10px;
	margin-top: 10px;
	margin-bottom: 10px;
	padding-left: 10px;
	padding-right: 5px;
	padding-top: 5px;
	padding-bottom: 5px;
}
img {
	border:0px;
}
ul {
	margin: 0px 0px 0px 0px;
	padding: 6px 6px 6px 6px;
	text-align: left;
}
li { 
        margin: 0px 0px 0px 0px;
        padding: 3px 0px 3px 0px; /* Note 0px padding right */
        /*list-style: none              no glyphs before a list item */
}
div.article {
	    /*	margin-right: 0;*/
	text-align: justify;
}
div.articletitle {
	/*margin-right: 0;*/
	text-align: right;
	margin-top: 20px;
}
p.center {
   text-align: center;
}
div.mainbody {
	background-color: white;
	padding-left: 20px;
	padding-right: 20px;
	text-align: justify;
	margin-right: 180px;
	/* border: solid black 1px; */
}
div.main {
	background-color: white;
	text-align: left;
	border: solid black 1px;
}
div.header {
	background-color: #ffffff;
	border: solid black 1px;
	padding-left: 2px;
	margin-bottom: 10px;
	text-align=center;
}