@import url("menu.css");



/* general ============================================================== */

body
{
  font-family: sans-serif;
  font-size: 12pt;
  background-color: #eeeeee;
  padding: 10px;
  width: 1080px;
  margin: auto;
}


.main
{
  width: 800px; 
  float: left; 
  margin-left: 10px;
  margin-bottom: 10px;
  padding: 10px; 
  background-color: #ffffff;
  border: solid #888 1px;

  -moz-box-shadow:    0px 0px 30px 5px #ccc;
  -webkit-box-shadow: 0px 0px 30px 5px #ccc;
  box-shadow:         0px 0px 30px 5px #ccc;
}

.left-side
{
  width:120px;
  float: left;
  padding: 0px;
  padding-top: 50px;

  /* move above .main's shadow */
  position: relative;
  z-index: 100;
}

h2 {
  text-shadow: #ccc 1px 1px 0px;
}

h3 {
  color: #555588;
}


/* Updates ============================================================= */

#updates
{
  background-color: #f5f5ff; 
  padding: 10px;
  border: #aaa 1px solid;
  border-bottom: #555 1px solid;
  font-size: 10pt;
}

#updates h3
{
  font-weight: 700;
  color: #000;
  margin-bottom: 5px;
  margin-top: 30px;
  /* text-decoration: underline; */
  border-bottom: #333 dotted 1px;
}

#updates p
{
    margin-top: 0px;
}


#highlights
{
  width: 140px;
  text-align: center;
  background-color: #FFFFCC;
  border: #aaa 1px solid;
  border-bottom: #555 1px solid;
  padding: 10px;
  float: right;
}


#highlights_border
{
  width: 160px;
  background-color: #f5f5ff;
  padding-left: 20px;
  padding-bottom: 20px;
  float: right;
}


/* links ================================================================ */


a:link
{
  text-decoration: none;
  color: #007;
}

a:active
{
  text-decoration: none;
  color: #0000FF;
}

a:visited
{
  text-decoration: none;
  color: #007;
}

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


/* =============================================================================
 * download links
 */


.paper
{
   border-left: solid black 5px;
   padding: 2px;
   margin: 2px;
   background-color: #eeeeee;
}

.download
{
   border-left: solid #448844 5px;
   border-bottom: solid #aaccaa 1px;
   padding: 5px 10px 5px 10px;
   margin: 2px;
   background-color: #ddffdd;
}

.download-old
{
   border-left: solid #448844 5px;
   border-bottom: solid #99bb99 1px;
   padding: 5px 10px 5px 10px;
   margin: 2px;
   background-color: #bbddbb;
}

.download-test .download
{
   border-left: solid #884444 5px;
   border-bottom: solid #ccaaaa 1px;
   padding: 5px 10px 5px 10px;
   margin: 2px;
   background-color: #ffdddd;
}

.download-test .download-old
{
   border-left: solid #884444 5px;
   border-bottom: solid #bb9999 1px;
   padding: 5px 10px 5px 10px;
   margin: 2px;
   background-color: #ddbbbb;
}

.doc
{
   border-left: solid #884444 5px;
   border-bottom: solid #ccaaaa 1px;
   padding: 5px 10px 5px 10px;
   margin: 2px;
   background-color: #ffdddd;
}

.download a:link, .download-old a:link,
.download-test a:link, .download-test-old a:link {
  font-weight: bold;
}


/* =============================================================================
 * misc
 */


.code
{
  font-family: monospace;
  border: #779 solid 1px;
  background-color: #eef;
  padding: 5px;
  margin: 20px;
}
    
.screenshot
{
  border: #777 solid 1px;
  vertical-align: top;
  margin: 2px;
}

.picture
{
  margin: 0px;
  border: solid black 1px;
  height: 140px;
}


/* a hidden div */
.hidden_div
{
  height: 0px;
  visibility: hidden;
  display: none;
}

/* ============================================================================
 * menu bar
 */

.menubar {
  text-align: center;
}

.menubar a:link
{
  font-weight: bold;
}