BODY {
	font-family: Tahoma,Arial,Helvetica,Sans-Serif;
	font-size: small; /* specify all other font sizes by percentage */
	margin: 2px;
   padding-left: 10px;
   padding-right: 10px;
}

h1 {
   text-align: center;;
   font-size: 170%;
   font-family: "Bookman Old Style",serif;
   font-style: italic;
   font-variant: small-caps;
}

div#subhead {
   margin-top: 0px;
   text-align: center;
   font-style: italic;
   font-weight: bold;
   font-family: "Bookman Old Style",serif;
}

h2.amend {
   font-family: "Times New Roman",serif;
   font-size: 130%;
   font-weight: normal;
   padding-bottom: 2px;
   margin-bottom: 1px;
}

div#fma {

   font-size: 105%;
}

#fma sup {
   font-weight: bold;
   font-size: 90%;
      color: blue;
}


a {
   color: Navy;
   font-weight: bold;
}

a:link {
   color: Navy;
   font-weight: bold;
}

a:visited {
   color: Navy;
   font-weight: bold;

}

a:hover {
	background-color: yellow;
}

a:active {
   color: Navy;
   font-weight: bold;
}


a.crossref  {
   font-style: italic;
   color: Blue;
   text-decoration: none;
   padding-left: 2px;
   padding-right: 2px;
   margin-bottom: 10px;
   font-weight: normal;
}

a.crossref:link {
   color: Blue;
   font-weight: normal;
}

a.crossref:visited {
   color: Blue;
   font-weight: normal;
}

a.crossref:hover {
   background-color: Yellow;
   border: solid black 1px;
   color: Black;
   font-weight: bold;
}

a.crossref:active {
   color: Blue;
   font-weight: normal;
}

#fma a.crossref {
   color: blue;
   font-size: 100%;
   font-weight: bolder;
   font-variant: small-caps;
}

.adoption {
   font-style: italic;
   margin-left: 5px;
}


.minute {
   margin-left: 6em;

}