code {
    font-size: 12pt;
    font-weight: bold;
    color: darkblue;
}