h1 {
  font-weight: bold;
  margin-top: 0;
  margin-bottom: 0.8em;
  font-size: 2.5em;
}

h2 {
  font-size: 1.8em;
  color: #222;
}

h3 {
  font-size: 1.1em;
  font-weight: bold;
}

body {
  color: #444;
}

a:link {color: #3864BA;}

.page {
  margin-top: 2em;
}

.sidebar {
  margin-bottom: 3em;
}

.sidebar h2 {
  font-size: 1em;
  font-weight: bold;
}

.sidebar ul {
  list-style: none;
  padding-left: 0;
}

.sidebar li {
  margin: 0;
}

ul {
  padding-left: 1.5em;
}
li {
  margin: 0.5em 0;
}

blockquote {
  font-size: 1em;
  padding-top: 0;
  padding-bottom: 0;
  padding-left: 1em;
}

table small {
  color: #666;
}

.footer {
  border-top: 2px solid #ddd;
  background-color: #fafafa;
  margin-top: 3em;
  padding: 1em 0.5em 1.5em 0.5em;
  font-size: 90%;
  color: #666;
}

/* Current OS on home page */

#rtable li span {
  padding: 5px 3px;
}

.selected span {
  background-color: #fff;
}
.selected span a {
  font-weight: bold;
}

#mirror {
  min-height: 1em;
}

#mirror select {
  line-height: 1;
  background-color: white;
  border: 1px solid #ccc;
}

#rtable li {margin: 0.8em 0}

.downloads {
  min-height: 20px;
  padding: 10px;
  margin-bottom: 1em;
  background-color: #f5f5f5;
  border: 1px solid #e3e3e3;
  border-radius: 4px;
  -webkit-box-shadow: inset 0 1px 1px rgba(0, 0, 0, .05);
          box-shadow: inset 0 1px 1px rgba(0, 0, 0, .05);
} 






/*
     FILE ARCHIVED ON 9:30:48 Feb 24, 2017 AND RETRIEVED FROM THE
     AN OPENWAYBACK INSTANCE ON 10:14:55 Sep 20, 2025.
     JAVASCRIPT APPENDED BY OPENWAYBACK, COPYRIGHT INTERNET ARCHIVE.

     ALL OTHER CONTENT MAY ALSO BE PROTECTED BY COPYRIGHT (17 U.S.C.
     SECTION 108(a)(3)).
*/