#documents-menu {
  margin: auto;
}

#documents-table-container {
  width: 80%;
  max-height: 30vh;
  overflow-y: auto;
}

/* X-Small devices (portrait phones, less than 576px) */
@media (min-width: 575.98px) {

}

/* Small devices (landscape phones, less than 768px) */
@media (min-width: 767.98px) {

}

/* Medium devices (tablets, less than 992px) */
@media (min-width: 991.98px) {

}

/* Large devices (desktops, less than 1200px) */
@media (min-width: 1199.98px) {

}

/* X-Large devices (large desktops, less than 1400px) */
@media (min-width: 1399.98px) {

}