/* Define the look of the tooltips. */

.tooltip 
{
  background-color: #ffffcc;
  border-color: #000000;
  border-style:solid;
  border-width: 1px;
  font-family: sans-serif;
  font-size: 80%;
  layer-background-color: #ffffcc;
  margin: 0px;
  padding: 0px;
  padding-left: 8px;
  padding-right: 8px;
  position: absolute;
  visibility: hidden;
}

/* Define the look of a link that has a tooltip. */
.tiplink 
{
   font-style: italic;
   color: #000099;
   text-decoration: underline;
}

/* Define the look of a code example */
.codeexample {
   margin-right: 5%;
   margin-left: 5%;
   width: 90% ;
   padding-left: 3%;
   padding-right: 3%;
   padding-top: 16px;
   padding-bottom: 16px;
   color: #000000;
   background-color: #ffcc99;
   border-color: #ffcc99;
   border-style: ridge;
   border-width: 3px;
   font-size: 100%;
   font-family: sans-serif;
}