.f90 {
   color: #000080
   background: none
}
.kw {
  color: blue;
}
.comment {
   color: red;
}
.ln {
   color: gray;
}
.str {
   color: RGB(100,100,50);
}
.listr {
   margin: 2em;
}
A:link {
   color: RGB(0,117,197);
   text-decoration: none;
}
A:visited {
   color: RGB(0,117,197);
   text-decoration: none;
}