/* General apperance */

body {
  background-image: none;
  background: #FFFFFF;
  color: #000000;
  margin-left: 1em;
  margin-right: 1em;
}
a:link {
  color: #0000ee;
  background-color: transparent;
  background-image: none;
}
a:visited {
  color: #551188;
  background-color: transparent;
  background-image: none;
}
a:active {
  color: #ff0000;
  background-color: transparent;
  background-image: none;
}

h1,h2,h3,h4,h5,h6 { font-family: sans-serif; }
h1 {
  font-weight: bold;
  font-size: x-large;
}
h2 {
  font-size: large;
  font-weight: bold;
}
h3 {
  font-size: large;
  font-weight: normal;
  font-style: italic;
  margin-bottom: 0;
  padding-bottom: 0;
  margin-top: 0;
  padding-top: 0;
}

a.subtle img {
  border-width: 0; 
}

h1 abbr[title], h1 acronym[title] {
  border-bottom-width: 0;
}
h2 abbr[title], h2 acronym[title] {
  border-bottom-width: 0;
}
h3 abbr[title], h3 acronym[title] {
  border-bottom-width: 0;
}
abbr[title].obvious, acronym[title].obvious {
  border-bottom-width: 0;
  font-style: inherit;
}
h3 abbr[title].obvious, h3 acronym[title].obvious {
  font-style: inherit;
}
@media print {
  abbr[title], acronym[title] {
    border-bottom-width: 0;
    font-style: inherit;
  }
}

hr.footsep {
  clear: both;
  display: none;
}
p.footlink {
  border-top: thin solid black;
  margin: 0;
  padding: 0;
  padding-top: .5em;
  font-size: smaller;
  text-align: right;
}
p.footcopy {
  font-size: smaller;
  margin: 0;
  padding: 0;
  padding-top: .5em;
  text-align: right;
}

dd p:first-child {
  margin-top: 0;
  padding-top: 0;
}
ol ol {
  list-style-type: lower-alpha;
}

/* code types */

code {
  font-family: "Courier", monospace;
}
@media print {
  code {
    font-family: sans-serif;
  }
}
.unix {
  color: #050;
  background-color: transparent;
}
.html {
  color: #700;
  background-color: transparent;
}
.xml {
  color: #007;
  background-color: transparent;
}
.file {
  color: #990000;
  background-color: transparent;
}
.c {
  color: #000077;
  background-color: transparent;
}
.out {
  color: #770077;
  background-color: transparent;
}
.in {
  color: #007777;
  background-color: transparent;
}
.data {
  color: #777700;
  background-color: transparent;
}
.config {
  color: #550077;
  background-color: transparent;
}
.python {
  color: #000077;
  background-color: transparent;
}
.sql {
  color: #007;
  background-color: transparent;
}
.ruby {
  color: #a50;
  background-color: transparent;
}
.java {
  color: #a50;
  background-color: transparent;
}
.mathvar {
  font-style: italic;
}
.power {
  vertical-align: super;
}

.aside { /* side notes in code */ 
  font-size: small;
  color: #000000;
  background-color: transparent;
}
var, .var { /* stuff that should be filled in */
  font-style: italic;
  background-color: #EEEEEE;
  color: inherit;
}

/* VHDL special cases */
.vhdl {
  color: #000070;
  background-color: transparent;
 }
a:link code.vhdl {
  color: #0000ee;
  background-color: transparent;
}
a:visited code.vhdl {
  color: #551188;
  background-color: transparent;
}
a:active code.vhdl {
  color: #ff0000;
  background-color: transparent;
}
code.vhdl a:link {
  color: #0000ee;
  background-color: transparent;
}
code.vhdl a:visited {
  color: #551188;
  background-color: transparent;
}
code.vhdl a:active {
  color: #ff0000;
  background-color: transparent;
}
h1 code.vhdl {
  color: #000000;
  background-color: transparent;
}
h2 code.vhdl {
  color: #000000;
  background-color: transparent;
}



/* new classes to suit my whims */
div.figure {
  text-align: center;
}

div.blockcode, div.displaymath {
  display: block;
  margin: 1em 2.5em;
}

ol.subpoints {
  list-style-type: lower-alpha;
}
ol.parts {
  list-style-type: upper-roman;
}
ol.subparts {
  list-style-type: lower-alpha;
}

img.rightfloat {
  float: right;
}
img.leftfloat {
  float: left;
}

strong.num {
  color: #AA00AA;
  background-color: transparent;
}

span.status {
  font-weight: bold;
}

span.sidelink {
  font-size: small;
}

td.common {
  font-size: small;
}

p.lognote {
  font-size: small;
}
p.common {
  margin-left: 3em;
  text-align: right;
}
p.warn {
  color: #C00;
  background-color: transparent;
}

span.goal {
  color: #090;
  background-color: transparent;
}
span.goal a {
  /* text-decoration: none; */
  color: #090;  
  background-color: transparent;
}

table.io, table.io th, table.io td {
  border: thin solid black;
}
table.io th, table.io td {
  padding-left: 1em;
  padding-right: 1em;
}
span.fractop {
  border-bottom: black solid thin;
}

table.bordered {
  border: solid 1px;
  border-color: #bbb #000 #000 #bbb;
}
table.bordered td, table.bordered th {
  border: solid 1px;
  border-color: #000 #bbb #bbb #000;
  padding: 1px 3px;
}

table.figure, table.figure caption {
  margin-left: auto;
  margin-right: auto;
}
table.figure th, table.figure td {
  padding-left: 0.5em;
  padding-right: 0.5em;
}
div.samplerun {
  font-family: monospace;
  margin: .5em 2.5em;
  padding: .5ex;
  border: 1px dotted #777;
}
kbd, dt {
  font-weight: bold;
}
fieldset legend { /* like h3 */
  font-family: sans-serif;
  font-size: large !important;
  font-weight: normal !important;
  font-style: italic;
  padding: 0 0.5em;
  margin-bottom: 0;
  margin-top: 0;
}
img.screenshot {
  border: thin #000 dashed;
  padding: 4px;
}

p.warning {
  font-style: italic;
}

/* schedule table */
table#sched {
  text-align: center;
  margin-left: auto;
  margin-right: auto;
}
table#sched caption {
  margin-left: auto;
  margin-right: auto;
}
table#sched td, table#sched th {
  /*padding: 0.1em 0.5em;*/
}
table#sched th {
  background-color: #eee;
}

/* LaTeX logo formatting from http://nitens.org/taraborelli/texlogo  (itself derived from http://edward.oconnor.cx/2007/08/tex-poshlet ) */
.latex {
  /*font-family: Times, "Times New Roman", serif;*/
  letter-spacing: 1px;
}
.latex sup {
  text-transform: uppercase;
  letter-spacing: 1px;
  font-size: 0.85em;
  vertical-align: 0.15em;
  margin-left: -0.36em;
  margin-right: -0.15em;
}
.latex sub {
  text-transform: uppercase;
  vertical-align: -0.5ex;
  margin-left: -0.1667em;
  margin-right: -0.125em;
  font-size: 1em;
}