/* astr415 style sheet */

/* for overall style */

body {font-family: sans-serif;}
h1,h2,h3 {background-color: #000099 /* Rouge (approx) */; color: White;}
h1 {padding: 10px;}
h2 {padding: 5px;}
h3 {padding: 2px;}
a:link {color: maroon;}
a:visited {color: maroon;}
a:hover {color: red;} /* order is important! hover after link, visited */
a:active {color: rgb(255,0,255); /* Magenta */} /* active after hover */
p {text-align: justify;}

/* to remove the annoying dotted border in Firefox */

a:focus {outline-style: none;}

/* for ASTR415 link in header */

a.homelink
{
  text-decoration:none;
  color:white;
}

/* for nice shortcut bar near the top */

ul.links
{
  float: left;
  width: 100%;
  padding: 0;
  margin: 0;
  list-style-type: none;
}
a.links
{
  float: left;
  width: 6em;
  text-decoration: none;
  color: white;
  font-weight: bold;
  text-align: center;
  background-color: purple;
  padding: 0.2em 0.6em;
  border-right: 1px solid white;
}
a.links:hover {background-color:#ff3300;}
li.links {display:inline;}

/* for page formatting with header, footer, and left section */

div.container
{
  width:100%;
  margin:0px;
  border:1px solid gray;
  line-height:150%;
}
div.header,div.footer
{
  padding:0.5em;
  color:white;
  background-color:gray;
  clear:left;
}
h1.header /* why?? */
{
/*  padding:0;*/
  margin:0;
}
div.left
{
  text-align:center;
  float:left;
  width:150px;
  margin:0;
  padding:1em;
}
div.content
{
  margin-left:175px;
  border-left:1px solid gray;
  padding:1em;
}

/* for "standout" sections */

div.standout
{
  background-color: #F0E68C; /* (Khaki) */
}

table.standout
{
  background-color: #F0E68C; /* (Khaki: 240,230,140) */
}

/* table element styles */

td {
   padding-right: 10px;
}
td.date {
   padding-right: 0px;
}
th {
  padding-right: 10px;
  text-align: right;
}
th.top {
  text-align: left;
}
th.part {
  text-align: left;
  text-decoration: underline;
  font-variant: small-caps;
}
th.chaptop {
  padding-right: 0px;
  text-align:center;
  border-bottom-style:solid;
  border-width:thin;
}
td.chap {
  padding-right: 0px;
  text-align:center;
}
tr.odd {
  background-color: rgb(228,218,133); /* (faded Khaki) */
}

/* miscellaneous */

p.duedate {
  font-weight: bold;
}
span.ital {
  font-style: oblique;
}
span.emph {
  font-weight: bold;
}
span.code {
  font-family: courier;
  font-size: 80%;
}