/* John's computing pages style */

@import "../jcgs.css";

code {
    font-weight: bold;
    color: #004000;
}

pre {
    font-weight: bold;
    color: #004000;
}