div.navigation { display: none; }
div.trailer a.vbutton { display: none; }

div.main { margin: 0; padding: 0; border: none 0; }

body { font: 10pt/12pt Gentium, Times, Utopia, serif; margin: 5% 10%; 
  background: white; color: black;
}
h1, h2, h3, h4, h5, h6 { font-family: helvetica, sans-serif; }
h2 { font-size: 1.4em! important; margin: 0.8em 0 0 0! important;
  color: black !important;
}

.trailer { display: none; }

/* body, div { border: dashed thin red; } */

/* div.main { -moz-column-width: 20em; } */

.trailer { margin-top: 2em; border-top: solid thin black; }
.topmatter { display: none; }

a:link, a:visited {
	color: #520;
	background: transparent;
	/* font-weight: bold; */
	text-decoration: none;
	}
.main a:link:after, .main a:visited:after {
   content: " ("attr(href)")";
   font-size: 80%; font-weight: normal;
   font-family: "Helvetica Narrow", Helvetica, sans-serif;
   }
.main a.sitelocal:link:after, .main a.sitelocal:visited:after {
   content: " (http://www.stacken.kth.se"attr(href)")";
  }
.main a.dirlocal:link:after, .main a.dirlocal:visited:after {
   /* TODO: Try to do something usefull with dirlocal links? */
   content: "";
  }

.main .gallery a:link:after, .main .gallery a:visited:after,
.main a.noprintlink:link:after, .main a.noprintlink:visited:after
 { display: none; margin: 0; padding: 0; content: "."; }
.main .gallery a:link, .main .gallery a:visited,
.main a.noprintlink:link, .main a.noprintlink:visited
 { color: black; background: transparent; font-weight: normal;
   text-decoration: none;
 }

abbr:after {content: " ("attr(title)")"; font-size: 80%; 
  font-weight: normal; font-style: italic; }
abbr { text-decoration: none; border-bottom: none 0; }


input { border: solid black; border-width: 0 0 0.2pt 0;
  display: inline; /* background: #ffaaaa; */
}
input[type='checkbox'] { border: solid 0.2pt black; width: 1em; height: 1em;
  display: inline; background: #ffcccc;
}
input[type='submit'], input[type='reset'] { display: none; }
/* TODO: textarea */