BODY, H1, H2, H3, H4, H5  {font-family: "Carlito", "Calibri",
                                        "Helvetica",
                                        sans-serif;}

BODY 
{
   background-color: #cccccc;
   color: black;
   padding: 2em;
   text-align: center; /* IE hack -- margin-auto in container doesn't work */
}


#container
{
   border: 3px solid black;
   border-radius: 25px;
   -moz-border-radius: 25px; /* Mozilla */
   -moz-box-shadow: 10px 10px 5px #888;
   -webkit-box-shadow: 10px 10px 5px #888;
   box-shadow: 10px 10px 5px #888;
   width: 800px;
   margin: 0;
   margin-left: auto; 
   margin-right: auto;
   padding: 0;
   text-align: left; /* undo IE hack to body */
}

#header
{
   background-color: #ffff66;
   /* http://gradients.glrzad.com/ */
background-image: linear-gradient(bottom, rgb(255,255,102) 100%, rgb(210,210,50) 0%);
background-image: -o-linear-gradient(bottom, rgb(255,255,102) 100%, rgb(210,210,50) 0%);
background-image: -moz-linear-gradient(bottom, rgb(255,255,102) 100%, rgb(210,210,50) 0%);
background-image: -webkit-linear-gradient(bottom, rgb(255,255,102) 100%, rgb(210,210,50) 0%);
background-image: -ms-linear-gradient(bottom, rgb(255,255,102) 100%, rgb(210,210,50) 0%);

background-image: -webkit-gradient(
    linear,
    left bottom,
    left top,
    color-stop(1, rgb(255,255,102)),
    color-stop(0, rgb(210,210,50))
);
   color: #000000;
   border-radius: 25px 25px 0 0; 
   -moz-border-radius: 25px 25px 0 0; /* Mozilla */
   padding: 1em;
   margin: 0;
   border-bottom: 3px solid black;
   text-align: center;
   font-family: "Carlito", "Calibri", Helvetica, sans-serif;
}

#header H1 {display: inline; line-height: 90%;}
#header p {margin: 0; 
           padding: 0;
           margin-top: 1em;}


#other {
   background-color: #ffffff;
   color: #000000;
   padding: 1em;
   margin: 0;
   line-height: 130%;
   width: auto;
   border-radius: 0 0 25px 25px; 
   -moz-border-radius: 0 0 25px 25px; /* Mozilla */
}

#ref {
   font-size: small;
}

PRE {font-family: "Bitstream Vera Sans Mono",
                  "Monospace",
                  monospace;
     color : #FFFFFF;}

TT  {font-family: "Bitstream Vera Sans Mono", 
                  "Monospace",
                  monospace;
     color : #000000;}


A:LINK {text-decoration: none;
        color: green;}
A:VISITED {text-decoration: none;
           color: Gray;}
A:HOVER {text-decoration: underline;
         color: Green;}

A.menu:LINK {color: #5588ff;}
A.menu:VISITED {color: #5588ff;}
A.menu:HOVER {color: red;
	      text-decoration: underline;}



    
H1   {font: normal 200% "Carlito", "Calibri", Helvetica, sans-serif;
      text-align: center;
      color: blue;
/*      text-shadow: 1px 1px 1px #000000; */
      font-weight: normal;}

H1.title {display:inline;}

H2   {font: normal 140% "Carlito", "Calibri", Helvetica, sans-serif;
      color: blue;
      font-weight: normal;
      display: inline; 	}

H3   {font: normal 120% "Carlito", "Calibri", Helvetica, sans-serif;
      color: blue;
      line-height: 1.5;
      display: inline; 	
      padding-bottom: 0em;
      font-weight: normal;}


em {color: red}

em.paper {color: purple}

div.eq {text-align: center;
        margin: 0.5em;}

blockquote {margin-top: 0em;
            padding-top: 0em;
            border: 0;}

div.abstract {width: 75%;
              margin-left: 12.5%;
	      margin-top: 0;
              color: gray;
              padding: 4px;
	      padding-top: 0px;
              border: none;}

dt.paper {padding-top: 0.5em;
          padding-left: 2em;
          font-style: italic;
          font-size: 90%;
          color: purple;}

dd {padding-left: 1em;
    font-size: 90%;}

div.right {float: right;
           padding: 1em;
           padding-top: 0em;
           width: 425px;
           color: #333333;
           font-style: italic;
           font-size: 90%;}

div.right2 {float: right;
            padding: 0;
	    padding-left: 1em;
	    padding-right: 1em;
            width: 450px;
            color: #333333;
            font-style: italic;
            font-size: 90%;}

div.figcenter {text-align: center;
               display: block;
               color: blue;
               font-style: italic;
               width:85%;
               margin-left: auto;
               margin-right: auto;}

div.figtext {display: block;
             color: #333333;
             font-style: italic;
             font-size: 90%;
             width:85%;
             margin-left: auto;
             margin-right: auto;}

p.ack {margin-top: 3em;
       font-size: 90%;}

em.ack {color: gray}