/* based on http://orgmode.org/org.css, changes are marked with !sv */
/* $Id: org.css,v 0:e52cabd1f988 2012/05/29 21:55:57 stanton $ */

/*---- <style> ----*/
/*---- CROSS BROWSER DROPDOWN MENU ----*/
/* ul#nav {margin: 0 0 10px 250px;} */
ul#nav {text-align:right; margin-bottom:-40px;}
/* ul#nav {text-align:right; margin: 0px 0px 10px 0px;} */
ul.drop a { display:block; color: #fff; font-family: Verdana; font-size: 15px;  font-weight: bold; text-decoration: none;}
ul.drop, ul.drop li, ul.drop ul { list-style: none; margin: 0; padding: 0; border: 1px solid #fff; background: #444; color: #fff;}
ul.drop { position: relative; z-index: 597; float: left; }
/* ul.drop li { float: left; line-height: 1.3em; vertical-align: middle; zoom: 1; padding: 5px 10px; } */
ul.drop li { float: left; line-height: 1.3em; vertical-align: middle; padding: 5px 10px; }
ul.drop li.hover, ul.drop li:hover { position: relative; z-index: 599; cursor: default; background: #cd950c; }
ul.drop ul { visibility: hidden; position: absolute; top: 100%; left: 0; z-index: 598; width: 185px; background: #555; border: 1px solid #fff; }
ul.drop ul li { float: none; }
ul.drop ul ul { top: -2px; left: 100%; }
ul.drop li:hover > ul { visibility: visible }
/*---- </style> ----*/

@media all
{

  body {
    margin: 20px 15% 70% 15%; /* Last was 210px */
    font-family: Lucida Grande, Verdana, Helvetica, sans-serif; /* !sv */
    font-size: 11pt; /* Was 12pt */
    text-align: justify;
    line-height:1.3em; /* !sv 1.2em -> 1.3em*/
  }

  .figure { margin-top:-1em; margin-bottom:-1em; }  /* !sv */
  li { margin-top:+0.5em; margin-bottom:+0.5em; }   /* !sv */
  dd { margin-bottom:+0.5em; }   /* !sv */  
  p {  margin-top:+0.7em; margin-bottom:+0.7em; }   /* !sv */

/*  h1 {font-size: 12pt;} */ /* This is set below */

    .author {
        font-size: 75%; 
        line-height: 0.7em;
    }   
    .date {
        font-size: 75%; 
        line-height: 0.7em;
    }   
    .creator {
        font-size: 75%; 
        line-height: 0.7em;
    }   

#menu {
    font-size: 16pt;
    text-align: left;
    text-justify: inter-word;
/*    border-style:solid; */
/*    border-width:1; */
/*    border-color:#000000; */
/*    padding-left:20px; */
    }

#tagline {
    margin-top: +2em; /* New line */
    margin-bottom: -0.5em; /* New line */
    font-family: Lucida Grande,Helvetica,Arial,sans-serif;
    font-size: 12pt; /* was 16pt */
    font-weight: bold; /* New line */
/*  text-decoration: underline; Not used, might be confused with a link */
    text-align: justify; /* was center */
/*  text-justify: inter-word; */
    color:#660033;
    }

#haas-frame {  
    font-size: 85%;
    position: fixed;
    display: block;
    width: 200px;
/*    height: 125px; */
    left: 5px; /* !sv */ /* was 10px */
    top: 5px; /* !sv */
    min-height: 50%; /* Was 60px */
    max-height: 100%; /* Was 85% */
    line-height: 1.4em;
    overflow: auto;
    text-align: left;
}

#blue-frame {
    font-size: 85%;
    position: fixed;
    display: block;
    width: 200px; /* !sv */
/*    height: 125px; */
    right: 5px; /* !sv */
    bottom: 10px; /* !sv */
/*    min-height: 60px; */
    max-height: 85%; /* !sv */
    line-height: 1.4em;
    overflow: auto;
    text-align: right;
}

/*
#table-of-contents {
    font-size: 85%;
    position: fixed;
    display: block;
    left: 4px; 
    top: 160px;
    width: 200px;
    min-height:60px;
    max-height:85%;
    line-height: 1.4em;
    overflow:auto;
}

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

  #table-of-contents ul {
    list-style: none;
    margin: 7px 0px 7px 15px ;
    padding: 0px;
  }
*/

  /*
 * {font-family:Lucida Grande,Helvetica,Arial,sans-serif; }
ORG-LIST-END-MARKER
 tt {font-family:Courier New;monospace;}
 pre {font-family:Courier New;monospace;}
 table tr.odd {background: #f0f0f0;color: black;}
 table tr.even {background: #e4e4e4;color: black;}
 tr.thead {font-family:Lucida Grande,Helvetica,Arial,sans-serif;
   background: #d5eedd;color: black;}
 */


   /* TOC inspired by http://jashkenas.github.com/coffee-script */
    #table-of-contents {
	font-size: 12pt;
	position: fixed;
	right: 0em;
	top: 0em;
	background: white;
	line-height: 12pt;
	text-align: right;
	box-shadow: 0 0 1em #777777;
	-webkit-box-shadow: 0 0 1em #777777;
	-moz-box-shadow: 0 0 1em #777777;
	-webkit-border-bottom-left-radius: 5px;
	-moz-border-radius-bottomleft: 5px;
	/* ensure doesn't flow off the screen when expanded */
	max-height: 80%;
	overflow: auto; }
    #table-of-contents h2 {
	font-size: 13pt;
	max-width: 9em;
	border: 0;
	font-weight: normal;
	padding-left: 0.5em;
	padding-right: 0.5em;
	padding-top: 0.05em;
	padding-bottom: 0.05em; }
    #table-of-contents #text-table-of-contents {
	display: none;
	text-align: left; }
    #table-of-contents:hover #text-table-of-contents {
	display: block;
	padding: 0.5em;
	margin-top: -1.5em; }

    #license {
      /* padding: .3em; */
      /* border: 1px solid gray; */
      background-color: #eeeeee;
    }

#art_title {
    font-size: 20pt;
    }

  code {
      font-family:"Courier New", Monospace;
  }

  table {
      border-collapse: separate;
      border: 0;
      border-spacing: 3px;
      margin: 3px;
      font-size: 90%;
  }


  tr.tr-odd {
      background-color: #e4e4e4;
      margin-left: 5px;
  }

  tr.tr-even {
      background-color:  #f0f0f0;
  }

  th {
      font-family:Lucida Grande,Helvetica,Arial,sans-serif;
      font-size: 90%;
      background: #d5eedd;
      color: black;
  }

  .title {
    padding-bottom: 7px;
    margin-bottom: 20px;
    border-bottom: 1px solid #222;
  }

  sup {
        font-size: 10pt;
        line-height:9pt; /* !sv */
    }

 h1 {
/*  font-size: 11pt;  color:#B8B8B8; */
    font-size: 15pt;  color:#a34d32; /* Keep this size */
    padding-bottom: 1px;
    margin-top: 5px;
    margin-bottom: 2px;
    border-bottom: 1px solid #DDD;
  }

  h2 {
    font-size: 14pt;  color: #a34d32; /* Keep this size */
    padding-bottom: 4px;
    margin-top: 25px;
    margin-bottom: 15px;
    border-bottom: 1px solid #DDD;
  }

  h3 {font-size: 13pt; color: #a34d32;} /* Was 12pt */

  h4 {
      font-size: 10.5pt;
      margin-top: 20px;
      margin-bottom: 0px;     
      color: #a34d32;
  }

  .figure {font-size: 13pt;} /* Was 11pt  Now same size as body text*/

/*a {text-decoration: none; color: #537d7b}*/
/*    a {text-decoration: none; font-weight:400;} */
/*    a:hover {text-decoration:underline; font-weight:800; color:#a34d32} */

  /* a:visited {text-decoration: none; color: #98855b} */
/*    a:visited{text-decoration:none; color: #98855b} */
/*  a:hover {text-decoration: underline; color: #a34d32} */


  a {
      text-decoration: underline;
      /*  color: #4a708b; } */
      color:#000066;
  }

  a:hover {
      text-decoration: none;
      font-weight:800; color:#a34d32
  }


  .todo {color: #990000;}
  .done {color: #006666;}
  .timestamp-kwd {color: #444;}
  /*  .tag {color: #DDD; font-size: 70%; font-weight: 500;} */
  /* Tags are no good; they spill over into ToC! */


  code {font-size: 11pt;line-height:11pt} /* !sv 10pt -> 11pt, added line-height */

  pre {
    border: 1px solid #555;
    background: #EEEEEE;
    font-size: 11pt; /* !sv 9pt -> 10pt */ /* Was 10pt */
    padding: 1em;
  }

  img {
    border: none;
  }

/*  img.centered { */
/*    text-align: middle; */
/*  } */

img.center {
    display: block;
    margin-left: auto;
    margin-right: auto;
}


  .org-info-search-highlight
  {
    background-color:#adefef; /* same color as emacs default */
    color:#000000;
    font-weight:bold;
  }

  .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;
  }

}  /* END OF @media screen */


/* These style are only for IE: */

* html {
  overflow-y: hidden;
  padding-bottom:0px;
  margin:0px;
}
* html body
{
  height: 100%;
  overflow-y: auto;
  font-size: 100%;
  margin: 0px 0px 0px 250px;
  padding: 0px 10% 0px 0px;
}
* html #table-of-contents
{
  position: absolute;
  width:200px;
  /*
    The evil IE-JavaScript hack :-) depends on Picture and y-distance.
    Added to support small screens (Netbooks...).
    */
/*  height: expression((document.body.clientHeight - 210) + "px"); */
}

* html h1
{
  margin-top:10px;
}

/* Have not tried this - may be no good */
/* .MathJax_Display {
color: #080;
margin: 0;
} */