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

body {
  background-color: white;
  color: black;
}

h1 {
  color: #c33;
}

h2
{
  color: navy;
}

h3
{
  color: #006400;
}

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

.error
{
  color: #DC143C;
}

.warning
{
  color: #FF4500;
}

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

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

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