table.infos tr td { 
  padding-right: 10px;
  padding-left: 2px;
  padding-bottom: 3px;
  padding-top: 3px;
  vertical-align: top;
}

a.intern:link {
  color: green;
}

dl dt {
  font-style: italic;
}

em { 
  font-style: normal;
  font-weight: bold;
}

ul.wide li { 
  padding: .5em 0em;
 }


/* Links, die mit http: beginnnen, sind normalerweise externe Links,
   d.h. wir fuegen das externalLink.gif hinzu */
a[href^="http:"], a.extern { 
  background: url(images/externalLink.gif) no-repeat right top;
  padding-right: 10px;
}

/* Links, die mit http: anfangen, sind aber nicht alle extern, hier
   die Liste der Ausnahmen. */
a[href="http://www.uni-freiburg.de/"],
a[href="http://www.informatik.uni-freiburg.de/front-page-en?set_language=en"],
a[href="http://proglang.informatik.uni-freiburg.de"] {
  background-image: none;
  padding-right: 0;
}

a[href^="http://www.uni-freiburg.de"].extern,
a[href="http://www.informatik.uni-freiburg.de/front-page-en?set_language=en"].extern,
a[href^="http://proglang.informatik.uni-freiburg.de"].extern {
  background: url(images/externalLink.gif) no-repeat right top;
  padding-right: 10px;
}

/* Pdf Links und Ps Links mit Symbol versehen */
a[href$=".pdf"] {
  background: url(images/pdf.gif) no-repeat right;
  padding-right: 20px;
}
a[href$=".ps"] {
  background: url(images/ps.gif) no-repeat right;
  padding-right: 20px;
}

/* Falls img innerhalb des Links, das das Symbol schon
   einbindet, Symbol wieder entfernen, damit "Doppelsymbol"
   nicht vorkommt. */
a[href$=".pdf"]>img[src$=".gif"], a[href$=".ps"]>img[src$=".gif"] { 
  display: none;
 }

a.noimg { 
  background: none;
  padding-right: 0;
}