body {background: white;
      background-image: -webkit-gradient(linear,center top,center bottom,from(#FFFFFF),to(#FFFFF0));
      background-image: -moz-linear-gradient(top, #FFFFFF, #FFFFF0);
      background-attachment: fixed;
      background-position: top;}

.command {font-family: monospace}

h1 {text-align: center;
    color: #5A5A5A;}

h2 {color: #5A5A5A;}

div.content {background: white;
             border: 1px solid black;
             -moz-box-shadow: 3px 3px 5px black;
             -webkit-box-shadow: 3px 3px 5px black;
             box-shadow: 3px 3px 5px black;}

div.sidebar {width: 250px;
             border-right: 0px;
             border-bottom-left-radius: 15px;
             border-top-left-radius: 15px;
             -moz-border-radius-bottomleft: 15px;
             -moz-border-radius-topleft: 15px;
             position: absolute;
             top: 170px;
             clip:rect(0px, auto, 1000px, 0px);}

div.sidebar a {display: block;
               font-family: Verdana, sans-serif;
               font-size: 16pt;
               font-weight: bold;
               color: midnightblue;
               text-decoration: none;
               margin: 10px;
               margin-right: 25px;
               text-align: right;}

div.sidebar a:hover {text-decoration: underline;
                     color: #5A5A5A;}

div.sidebar a.self_link {color: #5A5A5A;
                         text-decoration: none;}

div.version {font-family: Verdana, sans-serif;
             font-size: 12pt;
             color: #5A5A5A;
             text-align: right;
             width: 250px;
             top: 150px;
             position: absolute;}

div.version span {margin: 10px;
                  margin-right: 25px;}

a {color: midnightblue;
   text-decoration: none;
   font-weight: bold}

a:hover {color: #5A5A5A;
         text-decoration: underline}

div.main {font-family: Helvetica, sans-serif;
          font-size: 14pt;
          padding: 10px;
          width: 900px;
          margin-left: 250px;
          border-bottom-right-radius: 15px;
          border-bottom-left-radius: 15px;
          -moz-border-radius-bottomright: 15px;
          -moz-border-radius-bottomleft: 15px;}

div#select-utility {
    -moz-column-count: 3;
    -moz-column-gap: 20px;
    -webkit-column-count: 3;
    -webkit-column-gap: 20px;
    column-count: 3;
    column-gap: 20px;
}

div#select-utility a {display: block;
                      font-family: Verdana, sans-serif;
                      font-size: 12pt;
                      font-weight: bold;
                      color: midnightblue;
                      text-decoration: none;
                      margin: 10px;}

div#select-utility a:hover {text-decoration: underline;
                            color: #5A5A5A;}

div#select-utility a.self_link {color: #5A5A5A;
                                text-decoration: none;}

div.sflogo {position: absolute;
            top: 600px;
            left: 65px;}

div.donation {position: absolute;
              top: 650px;
              left: 65px;}


table.prereq-list tr td {padding: 5px;}

table.prereq-list tr td:first-child {text-align: right;
                                     padding-right: 15px;}

table.lined {border-collapse: collapse;}
table.lined tr td {border: 1px solid black;
                   padding: 5px;
                   text-align: right;}
table.lined tr td.builtin {text-align: center;}
table.prereqs tr td:first-child + td {font-family: monospace;}
table.prereqs tr th {padding: 5px;}
table.prereqs tr td {padding: 5px;}
table.lined tr th {border-bottom: 3px double black;
                   border-left: 1px solid black;
                   border-right: 1px solid black;
                   border-top: 1px solid black;}

pre.command , dl.examples > dd > dl > dd {
    background-color: #FFFFF0;
    border: 1px solid black;
    margin: 3px;
    overflow: auto;
    padding: 15px;
    font-family: monospace}

dl.examples > dd > dl > dd {
    margin-bottom: 25px;
}

dl.examples > dd > dl > dd span.note {
    font-family: Helvetica, sans-serif;
}

fieldset.example pre {background-color: #FFFFF0;
             border: 1px solid black;
             margin: 3px;
             overflow: auto;
             padding: 15px;
                      width: 700px;}

dl.installation dt {color: #5A5A5A;
                    margin-top: 20px;
                    font-weight: bold;}
dl.installation dd {border: 1px dotted black;
                    padding: 10px;}

fieldset.example {margin-bottom: 50px;
                  display: inline;}

fieldset.example legend {color: #5A5A5A;
                         font-weight: bold;
                         font-size: 16pt;}

div.screenshot {border-top-left-radius: 10px;
                -moz-border-radius-topleft: 10px;
                width: 850px;
                padding-left: 10px;
                padding-right: 5px;
                border-top: 1px solid gray;
                border-left: 1px solid gray;
                margin-bottom: 20px;}

div.screenshot > img {margin: 10px;
                      border: 3px double black;
                      box-shadow: 2px 2px 3px black;
                      -moz-box-shadow: 2px 2px 3px black;
                      -webkit-box-shadow: 2px 2px 3px black;
                      background: white;}

div.screenshot > video {margin: 10px;
                        border: 3px double black;
                        box-shadow: 2px 2px 3px black;
                        -moz-box-shadow: 2px 2px 3px black;
                        -webkit-box-shadow: 2px 2px 3px black;
                        background: white;}

div.utility img.screenshot {float:right;
                            margin: 0 0 15px 15px;
                            border: 3px double black;}

img#logo {position: absolute;
          left: 25px;
          top: 11px;
          border: 0px;}