@font-face {
  font-family: "DINWebPro";
  src: url("/style/fonts/DINWebPro.eot?#iefix");
  src:
    url("/style/fonts/DINWebPro.eot?#iefix") format("eot"),
    url("/style/fonts/DINWebPro.woff") format("woff");
  font-weight: 400;
  font-style: normal;
}

@font-face {
  font-family: "DINWebPro";
  src: url("/style/fonts/DINWebPro-Bold.eot?#iefix");
  src:
    url("/style/fonts/DINWebPro-Bold.eot?#iefix") format("eot"),
    url("/style/fonts/DINWebPro-Bold.woff") format("woff");
  font-weight: 700;
  font-style: normal;
}

ul.directorycontents {
    list-style: none;
    padding-left: 8pt;
}

ul.directorycontents > li {
    min-height: 18pt;
    font-size: 12pt;
}

ul.directorycontents > li > span {
    display: inline-block;
}

span.file {
    /* allow long file names to push other columns to right */
    min-width: 560pt;
}

span.size, span.date {
    /* indent when a line needs to wrap (e.g. narrow window) */
    padding-left: 4pt;
}

span.size {
    width: 48pt;
}

span.date {
    width: 120pt;
}

a {
    color: #76b900;
}

body {
    font-family: "DINWebPro", Helvetica Neue, Helvetica, Roboto, Droid Sans, sans-serif;
}