@import url("blue.css");

/*a:link {color: blue;}*/
/*a:visited {color: purple;}*/
/*a:hover {color:#ffff00;}*/
/*a:active {color:#ffffff;}*/

h1 {
  text-align: center;
}
h2,h3,h4,h5,h6 {
  margin-left: 8%;
}
p {
  font-size: 110%;
}
pre {
  font-family: monospace;
}

img.us_servers {
  width: 70%;
  display: block;
  margin-left: auto;
  margin-right: auto;
}

ol.instruct li {
  font-size: 105%;
}

/*
address {
  margin-top: 1em;
  padding-top: 1em;
  border-top: thin dotted;
}
*/