/*
This file is part of decoding
Copyright (C) 2013  Guillaume Quintin
This program is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 2 of the License, or
(at your option) any later version.

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

You should have received a copy of the GNU General Public License along
with this program; if not, write to the Free Software Foundation, Inc.,
51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
*/

/* previous colors: #92B901,#0099CC,#66CC99 */

body {
  font-family: verdana, helvetica, arial, sans-serif;
  margin: 0;
  padding: 0;
  max-width: 800px;
  margin-left: auto;
  margin-right: auto;
  color: #000000;
  background-color: #FFFFFF;
}

h1 {
  font-family: verdana, helvetica, arial, sans-serif;
  font-size: 200%;
  font-weight: bolder;
  text-align: center;
  /* color: #006633; */
  color: #5566EE;
  margin: 0;
  /* line-height: 100%; */
  padding: 0.5in 0in 0.5in 0in;
}

h1 code {
  font-family: courier, arial, monospace;
  font-weight: bolder;
  color: #5566EE;
}

h2 {
  font-family: verdana, helvetica, arial, sans-serif;
  font-size: 130%;
  font-weight: bolder;
  /* color: #FFFFFF; */
  /* background-color: #006633; */
  color: #000000;
  background-color: #99CCFF;
  margin: 0;
  padding: 0in 0in 0in 0.2in;
}

h2 code {
  font-family: courier, arial, monospace;
  font-weight: bolder;
}

h3 {
  font-family: verdana, helvetica, arial, sans-serif;
  font-size: 130%;
  font-weight: bolder;
  padding: 0in 0in 0in 0in; 
  /* color: #000000; */
  color: #5566EE;
  margin: 0;
  padding: 0;
}

code {
  font-family: courier, arial, monospace;
  font-size: 100%;
  font-weight: normal;
  color: #000000;
}

pre code {
  font-family: courier, arial, monospace;
  font-size: 120%;
  font-weight: normal;
  color: #000000;
  white-space: pre-wrap;
}

h3 code {
  font-family: courier, arial, monospace;
  font-weight: bolder;
}

li p dl {
  margin: 0in 0in 0in 0in;
  padding: 0in 0in 0in 0in;
}

dl dt {
  margin: 0in 0in 0in 0in;
  padding: 0in 0in 0in 0in;
}

dl dd {
  margin: 0in 0in 0in 0.2in;
  padding: 0in 0in 0in 0in;
}

dd p {
  margin: 0in 0in 0.2in 0in;
  padding: 0in 0in 0in 0in;
}

pre {
  margin: 0.1in 0.2in 0.1in 0.2in;
  padding: 0in 0.1in 0in 0.1in;
  border: 1px solid #c3c3c3;
  background: #e5eecc;
}

a {
  color: #5566EE;
  background-color: transparent;
  text-decoration: none;
}

a:hover {
  text-decoration: underline;
}
        
.warning {
  padding: 0.1in 0.1in 0.1in 0.1in;
  border: 1px solid #FF0000;
  background: #FFFFE0;
}

.myfootnote {
  margin: 0in 0in 0in 0in;
  padding: 0.2in 0in 0in 0in;
  font-size: 75%;
}

.title {
  margin: 0;
  padding: 0;
}

.author {
  margin: 0;
  padding: 0;
  font-family: verdana, helvetica, arial, sans-serif;
  font-weight: normal;
  font-size: 50%;
  color: #000000;
}

/* navigation bar */

.nav_top {
  margin: 0;
  padding: 0in 0in 0.5in 0in;
}

.nav_bot {
  margin: 0;
  padding: 0.5in 0in 0in 0in;
}

.nav {
  text-align: center;
  font-weight: bold;
  word-spacing: 1em;
  font-size: 80%;
  margin: 0;
  padding: 0;
}

.nav a:link {
  color: #C0C0C0;
  text-decoration: none;
}

.nav a:visited {
  color: #C0C0C0;
  text-decoration: none;
}

.nav a:hover {
  color: #000000;
  text-decoration: none;
}

.nav a:active {
  color: #000000;
  text-decoration: none;
}

/* contents */

.contents {
  margin: 0;
  padding: 0.5in 0.5in 0.5in 0.5in;
  font-weight: bolder;
}

.contents li {
  list-style-type: none;
  margin: 0in 0in 0in 0in;
  padding: 0.1in 0.1in 0.1in 0.1in;
}

.contents li a:link {
  color: #5566EE;
  background-color: transparent;
  text-decoration: none;
}

.contents li a:visited {
  color: #5566EE;
  background-color: transparent;
  text-decoration: none;
}

.contents li a:hover {
  color: #000000;
  background-color: #99CCFF;
  text-decoration: none;
}

.contents li a:active {
  color: #000000;
  background-color: #99CCFF;
  text-decoration: none;
}