/* Revamped from http://orgmode.org/worg/worg.css */
@media all
{
  body {
    width: 500pt;
  }

  #table-of-contents {
    font-size: 80%;
    padding: .5em;
    margin: 1em -2em 1em 1em;
    display: block;
  }

  #table-of-contents ul  {
    /* list-style: none; */
    margin: 0.5em;
    padding: 0;
  }
  #table-of-contents li  {
    margin: 0.5em;
    padding: 0;
  }
}

@media screen
{
  #table-of-contents {
    float: right;
    border: 1px solid #000000;
    max-width: 30%;
    overflow: auto;
  }
}