/*
 * (C) Copyright 2003-2004, by Barak Naveh. All rights reserved.
 *
 * Base style for the website.
 * 
 * $Id: style.css,v 1.5 2004/04/09 13:38:19 Barak Exp $
 *
 * Changes
 * ~~~~~~~
 * 21-Aug-2003 : Initial revision (BN);
 * 29-Mar-2004 : Got bored with previous style, so changed it a bit (BN);
 * 
 */

body {
    font-family: Verdana, Arial, Helvetica, sans-serif, "MS sans serif";
    text-align:left;
}
a {
    COLOR: #336699; 
    TEXT-DECORATION: underline;
}
a:visited {
    color: #663366; 
    TEXT-DECORATION: underline;
}
a:hover {
    color: #EC361D;
    TEXT-DECORATION: underline;
}
code {
    font-family:Courier New;
    font-size: medium;
}

ul {
    list-style: disc;
}
li {
    list-style: disc;
    margin-left:0.5em;
    margin-right:1em;
    line-height: 150%;
}

ol {
    list-style: decimal;
}

p {
    margin-left:  1em;
    margin-right: 1em;
    line-height:  140%;
}

pre {
    line-height:  140%;
}

.java {
    padding-left:  1em;
    background-color:#F8F8F8;
}

h1 {
    background-color:#FFF3CB;
    border-left:0px; 
    border-right:0px; 
    border-top:2px solid #EC361D; 
    border-bottom:2px solid #EC361D;
    color:#554FA0; 
    padding-top: 10;
    padding-bottom: 10;
    margin-bottom:40;
    text-align:center;
    font-size: 250% ;
}

h2 {
    margin-top:30;
    color: #25507C; /* #977F56;  */
}
 
h3 {
    margin-top:20;
    margin-left: 0.3em;
    color: brown; /* #5C5C5C; /* #977F56; /* #25507C;*/ /* #EC361D; */
}

/* turn off borders to save border="0" on every image link */
:link img, :visited img {
    border: 0;
}

.footerHR {
    margin-top:50;
    height: 1px;
    color: #7AA1E6;
    border-style: none;
    /* following are needed for Mozilla */
    border-top:0px;
    background-color: #7AA1E6;
}

.footerTable {
    border-collapse: collapse;
    border-width: 0;
    padding: 0;
    margin: 0;
    width: 100%;
}

.footerTable td.left {
    width: 10%;
    text-align: left;
}

.footerTable td.center {
    width: 80%;
    text-align: center;
}

.footerTable td.right {
    width: 10%;
    text-align: right;
}