body
    {
    color: #000;
    background: #fff;
    font-family:"Bitstream Vera Sans","Luxi Sans",Helvetica,Arial,sans-serif;
    font-size: 11pt;
    margin: 0px;
    margin-left:0px;
    margin-top: 0px;
    }



#table-of-contents {
        position: absolute;                     
        top: 200px;
        left: -5px;
        width: 161px;
	border-right: 1px solid #000;
	padding: 0 0 1em 0;
	margin-bottom: 10em;
	font-family: 'Trebuchet MS', 'Lucida Grande',
	  Verdana, Lucida, Geneva, Helvetica, 
	  Arial, sans-serif;
}


#table-of-contents h2 {
    display:none;
}

#text-table-of-contents ul {
	list-style: none;
        margin-left: 5px;
	padding-left: 5px;
	border-top: 2px solid #90bade; 
/*	border-top: none; */
}

#text-table-of-contents li {
	border-bottom: 2px solid #90bade;
/*	border-top: 2px solid #90bade; */
 	margin: 0;
 	padding: 0;
        }

#text-table-of-contents li a {
		display: block;
/*		padding: 5px 5px 5px 0.5em; */
		padding: 2px 2px 2px 2px; 
		border-left: 8px solid #2175bc;
/*		border-left: 8px solid #508fc4;*/
		border-right: 8px solid #2175bc;
		background-color: #2175bc; 
		color: #fff;
		text-decoration: none;
/*		width: 100%; */
} 

#text-table-of-contents li a:hover {
		border-left: 8px solid #2175bc; 
		border-right: 8px solid #2175bc; 
		background-color: #2586d7; 
		color: #fff;
} 

#postamble { 
             border-top:2px solid #74a2b7; 
             color: #74a2b7;     
             margin-top: 30px;
             font-size: 85%;
             margin-left:0px;
             }
.outer { 
    text-align:center;
    border:0;
    padding:0;
    height:100%;
    width:100%;
/*    height:734;*/
/*    width:759; */
/*    width:810; */
}

.outerbox { 
            overflow: auto; 
/*            height: 653px;  */
            width:100%; 
            background:#f2f7f9;
            }

.innerbox { 
    width:95%; 
    margin: 10px; 
    border:0;
    padding:0;
    spacing:0;
}

h1 {
   font-family:"Bitstream Vera Sans","Luxi Sans",Helvetica,Arial,sans-serif;
   margin:0px;
   padding:0px;
   margin-top:2ex;
   margin-bottom:2ex;
   font-size:130%;
   color: #000;
   border-bottom:4px solid #74a2b7; 
   } 

/*  width:580px;  */
/*  border:black 2px solid; */
/* h1 { 
  width:97%;
  border:0px; 
  margin:12px; 
  background-color:#D1B89B;
  text-align:center;
  font-family:"Bitstream Vera Sans","Luxi Sans",Helvetica,Arial,sans-serif;
  padding 10px;
  font-size:120%;
  color: #fff;
  } */


h2 {
   font-family:"Bitstream Vera Sans","Luxi Sans",Helvetica,Arial,sans-serif;
   margin:0px;
   padding:0px;
   margin-top:3ex;
   margin-bottom:1.5ex;
   font-size:100%;
   color: #000;
   border-bottom:2px solid #74a2b7; 
   }

h3 {
   font-family:"Bitstream Vera Sans","Luxi Sans",Helvetica,Arial,sans-serif;
   margin:0px;
   padding:0px;
   margin-top:3ex;
   margin-bottom:1.5ex;
   font-size:100%;
   color: #000;
   }

ul {
   font-size: 90%;
   list-style-image: /IMDEA-SW/Pub/Figs/ball.gif;
     }

p {
  text-align: justify;
  margin-top:2ex;
  margin:1ex;
  }

a[href]
    {
    color: #74a2b7; 
    font-weight:bold;
    text-decoration: underline;
    } 

a.button
    {
    font-family: "Bitstream Vera Sans","Luxi Sans",Helvetica,Arial,sans-serif;
    font-size: 70%;
    color: white;
    font-weight: bold;
    text-decoration: none;
    }

a.button:hover
    {
    text-decoration: underline;
    }

.sympheader
    {
    text-align: center;
    font-size:100%;
    color: #2624B0;
    }

.nameheader
    {
    text-align: center;
    font-size:150%;
    color: #B02624;
    }

.acroheader
    {
    text-align: center;
    font-size:200%;
    }

.affiliation
    {
    text-align: center;
    font-style: italic;
    }

.seacolor
    {
    text-align: center;
    background: #74a2b7;  
    color: white;
    font-weight:bold;
    }

.beachcolor
    {
    text-align: center;
    background: #D1B89B;
    color: black;
    font-weight:bold;
    }

.latmenu
    {
    padding: 0px 10px;
    margin: 10px;
    width: 85%;
    border-width: 5px;
    border-style: solid;
    border-color: #74a2b7; 
    background: #74a2b7; 
    color: white;
    }

.main
    {
    padding: 0px 10px;
    background: white;
    }

.dates
    {
    padding: 2px 6px;
    }

.super
{
  vertical-align: super;
  font-size: 70%;
  }

.bigbox
{ 
/*  width:580px;  */
  width:97%;
  border:black 2px solid; 
  margin:12px; 
  background-color:#D1B89B;
  }

.bigboxheader
{ 
   text-align:center;
   font-family:"Bitstream Vera Sans","Luxi Sans",Helvetica,Arial,sans-serif;
   margin:0px;
   padding:0px;
   margin-top:2ex;
   margin-bottom:2ex;
   font-size:110%;
   color: #000;
   border-bottom:2px solid #ffffff;
  }

.todo {color: #990000;}
.done {color: #006666;}
.timestamp-kwd {color: #444;}
.tag {color: #DDD; font-size: 70%; font-weight: 500;}

table {border: none;}
/* td {border: none; padding: .1em .7em .1em .3em;} */
th {border: none;}

code {font-size: 10pt;}

pre {
    border: 1px solid #555;
    background: #EEEEEE;
    font-size: 9pt;
    padding: 1em;
}

img {
    border: none;
}

.share img {
    opacity: .4;
    -moz-opacity: .4;
    filter: alpha(opacity=40);
}

.share img:hover {
    opacity: 1;
    -moz-opacity: 1;
    filter: alpha(opacity=100);
}

      .org-bbdb-company {
        /* bbdb-company */
        font-style: italic;
      }
      .org-bbdb-field-name {
      }
      .org-bbdb-field-value {
      }
      .org-bbdb-name {
        /* bbdb-name */
        text-decoration: underline;
      }
      .org-bold {
        /* bold */
        font-weight: bold;
      }
      .org-bold-italic {
        /* bold-italic */
        font-weight: bold;
        font-style: italic;
      }
      .org-border {
        /* border */
        background-color: #000000;
      }
      .org-buffer-menu-buffer {
        /* buffer-menu-buffer */
        font-weight: bold;
      }
      .org-builtin {
        /* font-lock-builtin-face */
        color: #da70d6;
      }
      .org-button {
        /* button */
        text-decoration: underline;
      }
      .org-c-nonbreakable-space {
        /* c-nonbreakable-space-face */
        background-color: #ff0000;
        font-weight: bold;
      }
      .org-calendar-today {
        /* calendar-today */
        text-decoration: underline;
      }
      .org-comment {
        /* font-lock-comment-face */
        color: #b22222;
      }
      .org-comment-delimiter {
        /* font-lock-comment-delimiter-face */
        color: #b22222;
      }
      .org-constant {
        /* font-lock-constant-face */
        color: #5f9ea0;
      }
      .org-cursor {
        /* cursor */
        background-color: #000000;
      }
      .org-default {
        /* default */
        color: #000000;
        background-color: #ffffff;
      }
      .org-diary {
        /* diary */
        color: #ff0000;
      }
      .org-doc {
        /* font-lock-doc-face */
        color: #bc8f8f;
      }
      .org-escape-glyph {
        /* escape-glyph */
        color: #a52a2a;
      }
      .org-file-name-shadow {
        /* file-name-shadow */
        color: #7f7f7f;
      }
      .org-fixed-pitch {
      }
      .org-fringe {
        /* fringe */
        background-color: #f2f2f2;
      }
      .org-function-name {
        /* font-lock-function-name-face */
        color: #0000ff;
      }
      .org-header-line {
        /* header-line */
        color: #333333;
        background-color: #e5e5e5;
      }
      .org-help-argument-name {
        /* help-argument-name */
        font-style: italic;
      }
      .org-highlight {
        /* highlight */
        background-color: #b4eeb4;
      }
      .org-holiday {
        /* holiday */
        background-color: #ffc0cb;
      }
      .org-info-header-node {
        /* info-header-node */
        color: #a52a2a;
        font-weight: bold;
        font-style: italic;
      }
      .org-info-header-xref {
        /* info-header-xref */
        color: #0000ff;
        text-decoration: underline;
      }
      .org-info-menu-header {
        /* info-menu-header */
        font-weight: bold;
      }
      .org-info-menu-star {
        /* info-menu-star */
        color: #ff0000;
      }
      .org-info-node {
        /* info-node */
        color: #a52a2a;
        font-weight: bold;
        font-style: italic;
      }
      .org-info-title-1 {
        /* info-title-1 */
        font-size: 172%;
        font-weight: bold;
      }
      .org-info-title-2 {
        /* info-title-2 */
        font-size: 144%;
        font-weight: bold;
      }
      .org-info-title-3 {
        /* info-title-3 */
        font-size: 120%;
        font-weight: bold;
      }
      .org-info-title-4 {
        /* info-title-4 */
        font-weight: bold;
      }
      .org-info-xref {
        /* info-xref */
        color: #0000ff;
        text-decoration: underline;
      }
      .org-isearch {
        /* isearch */
        color: #b0e2ff;
        background-color: #cd00cd;
      }
      .org-italic {
        /* italic */
        font-style: italic;
      }
      .org-keyword {
        /* font-lock-keyword-face */
        color: #a020f0;
      }
      .org-lazy-highlight {
        /* lazy-highlight */
        background-color: #afeeee;
      }
      .org-link {
        /* link */
        color: #0000ff;
        text-decoration: underline;
      }
      .org-link-visited {
        /* link-visited */
        color: #8b008b;
        text-decoration: underline;
      }
      .org-match {
        /* match */
        background-color: #ffff00;
      }
      .org-menu {
      }
      .org-message-cited-text {
        /* message-cited-text */
        color: #ff0000;
      }
      .org-message-header-cc {
        /* message-header-cc */
        color: #191970;
      }
      .org-message-header-name {
        /* message-header-name */
        color: #6495ed;
      }
      .org-message-header-newsgroups {
        /* message-header-newsgroups */
        color: #00008b;
        font-weight: bold;
        font-style: italic;
      }
      .org-message-header-other {
        /* message-header-other */
        color: #4682b4;
      }
      .org-message-header-subject {
        /* message-header-subject */
        color: #000080;
        font-weight: bold;
      }
      .org-message-header-to {
        /* message-header-to */
        color: #191970;
        font-weight: bold;
      }
      .org-message-header-xheader {
        /* message-header-xheader */
        color: #0000ff;
      }
      .org-message-mml {
        /* message-mml */
        color: #228b22;
      }
      .org-message-separator {
        /* message-separator */
        color: #a52a2a;
      }
      .org-minibuffer-prompt {
        /* minibuffer-prompt */
        color: #0000cd;
      }
      .org-mm-uu-extract {
        /* mm-uu-extract */
        color: #006400;
        background-color: #ffffe0;
      }
      .org-mode-line {
        /* mode-line */
        color: #000000;
        background-color: #bfbfbf;
      }
      .org-mode-line-buffer-id {
        /* mode-line-buffer-id */
        font-weight: bold;
      }
      .org-mode-line-highlight {
      }
      .org-mode-line-inactive {
        /* mode-line-inactive */
        color: #333333;
        background-color: #e5e5e5;
      }
      .org-mouse {
        /* mouse */
        background-color: #000000;
      }
      .org-negation-char {
      }
      .org-next-error {
        /* next-error */
        background-color: #eedc82;
      }
      .org-nobreak-space {
        /* nobreak-space */
        color: #a52a2a;
        text-decoration: underline;
      }
      .org-org-agenda-date {
        /* org-agenda-date */
        color: #0000ff;
      }
      .org-org-agenda-date-weekend {
        /* org-agenda-date-weekend */
        color: #0000ff;
        font-weight: bold;
      }
      .org-org-agenda-restriction-lock {
        /* org-agenda-restriction-lock */
        background-color: #ffff00;
      }
      .org-org-agenda-structure {
        /* org-agenda-structure */
        color: #0000ff;
      }
      .org-org-archived {
        /* org-archived */
        color: #7f7f7f;
      }
      .org-org-code {
        /* org-code */
        color: #7f7f7f;
      }
      .org-org-column {
        /* org-column */
        background-color: #e5e5e5;
      }
      .org-org-column-title {
        /* org-column-title */
        background-color: #e5e5e5;
        font-weight: bold;
        text-decoration: underline;
      }
      .org-org-date {
        /* org-date */
        color: #a020f0;
        text-decoration: underline;
      }
      .org-org-done {
        /* org-done */
        color: #228b22;
        font-weight: bold;
      }
      .org-org-drawer {
        /* org-drawer */
        color: #0000ff;
      }
      .org-org-ellipsis {
        /* org-ellipsis */
        color: #b8860b;
        text-decoration: underline;
      }
      .org-org-formula {
        /* org-formula */
        color: #b22222;
      }
      .org-org-headline-done {
        /* org-headline-done */
        color: #bc8f8f;
      }
      .org-org-hide {
        /* org-hide */
        color: #e5e5e5;
      }
      .org-org-latex-and-export-specials {
        /* org-latex-and-export-specials */
        color: #8b4513;
      }
      .org-org-level-1 {
        /* org-level-1 */
        color: #0000ff;
      }
      .org-org-level-2 {
        /* org-level-2 */
        color: #b8860b;
      }
      .org-org-level-3 {
        /* org-level-3 */
        color: #a020f0;
      }
      .org-org-level-4 {
        /* org-level-4 */
        color: #b22222;
      }
      .org-org-level-5 {
        /* org-level-5 */
        color: #228b22;
      }
      .org-org-level-6 {
        /* org-level-6 */
        color: #5f9ea0;
      }
      .org-org-level-7 {
        /* org-level-7 */
        color: #da70d6;
      }
      .org-org-level-8 {
        /* org-level-8 */
        color: #bc8f8f;
      }
      .org-org-link {
        /* org-link */
        color: #a020f0;
        text-decoration: underline;
      }
      .org-org-property-value {
      }
      .org-org-scheduled-previously {
        /* org-scheduled-previously */
        color: #b22222;
      }
      .org-org-scheduled-today {
        /* org-scheduled-today */
        color: #006400;
      }
      .org-org-sexp-date {
        /* org-sexp-date */
        color: #a020f0;
      }
      .org-org-special-keyword {
        /* org-special-keyword */
        color: #bc8f8f;
      }
      .org-org-table {
        /* org-table */
        color: #0000ff;
      }
      .org-org-tag {
        /* org-tag */
        font-weight: bold;
      }
      .org-org-target {
        /* org-target */
        text-decoration: underline;
      }
      .org-org-time-grid {
        /* org-time-grid */
        color: #b8860b;
      }
      .org-org-todo {
        /* org-todo */
        color: #ff0000;
      }
      .org-org-upcoming-deadline {
        /* org-upcoming-deadline */
        color: #b22222;
      }
      .org-org-verbatim {
        /* org-verbatim */
        color: #7f7f7f;
        text-decoration: underline;
      }
      .org-org-warning {
        /* org-warning */
        color: #ff0000;
        font-weight: bold;
      }
      .org-outline-1 {
        /* outline-1 */
        color: #0000ff;
      }
      .org-outline-2 {
        /* outline-2 */
        color: #b8860b;
      }
      .org-outline-3 {
        /* outline-3 */
        color: #a020f0;
      }
      .org-outline-4 {
        /* outline-4 */
        color: #b22222;
      }
      .org-outline-5 {
        /* outline-5 */
        color: #228b22;
      }
      .org-outline-6 {
        /* outline-6 */
        color: #5f9ea0;
      }
      .org-outline-7 {
        /* outline-7 */
        color: #da70d6;
      }
      .org-outline-8 {
        /* outline-8 */
        color: #bc8f8f;
      }
      .org-preprocessor {
        /* font-lock-preprocessor-face */
        color: #da70d6;
      }
      .org-query-replace {
        /* query-replace */
        color: #b0e2ff;
        background-color: #cd00cd;
      }
      .org-regexp-grouping-backslash {
        /* font-lock-regexp-grouping-backslash */
        font-weight: bold;
      }
      .org-regexp-grouping-construct {
        /* font-lock-regexp-grouping-construct */
        font-weight: bold;
      }
      .org-region {
        /* region */
        background-color: #eedc82;
      }
      .org-rmail-highlight {
      }
      .org-scroll-bar {
        /* scroll-bar */
        background-color: #bfbfbf;
      }
      .org-secondary-selection {
        /* secondary-selection */
        background-color: #ffff00;
      }
      .org-shadow {
        /* shadow */
        color: #7f7f7f;
      }
      .org-show-paren-match {
        /* show-paren-match */
        background-color: #40e0d0;
      }
      .org-show-paren-mismatch {
        /* show-paren-mismatch */
        color: #ffffff;
        background-color: #a020f0;
      }
      .org-string {
        /* font-lock-string-face */
        color: #bc8f8f;
      }
      .org-texinfo-heading {
        /* texinfo-heading */
        color: #0000ff;
      }
      .org-tool-bar {
        /* tool-bar */
        color: #000000;
        background-color: #bfbfbf;
      }
      .org-tooltip {
        /* tooltip */
        color: #000000;
        background-color: #ffffe0;
      }
      .org-trailing-whitespace {
        /* trailing-whitespace */
        background-color: #ff0000;
      }
      .org-type {
        /* font-lock-type-face */
        color: #228b22;
      }
      .org-underline {
        /* underline */
        text-decoration: underline;
      }
      .org-variable-name {
        /* font-lock-variable-name-face */
        color: #b8860b;
      }
      .org-variable-pitch {
      }
      .org-vertical-border {
      }
      .org-warning {
        /* font-lock-warning-face */
        color: #ff0000;
        font-weight: bold;
      }