li>p {

          display: inline;

      }

      body {

        margin-left: 12.5em;

        margin-right: 2em;

        padding: 0;

        background-color: #fff;

	color: black;

      }

      div.paper {

        background-color: #fff;

	color: black;

        margin: 1em;

        /*margin-left: 12.5em;*/

      }

      iframe {

        background-color: #aaa;

      }

      div.content {

        padding: 1em;

        padding-right: 3em;

        padding-left: 2em;

        max-width: 45em;

      }

      p {

        line-height: 1.2em;

      }

      h1 {

        margin-top: 0em;

      }

      h1, h2, h3, h4{

        color: #112266;

      }

      h1 {

        font-size: 2em;

      }

      h2 {

        font-size: 1.5em;

      }

      h3 {

        font-size: 1.2em;

      }

      h4 {

        font-size: 1.0em;

      }

      dl {

        margin-top: 1em;

        margin-bottom: 1em;

      }

      div.expander {

        border: 1px solid #bbb;

      }

      div.expander_title {

        /*border-bottom: 0px solid #aaa;*/

      }

      div.expander_content {

        margin-left: 2em;

        display: none;

        padding-bottom: 1em;

      }

      div.expander_content dl{

        margin: 0;

        padding: 0;

      }

      table th {

        font-weight: normal;

        background-color: #ccc;

        text-align: left;

      }

      span.component {

        background-color: #060;

        padding-left: 0.5em;

        padding-top: 0.1em;

        padding-bottom: 0.1em;

        display: block;

        float: left;

        overflow: hidden;

        width: 4em;

        color: white;

        border: 1px solid gray;

        border: 1px solid white;

        clear: both;

      }

      span.type {

        display: block;

        background-color: #006;

        padding-left: 0.5em;

        clear: both;

        padding-top: 0.1em;

        padding-bottom: 0.1em;

        float: left;

        overflow: hidden;

        width: 4em;

        color: white;

        border: 1px solid white;

      }

      .nopad {

        margin :0;

        padding:0;

      }

      td.component {

        background-color: #060;

        padding-left: 0.5em;

        padding-top: 0.1em;

        padding-bottom: 0.1em;

        overflow: hidden;

        width: 4em;

        color: white;

        border: 1px solid white;

      }

      td.type {

        background-color: #006;

        padding-left: 0.5em;

        padding-top: 0.1em;

        padding-bottom: 0.1em;

        overflow: hidden;

        width: 4em;

        color: white;

        border: 1px solid white;

      }

      span.spacer {

        float: left;

        display: block;

        overflow: hidden;

        width: 0.2em;

      }

      span.name {

        width: 100%;

        display: block;

        overflow: hidden;

        border-top: 1px solid #ccc;

      }

      span.string {

        color: #060;

      }

      span.function {

        color: #006;

      }

      span.paren {

        color: #555;

      }

      span.NULL {

        color: #555;

      }

      pre.authors {

        font-size: 100%;

        font-family: FreeSans, Verdana, sans-serif;

        position: relative;

        top: -2em;

      }

      img.BablFish {

         float: right;

         position: relative;

         top: -8px;

         border: none;

      }

      td.op_name {

          padding-top: 2.5em;

          padding-bottom: 1.0em;

          font-weight: bold;

          font-size: 120%;

      }

      td.op_description {

          padding-bottom: 1em;

      }

      td.prop_type {

          color: gray;

          font-style: italic;

      }

      td.prop_name {

          font-weight: bold;

      }

      td.prop_blurb {

          padding-bottom: 0.5em;

      }

      @media screen {

        body {

          font-family: FreeSans, Verdana, sans-serif;

          max-width: 45em;

        }

        a {

          text-decoration: none;

        }

        pre {

          overflow: auto;

        }

        h1 {

            display: none;

        }

        div#toc {

          background-color: #333;

          position: absolute;

          position: fixed;

          width: 12em;

          top: 0;

          left: 0;

          z-index: 2;

          height: 100%;

          overflow: auto;

          float: left;

          padding-top: 0.5em;

        }

        div#toc ul {

          padding-top: 0em;

          padding-left: 0em;

          margin: 0;

        }

        div#toc li {

          display: block;

          padding-right: 1em;

        }

        div#toc li a,

        div#toc div a{

          display: block;

          padding-left: 1em;

          padding-right: 1em;

          color: #fff;

        }

        div#toc li a:hover,

        div#toc div a:hover{

          color: #fff;

          background-color: #445;

        }

        div#toc li a:active,

        div#toc div a:active{

          color: #000;

          background-color: #445;

        }

        div#toc .toclevel1 {

          padding-top: 0.5em;

          padding-left: 0em;

        }

        div#toc .toclevel2 {

          padding-left: 1em;

        }

        #toctitle {

            display: none;

        }

        div.paper {

          max-width: 45em;

          -moz-border-radius: 1em;

        }

        div.content {

        }

        div.print {

          display: none;

        }

        ul.crucible {margin:0; padding:0}

        ul.crucible li{display: inline;}

      }

      h2#gegl {

          display: none;

      }

      @media print {

        body {

          background-color: none;

          font-family: FreeSans, Verdana, sans-serif;

        }

        a, em {

          /* XXX: work-around for rendering bug, should investigate whether

           * this issue is fixed in the latest gecko

           */

          padding-right: 3em;

          padding-left: 1em;  

        }

        a {

          text-decoration: none;

        }

        div#toc ul {

          padding-left: 0em;

          float: right;

          margin: 0;

        }

        div#toc li {

          display: block;

          padding-right: 1em;

        }

        div#toc li a{

          display: block;

          padding-left: 1em;

          padding-right: 1em;

          color: #fff;

        }

        div#toc li a:hover {

          color: #fff;

          background-color: #333;

        }

        div#toc ul {

          padding-left: 0em;

          float: none;

          margin: 0;

          margin-left: 1em;

        }

        div#toc {

          position: absolute;

          width: 200px;

          top: 0;

          left: 2em;

          padding-top: 2em;

          z-index: 2;

        }

        div#toc ul {

          margin-left: 0;

        }

        div#toc li a {

          color : #000;

        }

        div#toc h2 {

          margin: 0;

          padding: 0;

        }

        h1 {

          margin-left: -0.75em;

        }

        h2 {

          padding-top: 4em;

          margin-left: -1em;

        }

        h3 {

          padding-top: 4em;

          margin-left: -1em;

        }

        span.component {

          background-color: #7f7;

          color: black;

        }

        span.type {

          background-color: #aaf;

          color: black;

        }

        table th {

          font-weight: bold;

        }

        div.print_title {

          position: absolute;

          top: 3em;

          padding-left: 2em;

          margin-left: 280px;

        }

        div.paper {

          padding-top: 4em;

        }

        div.graphic {

          display: none;

          background-color: #bbf;

          height: 100%;

        }

        div.graphic img {

          position: absolute;

          bottom: 0;

          left: 0;

        }

        div.screen {

          display: none;

        }

      }