.red {color:#ff0000;}
  .colorformula {color:#8F2BFF}
  
  .color56.0.238 {color:#3800EE; }
  .centered, h1, h2, h3 { text-align: center; }
  p.identifier
  {
     text-align: right;
     margin-right: 40%;
  }
  pre, code { font-family:monospace; }
  p
  {
     margin-left: 5%;
     margin-right: 5%;
  }