if;
      color: #00131F;
      background: #F9FDFF;
    }
    .ebnf a
    {
      text-decoration: none;
    }
    .ebnf a:hover
    {
      color: #000D15;
      text-decoration: underline;
    }
    .signature
    {
      color: #005990;
      font-size: 11px;
      text-align: right;
    }
    a:link, a:visited
    {
      color: #00131F;
    }
    a:link.signature, a:visited.signature
    {
      color: #005990;
    }
    div.ebnf
    {
      padding: 10px;
      background: #DBF1FF;
      width: 992px