/*******************************************************
  In IE, the "position: fixed" attribute doesn't work,
  so we instead use the "overflow" attribute to control
  what scrolls.  The entire page by default does not,
  but anything inside our scroll div does.
*******************************************************/