header {
  text-align: center;
}



.left {
  float: left;
  text-align: left;
}

.center {
  margin: 0 auto;
  text-align: center;
}

.right {
  float: right;
  text-align: right;
}



.automargin-500 {
  width: 500px;
  margin: 0 auto;
}

.automargin-700 {
  width: 700px;
  margin: 0 auto;
}

.automargin-900 {
  width: 900px;
  margin: 0 auto;
}




.automargin-500:after, .automargin-700:after, .automargin-900:after {
  content: "";
  display: block;
  clear: both;
}

@media screen and (max-width: 500px) {
  .automargin-500 {
    width: 100%;
    padding: 0;
  }
}

@media screen and (max-width: 700px) {
  .automargin-700 {
    width: 100%;
    padding: 0;
  }
}

@media screen and (max-width: 900px) {
  .automargin-900 {
    width: 100%;
    padding: 0;
  }
}


.margin-4 {
  margin: 4px;
}
.margin-8 {
  margin: 8px; 
}
.margin-16 {
  margin: 16px;
}
.margin-24 {
  margin: 24px;
}
.margin-32 {
  margin: 32px;
}
.margin-auto {
  margin: auto;
}


.block {
  display: block;
}
.inline {
  display: inline;
}

table.versions-table {
  width: 100%;
  border: 4px double black;
  text-align: left;
  vertical-align: center;
}

tr td {
  text-align: inherit;
  vertical-align: inherit;
  border-collapse: collapse;
}