/* $Id: sensicomm.css,v 1.7 2009/06/05 15:31:17 jrothwei Exp $ */
/* from the website www.sensicomm.com */

/* I only use h1 for major titles at the tops of pages.*/
/* Colors: 76,0,102 and 178,128,26 are the blue and gold */
/* of my logo. */
body {
	background: rgb(245,245,255);
}
h1 {
	font-size: 140%;
	font-family: sans-serif;
	/* Lighten the colors, to show up better. */
	color: rgb(34,0,102);
	background-color: rgb(255,222,150);
	/* text-transform: uppercase; */
}
hr {
	/* noshade;*/
	height: 4px;
	color: rgb(76,0,102);
	background: rgb(178,128,26);
}
/* To make a link look more like a pushbutton. */
a.menu {
	color: green;
	/* background-color:rgb(255,212,130); */
	border: thin outset rgb(0,0,128);
	line-height: 100%;
}
a:hover {
	color: red;
}

/* To make a "buttonbar" a line of links, each in a box, and all in one
bigger box. */
div.banner {
	/* display: inline; */
	border: thin solid rgb(0,0,128);
	font-size: 120%;
	height: auto;
	/*background:rgb(192,255,192);*/
	background: rgb(255,232,180);
	/*padding-top: 0.1em; */
	/*padding-bottom: 0.1em; */
	padding: 0.1em;
}
/* Each button within the bar. */
div.banner a {
	margin: 2px; /* Shows up between, on left and right. */
	padding: 0.2em 0.2em;  /* Vert, horiz; doesn't affect line spacing. */
	border: medium inset rgb(0,0,128);
	font-weight: bold;
	height: auto;
	background:rgb(255,212,162);
	line-height: 170%;
}

H2 {
	color: rgb(34,0,102);
	font-family: sans-serif;
}
H3 {color:rgb(255,0,255)/*magenta*/}
address {color:maroon}
address.main {
	font-size: 100%;
	font-weight: bold;
}
/* For tables. */
TABLE{
	background:rgb(255,240,190);
}
table.in {background: none;}
THEAD{
	font-weight: bold;
	background:rgb(255,212,162);
}
CAPTION {
	background:rgb(255,240,190);
	font-weight: bold;
}
/********************************************/
/* definitions for images. */
img.headerimage {
        float: left;
        padding: 0;
	margin: 0;
	border: 0;
}
img.leftimage {
        float: left;
        padding: 5px;
}

/* An image with a caption. */
div.imgcap {
        display:block;
        float:left;
        border-style: solid;
        border-color: rgb(255,255,0);
}
div.imgcaprt {
        display:block;
        float:right;
        border-style: solid;
        border-color: rgb(255,255,0);
}

/**********************************************************
 * For the banner at the top of each page.               */

div.header {
  display:block;
  border-style: solid;
  border-color: #fff0d7;
  background-color: #dcdee0;  /* A light gray. */
}
div.logoimage, img.logoimage {
  display:inline;
  float:left; /* If I take out the float, it takes the whole line. */
  border-style: none;  /* Was solid. */
  border-color: rgb(0,0,255);
  margin-right: 2em;
}
div.rightside {
  display: inline-block;
  /* float:left; */
}
div.header h1 ,
div.header h3 {
  margin-top: 0px ;  /* Get rid of extra spacing before. */
  margin-bottom: 0px ;  /* Get rid of extra spacing after. */
  background-color: inherit;
}
div.header a {
	font-family: sans-serif;
	font-weight: bold;
	font-size: 80%;
	margin: 1px; 
	padding: 1px; 
	               /* width style color */
	border-left:                 inherit ;
	border-left:     0px  none ;
	border-right:               inherit ;
	border-right:    2px  solid         ;
	border-top:      0    none  /*inherit*/ ;
	border-bottom:   0    none  /*inherit*/ ;
	height: auto;
	background-color: inherit;
	line-height: 100%;
}
p.co em {  /* For company names, etc. */
	font-weight: bold;
	font-style: normal;
        color:maroon;
}
code {
 background-color: #f8fc80;
 }
pre.code {
 background-color: #e8e8ff;
}
/**************************************************/
/* Testing: */
div.rightcol {
	position:relative;
	top:0px;
	right:0px;
	float:right;
	width:200px;
	margin:0 0 -10px 0;
	padding:10px;
	background: rgb(255,232,180);
	background: #eceef0 ;
	font-family: sans-serif;
	               /* width style color */
	border-left:     2px  solid rgb(178,128,26);
	border-right:    0    none  rgb(0,30,30);
	border-top:      0    none  /*inherit*/ ;
	border-bottom:   0    none  /*inherit*/ ;
}
a.external {
	border: thin solid rgb(255,0,0);
}
/* To make a definition list with dt and dd displayed on the same line. */
dt.min {font-weight: bolder; display: run-in}
dd.min {margin-bottom: 0; display:inline;}
/* A buttonbar in the left margin. */
div.linktower {
	display:block;
	float:left;
	width:15em;
}