/* D3 Forum navigation
    -------------------------------------------------------------*/

    /* D3.1 */
    #pun-navlinks {
      border: none;
      margin-bottom: 142px;
    }

    #pun-navlinks .container {
      border: none;
      margin: 0;
      }

    /* D3.2 */
    #pun-navlinks .container {
      padding-top: 4px;
      padding-right: 23px;
      height: 0px;
      font-weight: bold;
      text-align: right;
    }

    /* D.3 */
    #pun-navlinks .container {
      padding-top: 7px;
      padding-bottom: 10px;
      height: 16px;
      font-family: impact;
    }

    .container #pun-navlinks li {
      display: inline;
      margin: 0.1%;
      padding: 3px 4px 4px 4px;
      border-left: 1px solid #fff;
    }