#ajax_listOfOptions{
      /* Big box with list of options */
      position: absolute;        /* Never change this one */
      width: 400px;              /* Width of box */
      /*width: 600px;*/              /* Width of box when debugging */
      /* height: 250px; */            /* Height of box */
      overflow: hidden;            /* Scrolling features */
      border: 1px solid black;
      margin: 0px;
      padding: 0px;
      background-color: white;
      z-index: 100;
   }
   #ajax_listOfOptions div, #ajax_listOfOptions div td {
      /* Styles for both .optionDiv and .optionDivSelected */
      margin: 0px;
      padding: 2px 2px 2px 6px;
      cursor: pointer;
      color: black;
      font-size: 14px;
   }
   #ajax_listOfOptions .optionDiv{ 
      /* Div for each item in list */
   }
   #ajax_listOfOptions .optionDivSelected, #ajax_listOfOptions .optionDivSelected td {
      /* Selected item in the list */
      /*color: white;*/
      background-color: #85cef7;
   }
   
   #ajax_listOfOptions_iframe{
      /* Not sure what this is for... */
      background-color: white;
      position: absolute;
      z-index: 5;
   }