/* Emacs: This is a cascading style sheet (CSS2).  Use -*- text -*- mode.
*/

/* This is the stylesheet for the ``Automata, formal languages, and
   computational complexity'' course, CSC 341, for spring semester, 2010.
*/

/* John David Stone
   Department of Computer Science
   Grinnell College
   stone@cs.grinnell.edu
*/

/* created January 7, 2004
   last revised May 2, 2011
*/

/* Use a white background for the document and leave a margin around it.
*/

body {
  background: white;
  color: black;
  margin: 6%;
}

/* Underline a link only when the mouse pointer is atop it. */

a {
  text-decoration: none;
}

a:hover {
  text-decoration: underline;
}

/* Center the header and footer and adjust sizes and weights. */

div#doctop {
  text-align: center;
  font-size: larger;
  font-weight: bold;
}

div#docbottom {
  text-align: center;
  font-size: smaller;
  padding-top: 0.5em;
}

/* Enclose exercises in boxes. */

div.exercise {
  padding: 0em 1em 1em 1em;
  border: solid black thin;
}

/* Adjust sizes and weights for the header and footer lines. */

span.title-line {
  font-size: larger;
}

span.subtitle-line {
}

span.date-line {
}

span.author-line {
}

span.license-line {
  font-size: smaller;
  color: gray;
}

/* Center internal headers. */

h2 {
  text-align: center;
}

h3 {
  text-align: center;
}

/* Also center some displays. */

p.centered {
  text-align: center;
}

table.fa {
  width: 80%;
}

td.fa {
  text-align: center;
  border: thin solid;
}

table.window {
  border-collapse: separate;
  border-spacing: 0mm;
}

td.window {
  border: thin solid;
}

/* Make subscripts and superscripts smaller. */

sub {
  font-size: 60%;
}

sub.normal-size {
  font-size: 100%;
}

sup {
  font-size: 60%;
}

/* Use a monospace font for file names. */

span.filename {
  font-family: monospace;
}

/* Slant questions in a question-and-answer "definition list."
   Leave a space after each answer.
*/

dt.question {
  font-style: oblique;
}

dd.answer {
  padding-bottom: 0.5ex;
}

p.acknowledgement {
  font-size: smaller;
  color: gray;
}

/* The XHTML and CSS validation logos and the Creative Commons logo have
   a common width and height.  Display them without borders.
*/

img.taglogo {
  border: 0;
  width: 88px;
  height: 31px;
}

/* Allow sublists of ordered lists to be labelled with lower-case letters
   rather than numbers.
*/

ol.sublist {
  list-style-type: lower-alpha;
}

@media screen {

  /* Suppress the URL when displaying on screen. */

  div.locator {
    display: none;
  }

}

@media print {

  div.locator {
  }

}