/*     temp :    */
img {
	border: 1px solid red;}
/* 
div {
	border: 1px solid #73AD21;}
*/

/*              */

/*   Was: [body]         font-size: small; */   

body {
        font-family: arial, helvetica, sans-serif;
	padding: 10px;
	margin-top: 2px;
	width: 900px;}

  /* only applies if browser's viewport width is equal to or narrower than 940px: */
  /* max width = 20px browser + 20px body (10px padding-left + 10px padding-right) + 900px width (of text) */
  @media screen and (max-width: 940px) {
	body {
		width: auto;}
  }
/* Bing insists on h1 tag:  */
h1, 
h2 {
        font-size: large;
        font-weight: bold;
	text-align: center;}

h3 {
        font-size: small;
	font-weight: bold;
	color: #003333;}

img.float {
	margin-top: .25in;
	margin-right: .25in;
	margin-left: .25in;
	margin-bottom: .25in;}

div.subtitle {
        border: 1px solid #73AD21;
	font-weight: bold; 
	font-size: medium;
	text-align: center;}

span.caps {
	font-weight: 500;
	font-family: arial, helvetica, sans-serif;
	font-variant: small-caps;}

div.text {  }
  
div.leftfig {
	float: left;
	margin-right: .15in;
	margin-left: .15in;
	margin-bottom: .15in;
	margin-top:.15in;
	font-size: x-small;
	text-align: center;}

  @media screen and (max-width: 500px) {
	div.leftfig {
	font-size: small;}
  }

div.rightfig {
	float: right;
	margin-right: .15in;
	margin-left: .15in;
	margin-bottom: .15in;
	margin-top:.15in;
	font-size: x-small;
	text-align: center;}

  @media screen and (max-width: 500px) {
	div.rightfig {
	font-size: small;}
  }

div.centerfig {
	margin-right: .25in;
	margin-left: .25in;
	margin-bottom: .25in;
	margin-top:.20in;
	font-size: x-small;
	text-align: center;}

  @media screen and (max-width: 500px) {
	div.centerfig {
	font-size: small;}
  }

div.external {
	width: 600px;
	padding-left: 50px;
	/* font-family: Verdana,sans-serif; */
        font-family: Courier,"Courier New",monospace; 
	margin-top: 1px;
	border-left: 1px solid #000000;}

  /* max width = 20px browser + 20px body + 50px padding-left + 600px width (of text) */
  @media screen and (max-width: 690px) {
	div.external {
	padding-left: 20px;
	padding-right: 20px;
	width: auto;}
  }

div.highlight {
        width: 600px;
	/* font-family: Verdana,sans-serif; */
        font-family: Courier,"Courier New",monospace; 
        background-color: #D3D3D3;
        padding-right: 30px;
        padding-left: 30px;
        padding-top: 5px;
        padding-bottom: 5px;
        margin-left: 20px;}

  /* max width = 20px browser + 20px body 
          + 20px margin-left + 30px padding-left + 600px width (of text) +30px padding-right */
  @media screen and (max-width: 720px) {
	div.highlight {
	padding-right: 10px;
	padding-left: 10px;
	margin-left: 10px;
       	width: auto;}
  }
    
div.deux {
	font-size: small;} 
        /* was: text-align: center  */

  @media screen and (max-width: 500px) {
	div.deux {
       	font-size: small;}
  }

div.fineprint {
	text-align: center;
	font-size: x-small;}
		
  @media screen and (max-width: 500px) {
	div.fineprint {
	font-size: small;}
  }

div.spacer {
	clear: both;}