@import url(basics.css);
@import url(navbar.css);
@import url(navbar-color/grayish.css);
@import url(site-banner.css);

h1
{
  color: #C96769;
}

h2
{
  color: navy;
}

h3
{
  color: #006400;
}

blockquote, pre {
  padding: .5ex;
  background-color: #CACACA;
}

.error
{
  color: #DC143C;
  text-decoration: none
}

.warning
{
  color: #FF4500;
  text-decoration: none;
}

.error strong
{
  color: #DC143C;
  background-color: #FFD700;
}

.warning strong
{
  color: #FF4500;
  background-color: #FFD700;
}

a:hover
{
  background-color: #B7B7B7;
}