@font-face {
    font-family: ChunkFive;
    src: url(fonts/Chunkfive.eot); /* for IE */
}

@font-face {
    font-family: ChunkFive;
    src: url('fonts/Chunkfive.woff') format('woff'),
    url('fonts/Chunkfive.otf') format('opentype'),
    url('fonts/Chunkfive.ttf') format('truetype');
}

h2 {
    font-family: ChunkFive, Futura, Tahoma, serif;
    padding-top: 0.5em;
    margin-bottom: 0;
    font-size:200%;
    font-weight: normal;
}

body {
    margin: 0px 50px 30px 50px;
    background-image:url('images/skulls.jpg');
    font-family: Futura, Tahoma, serif;
    font-size:100%;
}

a {
    color: #5F2D6E;
    font-weight: bold;
}

#top {
    position: relative;
    padding: 2px 50px 2px 0;
    margin: 0 0 20px 0;
    -moz-border-radius-bottomleft: 20px;
    -webkit-border-bottom-left-radius: 20px;
    -moz-border-radius-bottomright: 20px;
    -webkit-border-bottom-right-radius: 20px;
    opacity:0.90;
    filter:alpha(opacity=90);
    -moz-opacity: 0.90;
    background-color: #fff;
    border-style: solid;
    border-width: 2px;
    border-top-width: 0px;
    border-color: #aaa;
    z-index: 2;

}

#content {
    position: relative;
    padding: 50px;
    padding-top: 40px;
    margin: 0;
    border-radius: 20px;
    -moz-border-radius: 20px;
    -webkit-border-radius: 20px;
    opacity:0.95;
    filter:alpha(opacity=95);
    -moz-opacity: 0.95;
    background-color: #fff;
    border-style: solid;
    border-width: 2px;
    border-color: #aaa;
    z-index: 1;
}

#footer {
    margin-top: 20px;
    padding: 1em 50px 1em 50px;
    -moz-border-radius: 10px;
    -webkit-border-radius: 10px;
    opacity:0.90;
    filter:alpha(opacity=90);
    -moz-opacity: 0.90;
    background-color: #fff;
    border-style: solid;
    border-width: 2px;
    border-color: #aaa;
}


p.example {
    padding: 0;
    margin:0;
    font-size: 48pt;
    color: #020;
    line-height: 1.4em;
    opacity:1.0;
    filter:alpha(opacity=100);
    -moz-opacity: 1.00;
}

#topim {
/*    float:right;*/
    width:100%;
    margin: 0px 0px 30px 0px;
}

em {
    color: #338;
    font-style: normal;
}

strong {
    font-weight: bold;
}

ul {
    list-style-image: url('images/skull_bullet.png');
}

#banner_and_news {
    float:right;
    width: 42%;
    padding-right: 20px;
    padding-left: 20px;
}

#news {
    border-style: solid;
    border-width: 1px;
    border-color: #777;
    margin: 0px 0px 10px 0px;
    padding: 5px 15px 5px 15px;
    -moz-border-radius: 7px;
    -webkit-border-radius: 7px;
/*    width: 100%;*/
/*    clear:both;*/
    background-color: #f9f9f9;
}


#nav-menu {
    font-family: ChunkFive, Futura, Tahoma, serif;
    font-size: 120%;
    font-weight: normal;
}

#nav-menu ul{
    margin: 12px 0px 0px 50px;
    padding: 0px 0px 0px 0px;
    list-style:none;
    background: #ffffff;
}

#nav-menu ul ul {
    padding: 0.2em 0.2em 0.2em 0.2em;
    margin: 0 0 0 0;
    display: none;
    background: #333;
    border-style: solid;
    border-width: 1px;
    border-color: #ffffff;
}

#nav-menu ul li:hover > ul {
    display: block;
    position: absolute;
}

#nav-menu a:hover  {
    text-decoration: underline;
}

#nav-menu li{
    float:left;
    border-style: solid;
    border-width: 0px;
    border-color: #ffffff;
}

#nav-menu ul a {
    color: #000;
    text-decoration: none;
    font-weight: normal;
}

#nav-menu ul ul a {
    color: #ffffff;
    text-decoration: none;
}

#nav-menu li li{
    float:none;
    line-height: 130%;
    margin: 0 0 0 0;
    padding: .2em 0.5em 0.2em 0.5em;
}

#header {
    width:100%;
}

#searchbox {
    text-align: right;
    margin: 8px 0 8px 0;
    width:100%;
}

input {
    border-style: solid;
    border-color: #909090;
    border-width: 1px;
    -moz-border-radius: 5px;
    -webkit-border-radius: 5px;
}


pre.code {
    border-style: solid;
    border-color: #909090;
    border-width: 1px;
    -moz-border-radius: 5px;
    -webkit-border-radius: 5px;
    width:100%;
    padding: 7px 7px 7px 7px;
    background: #f0f0f0;
}

.toph {
    margin-top: 0;
    padding-top: 0;
}

/* import from old style.css */

.funcname { 
  font: 110% Courier, Helvetica;
  font-weight: bold;
  color: #a0aa30;
}

table .alphaHead {
  padding: 1px 2px 1px 5px;
  font-weight: bold;
  color: white;
}

.spaced ul {margin: 6px 0px 0px 5px;}
.packed ul {margin: 1px 0px 0px 5px;}

.spaced li {margin: 6px 0px 0px 5px;}
.packed li {margin: 1px 0px 0px 5px;}

/* li {margin: 3px 0px 0px 5px;} */


.xreffuncname {
  font-weight: bold;
  font-size: 110%;
  background-color: #404040;
  color: white;
  padding: 8px 10px 8px 10px;
  margin-top: 10px;
  -moz-border-radius: 7px;
  -webkit-border-radius: 7px;
  border-style: solid;
  border-width: 1px;
  border-color: #aaa;
}

table ul { 
  margin:0; 
  margin-left: 10px; 
  padding: 1px 3px 1px 5px;
  list-style-position: outside;
  list-style-image: url(images/triangle2.jpg) ;
}


pre {
  width: 98%;
}

.prered {
    color: #f00000;
}