a:hover {
    font-weight:bold;
    font-size:12px;
    color: #ff0000;
    text-decoration: none;
}

a {
    font-size:12px;
    font-weight:bold;
    text-decoration: none;
    color: #0080ff;
}

body {
    font-family: Arial;
    font-size:12px;
}

div.copyright {
    color: grey;
    font-size: 10px;
    margin-top: 20px;
    margin-left: 25%;
    text-align: center;
    padding: 10px;
    width: 400px;
}

pre {
    white-space: pre-wrap;       /* css-3 */
    white-space: -moz-pre-wrap;  /* Mozilla, since 1999 */
    white-space: -pre-wrap;      /* Opera 4-6 */
    white-space: -o-pre-wrap;    /* Opera 7 */
    word-wrap: break-word;       /* Internet Explorer 5.5+ */

    font-family: Arial;
    font-size: 12px;
}

div.left {
    margin-top: 20px;
    padding: 10px;
    background: #eeeeee;
    width: 350px;
    height: 100px;
    float: left;
}


div.right {
    margin-top: 20px;
    padding: 10px;
    background: #ffcc66;
    width: 350px;
    height: 100px;
    float: left;
}

div.centered {
    margin-left: 15%;
}

pre.shellcode {
    margin-left: 50px;
    margin-right: 50px;
    margin-top: 10px;
    margin-bottom: 10px;
    padding: 10px;
    background-color: #eeeeee;
}

pre.filecontent {
    margin-left: 50px;
    margin-right: 50px;
    margin-top: 10px;
    margin-bottom: 10px;
    padding: 10px;
    border: dotted 1px;
}

ul.pages {
    list-style-type: none;
    padding: 0px;
    margin: 0px;
    margin-left: 10px;
}
ul.pages li {
    padding-bottom: 3px;
}

ul.menu {
    list-style-type: none;
    padding: 0px;
    margin: 0px;
    margin-left: 10px;
}

ul.menu li {
    padding-bottom: 3px;
}

div.menu {
    margin-top: 20px;
    padding: 10px;
    background: #ffcc66;
    float: left;
    width: 200px;
}

div.default_contents {
    border: dotted 1px;
    margin-top: 20px;
    padding: 10px;
    margin-left: 220px;
    width: 80%;
    text-align: left;
}

div.default_contents hr {
    color: #0080ff;
    background-color: #0080ff;
    height: 1px;
    margin-top: 50px;
    margin-bottom: -10px;
    margin-left: 0px;
    border: 0px;
    text-align: left;
    width: 20px;
}

div.default_contents ul {
    margin-left: 50px;
}

div.default_contents p {
    margin-left: 50px;
}

div.adv_skyscraper {
    width: 500px;
    height: 80px;
    margin-left: 20%;
    margin-top: 20px;
    clear: both;
    text-align: center;
}

p.projects_title {
    font-family : Veranda;
    font-size : 20px;
    font-weight : bold;
    padding-top: 10px;
    padding-bottom: 20px;
    margin: 0;
    text-align: center;
}

div.projects_float-left {
    float: right;
    margin: 0;
    padding: 0;
    padding-left: 10px;
    padding-right: 5px;
    padding-bottom: 10px;
}

div.projects_top {
    margin: 0;
    padding-left: 5px;
    text-align: left;
}

td.projects_header {
    font-weight : bold;
    width : 100px;
}

td.projects_value a {
    width : 200px;
    text-decoration: none;
}

td.projects_value a:hover {
    color: #0000ff;
}

td.projects_value a:visited {
    color: #0000ff;
}

span.projects_description {
    padding-top: 10px;
}

span.projects_description_header {
    font-weight: bold;
}

a.toc {
    color: #000000;
    text-decoration: none;
    font-family : Veranda;
    font-size : 16px;
}

h1 {
    font-size: 18px;
}

h2 {
    font-size: 16px;
    text-decoration: underline;
}

h3 {
    font-size: 14px;
    margin-top: 40px;
    margin-bottom: 0px;
}