/* Drucker brauchen ganz andere CSS angaben als Bildschirme. Aus diesem Grund
   haben wir für diese auch eine eigene CSS Datei. */

body {
 background: white;
 color: black;
 font-family: georgia, "Times New Roman", Times serif; /* Drucker sollten alles mir einer Schriftart mit Serifen drucken, da diese auf dem Papier wesentlich leichter zu lesen ist. Schriftarten mit Serifen sind zum Beispiel Georgia, Times New Roman. Am ende sollte immer die Schriftfamilie hier mit Serifen: "serif" stehen. */
}
#logo {
 text-align: right;
 line-height: 0.8em;
 font-size: 3em;
 font-family: verdana, arial, sans-serif;
 letter-spacing: -3px;
}
#logo a {
 text-decoration: none;
}
.skip, #subnav, #menu {
 display: none;
}
#main a:link:after, #main a:visited:after {
   content: " (" attr(href) ") ";
   font-size: 0.9em; }
#main a[href^="/"]:after {
 content: " (http://example.org" attr(href) ") ";
}
.fright {
 float: right;
 margin: 0 0 1em 1em;
}
.fleft {
 float: left;
 margin: 0 1em 1em 0;
}