/* used specifically on hello world page */

body {
  background-color: khaki;
}

div {
   background-color: Gainsboro;
   padding: 1em;
   margin: 2em;
   border-style: groove;
   border-width: 6px;
  }

h1 {
  text-decoration: underline;
  font-size: 3em;
}

p {
   color: blue;
   text-align: left;
   font-family: serif;
   font-weight: bold;
   font-size: 2em;
}

.highlight {
  background-color: yellow;
  font-size:0.25em;
  vertical-align: super;
}

.red {
   background-color: red;
   color: white;
}

.orange {
  background-color: orange;
  color: white;
}

.yellow {
  background-color: yellow;
  color: white;
}

.green {
  background-color: lime;
  color: white;
}

.blue {
  background-color: CornflowerBlue;
  color: white;
}

.indigo {
  background-color: indigo;
  color: white;
}

.violet {
  background-color: violet;
  color: white;
}