/*
 * stylesheet.css: a stylesheet for my HTML files (default))
 * Raju Varghese 2004-06-05
 */

body {
  background:white;
  margin: 4% 6% 0% 4%;
  color: navy;
}

p,ol,ul,li {
  font-family:Verdana, Helvetica, Arial, sans-serif;
  font-size:small;
}

code {
  font-family: monospace;
  font-size:small;
}

h1 {
  margin-left: 0%;
  color: DarkBlue;
}

h2 {
  margin-left: 0%;
  color: DarkBlue;
}

h3 {
  margin-left: 2%;
  color: DarkBlue;
}

img {
  border: 4px solid navy;
}

.session {
  background: ivory;
  padding: 1em;
  border: none;
  color: black;
}

.file {
  background: aliceblue;
  padding: 1em;
  border: none;
  color: black;
}

.note {
  background: yellow;
}

.input {
  background: #FFBFBF;
  border: 1px solid Navy;
}

.tiny {
  font-size:50%;
}

.small {
  font-size:70%;
  color: darkgray;
}

/* tables */

table {
  text-align: center;
  font-family:Verdana, Helvetica, Arial, sans-serif;
  font-weight: normal;
  font-size: 11px;
  color: navy;
  background-color: white;
  border: 1px DarkGray solid;
  border-collapse: collapse;
  border-spacing: 0px;
}

td {
  border: 1px solid White;
  text-align: left;
  background-color: lightgray;
  padding: 5px;
  margin: 5px;
}

th {
  background-color: #e5ecf9;
  text-align: left;
  text-indent: 5px;
}

td.number {
  text-align: right;
}