@media screen {
  div.content {
    margin: .5in;
  }
}

@media print {
  a {
    color: black;
  }
}

a {
#    text-decoration: none;
}

a:hover {
    text-decoration: underline;
    color: #aa00aa;
    background-color: #ffffee;
}

body {
#  font-family: Garamond, serif;
}

@media screen {
  ul.navbar {
    list-style: none;
    background-color: #cccccc;
  }
  ul.navbar li {
    display: inline;
    margin-right: 1.5em;
  }
}

@media print {
  ul.navbar {
    display: none;
  }
  li.navbar {
    display: none;
  }
}

h1 {
  text-align: center;
}

.definition {
  background-color: #aaaaff
}

.postulate {
  background-color: #ffaaaa
}

.theorem {
  background-color: #aaffaa
}

.important {
  font-size: larger;
  font-weight: bold;
  background-color: yellow;
  color: black;
}