/* DEFAULTS */
body {
  font:  normal 1em Arial, Helvetica, sans-serif;  
  font-size: 100%;
  font-weight: normal;
  text-align: justify;
  line-height: 1.6;
}
li { 
  font-size: 0.8em; 
}

ul { 
  margin-bottom: 0px;
  margin-top: 0px;
}

/* HEADERS */
h1 {
	font: normal 2em Arial, Helvetica, sans-serif;
	text-align: center;
	margin-bottom: 0px;
}
h2 {
  font: bold 1.25em Arial, Helvetica, sans-serif;
  text-align: left;
  margin-bottom: 0px;
}
h2.intext {
	font-size: 2em;
  color: #700000;
}
.errmsg {
  background-color: #FFFF00;
  font-size: 3em;	
}
/* REFERENCE */
.ref {
  font-weight: bold;
  padding-right: 1em;
}
/* TABLE FONT */
td {
  font-weight: bold;
}
/* HORIZONTAL LINE */
hr.sub_sep {
  height: 4px;
  border-style: outset;
  border-width: 4px;
}
/* BUTTONS */
button {
  font: normal 1.2em Arial, Helvetica, sans-serif;
  color: #000000;
  margin: 5px;
  padding: 5px;
  width: 250px;
}
.source {
  background-color: #FF3C00;
/*  font-weight:bold; */
}

.ingan {
  background-color: #0070FF;
/*  font-weight:bold; */
}

.bidir {
  background-color: #FFFF00;
/*  font-weight:bold; */
}

.benaim {
  background-color: #FF8080;
/*  font-weight:bold; */
}

.ours {
  background-color: #1E90FF;
}
/* COMPARISN BUTTONS */
button.osrc {
  background-color: #1E90FF;
}
button.gpnn {
  background-color: #009933;
}
button.singan {
  background-color: #990099;
}


/***********************/
/* links */
a, a:link, a:visited {
  color: #1f82a9;
  background:inherit;
  text-decoration: none;
  cursor: pointer;
}
a:hover {
  color: #006699;
  background:inherit;
  text-decoration: underline;
}

.trackers {
  text-align:center;
}
.footer {
  font-size: 11px;
  color: #666666;
}
/************************/
/* weizmann logo styles */
#weizmann-header img.logo {
  float: left;
  padding: .2em;
  margin: 0 1em .2em 0; /* top right bottom left */
  /*height:20%;
  width:20%;*/
  height:66pt;
  width:145pt;
}
#weizmann-header div.logo_text {
  margin: 0 2em 0 115px;
  padding: .1em;
} /* accomodate image */
.logo_text p {
  margin: 0;
  padding: 0;
}
.logo_text a.logo_link {
  color: #514e41;
  background:inherit;
  font-size: 130%;
  font-weight: bold;
  line-height: 1.3;
  text-decoration: none;
}
.logo_text a.logo_link:hover {
  color: #006699;
  background-color:inherit;
  text-decoration: none;
}
hr.logo_hr {
  clear:left; /* stop the float of logo */
}

button {
    background-color: Transparent;
    background-repeat:no-repeat;
    border: none;
    cursor:pointer;
    overflow: hidden;
    outline:none;
}

 td div.comp { margin-top: -0.6ex; margin-bottom: -1ex;}
 td div.comb { margin-top: -0.6ex; margin-bottom: -.6ex;}
 td div.norm {line-height:normal;}
 td div.hrcomp { line-height: 0.9; margin-top: -0.8ex; margin-bottom: -1ex;}
 td.sqrt {border-top:2 solid black;
          border-left:2 solid black;
          border-bottom:none;
          border-right:none;}
 table.sqrt {border-top:2 solid black;
             border-left:2 solid black;
             border-bottom:none;
             border-right:none;}
			 

/***********************/