div.figure p img { max-height: 300px; }
pre.src, pre.example { font-size: 75%; }
/* pre.example { max-height: 50ex; } */

pre.example {
	margin-bottom: 0;
	overflow: auto;
}
div.ceexpand	{
	text-align: center;
	border: 1px solid #666;
	border-top: 0;
	background: #efefef url(img/arrow_down.png) top right no-repeat;
	line-height: 16px;
	width: 200px;
	margin: 0 0 0 auto;
}
div.cecollapse {
	background: #efefef url(img/arrow_up.png) top right no-repeat;
}
div.cehover {
	background-color: #ccc;
	cursor: pointer;
}

  /* TOC inspired by http://jashkenas.github.com/coffee-script */
  #table-of-contents {
    font-size: 10pt;
    position: fixed;
    right: 0em;
    top: 0em;
    background: white;
    -webkit-box-shadow: 0 0 1em #777777;
    -moz-box-shadow: 0 0 1em #777777;
    -webkit-border-bottom-left-radius: 5px;
    -moz-border-radius-bottomleft: 5px;
    text-align: right;
    /* ensure doesn't flow off the screen when expanded */
    max-height: 80%;
    overflow: auto; }
    #table-of-contents h2 {
      font-size: 10pt;
      max-width: 9em;
      font-weight: normal;
      padding-left: 0.5em;
      padding-left: 0.5em;
      padding-top: 0.05em;
      padding-bottom: 0.05em; }
    #table-of-contents #text-table-of-contents {
      display: none;
      text-align: left; }
    #table-of-contents:hover #text-table-of-contents {
      display: block;
      padding: 0.5em;
      margin-top: -1.5em; }