*
 *  mystyle.css - simple CSS2 style sheet for my home pages.
 *
 *  Author: Leo Breebaart, Last updated: 5 Feb 2000
 *
 */

:link {color: #660000; background:transparent}
:visited {color: #666666; background:transparent}

body
{
  background:url("/thesis/images/graypaper.png");
  color:black;
  padding-left: 5%;
  padding-right: 5%;
  padding-top: 2%;
  padding-bottom: 2%;
  max-width: 45em;
  margin-left: auto;
  margin-right: auto;
  font-family: serif;
}

p
{
  line-height: 1.3em;
}

pre
{
  background: #f4f4f4;
  font-family: monospace;
  font-weight: bold;
  color: #006600;
  padding-left: 5%;
  padding-right: 5%;
  white-space: pre;
  border: solid 1px black;
}

acronym, abbr {
  border-bottom: 1px dotted #222;
  font-style: normal;
  cursor: help;
}


.texcode
{
  font-family: monospace;
  font-weight: bold;
  color: #006600; background:#f4f4f4;
  padding-left: 3px;
  padding-right: 3px;
}

.texsample
{
  border: solid 1px black;
}

.filename
{
	font-style: italic;
  	color: #000088; background:transparent;
}

.cmdline
{
	font-family: monospace;
  	color: #000088; background:transparent;
}

.trailhead {
         font-size: 80%;
         font-weight: bold;
         font-family: sans-serif;
       }

.trailtail {
         font-size: 80%;
         font-family: sans-serif;
       }

.nav {
        color: #f4f4f4;
        background: inherit;
        border:0;
}

.toolbar {text-align: center}

.question { padding-bottom: 2ex }

.proposition { 
	padding-bottom: 2ex;  
	max-width: 35em;
	margin-left: auto;
	margin-right: auto;
 }

.mainlist { margin-bottom: 4ex}

.topnav-text {
	float: left;
}

.topnav-but {
	float: right;
}

hr { clear: both; }

h1 { text-align: center; color: #880000; background:transparent; }
h2 { text-align: center; color: #006600;  background:transparent; }
h3 { color: #000088;  background:transparent; font-family:sans-serif; font-weight:bold; }
h4 { font-family:sans-serif; font-style:italic; font-weight:normal; margin-bottom:-.5em; }

.smaller  {font-size: 90%;}
.muchsmaller  {font-size: 70%;}
.center {text-align: center}
.blue   {color: #000088; background:transparent}
.red    {color: #880000; background:transparent}
.green    {color: #006600; background:transparent}
.centerblue {text-align: center; color: #000088; background:transparent}
.top-ad {text-align: center; margin-left: -3em; margin-bottom: 2em; background:transparent}
.bottom-ad {text-align: center; margin-left: -3em; margin-top: 2em; background:transparent}


/* Taken from the AUCTeX site style sheet at 
<http://www.gnu.org/software/auctex/screen-adv-browsers.css> */

span.TeX {
    letter-spacing: -0.125em;
    padding-right: 0.125em;
}

span.TeX span.TeX-e {
    position: relative;
    top: 0.5ex;
    left: -0.0417em;
    text-transform: uppercase;
    text-decoration: none;
}

span.LaTeX {
    letter-spacing: -0.255em;
}

span.LaTeX span.LaTeX-a {
    position:relative;
    top:-0.5ex;
    left:-0.105em;
    font-size:85%;
    text-transform: uppercase;
    text-decoration: none;
}

/* Extra nowrap span needed for not letting the TeX and LaTeX signs
   being wrapped across lines.  Unfortunately IE squishes the letters
   if `nowrap' is used inside the spans for TeX or LaTeX. */

span.nowrap {
    white-space: nowrap;
}

.note { font: italic smaller sans-serif; }

ul.versions> li
{
  margin-bottom: 1em;
  list-style-type: none;
}

span.version-entry
{
  font-family: sans-serif;
  font-weight: bold;
  font-size: smaller;
  color: #000088;
}

ul.download
{
  list-style-type: none;
  margin-left: 1em;
  margin-right: 5em;
  padding: 0;
}

li.archive
{
  margin-bottom:1em;
  background-repeat: no-repeat;
  background-position: 0 .1em;
  padding-left: 24px;
  padding-bottom: 1px; /* Bottom row of pixels disappears otherwise in FF 1.5 */

  background-image: url(images/archive.png);
}

li.pdf
{
  margin-bottom:1em;
  background-repeat: no-repeat;
  background-position: 0 .1em;
  padding-left: 24px;
  padding-bottom: 1px; /* Bottom row of pixels disappears otherwise in FF 1.5 */

  background-image: url(images/pdf.png);
}