body {
  font-family: arial,helvetica,verdana,tahoma,sans-serif;
}

.hide, .hidden { display: none !important; }

.indent { margin-left: 4ex; }

p {
  left-margin: 2ex;
  margin-left: 2ex;
}

h1 {
  background-color: #d26666;
  color: #ffffff;
  padding-left: 1ex;
  padding-right: 1ex;
}

h2 {
  color: #d26666;
}

h3 {
  color: #d26666;
}

a {
  color: #6600ff;
  //font-size: 18;
  //border: 1px groove #d26666;
  text-decoration: none;
}

a:hover { color: #d26666; }

code {
  #background-color: #eeeeee;
  #padding: 2px;
  #border: 1px groove black;
  font-size: 16;
}

pre {
  background-color: #eeeeee;
  padding: 4px;
  border: 1px groove black;
  margin-left: 4ex;
  margin-right: 4ex;
  font-size: 16;
}

img {
  margin-left: 4ex;
  margin-right: 4ex;
}