/*  Overrides for the YAML engine included above  */
/* Divide pixels by 13 to get width in ems
   except for IE, when you have to divide by 13.3333
   145px = 11.154 em (or 10.875 em)
   150px = 11.54 em (or 11.25 em)
   160px = 12.3 em (12 em)
   180px = 14 em (13.5 em )

   Div by xxxx (font-size: 93.75% -> 15pt) 12.75/14 * 13.65 = 12.43
   180px = 12.75 em (12.43 em)
*/
#col1 { /* left side menu column */
  width:12.75em;
  *width:12.43em; /*  IE only */
/*  border: 1px solid red; */
}
#col2 { /* right side column - login box */
  width:12.75em;
  *width:12.43em; /*  IE only */
/*  border: 1px solid red; */
}
#col3 { /* the main content section */
  margin: 0 12.75em;
/*  border: 1px solid green; */
  padding: 10px;
  padding-top:0;
}
#col1_content { padding-left: 0.7em;}
#col2_content { padding-right: 0.7em;}
.page_margins {
/*  min-width:760px;
  max-width:100em; */
  margin: 0 3px;
}
 /* End of YAML overrides                          */