@charset "UTF-8";
@import url("css/bootstrap.min.css");
@import url("css/style.css");

div#navigator {}

div#menubar {
  word-break: break-all;
  font-size: 90%;
  overflow: hidden;
}

div#attach {}

div#toolbar {
  text-align: right;
}

div#lastmodified {
  font-size: 80%;
}

div#related {
  font-size: 80%;
}

div#footer {
  font-size: 70%;
}

div.jumpmenu {
  font-size: 60%;
  text-align: right;
}

.anchor_super {
  font-size: xx-small;
  vertical-align: super;
}

@media print {
  div#navigator {
    display: none;
  }
  div#menubar {
    display: none;
  }
  div#attach {
    display: none;
  }
  div#toolbar {
    display: none;
  }
  div#lastmodified {
    font-size: 80%;
  }
  div#related {
    display: none;
  }
  div#footer {
    font-size: 70%;
  }
  div.jumpmenu {
    font-size: 60%;
    text-align: right;
  }
  .anchor_super {
    font-size: xx-small;
    vertical-align: super;
  }
}