body { margin-left: 10%; margin-right: 10%;  color: #ff9c31; background: #000033; }
  pre { font-family: monospace; }
  h1,h2,h3,h4,h5,p,ul { font-family: serif; }
  #galsid { background-color: #000033; text-align: justify }
 #numid { font-size: large; background-color: #000033 }
 a.plain { text-decoration: none }
 a:active { color: #ff4500; }
 a:hover { color: white ! important; }
 a:link { color: #ff9c31; }
 a:visited { color: #ff6699; }
 h2 { font-size: large; background-color: #000033 }
}