#ostgnavbar {
        padding: .1em 0;
        font-size: 85%; /* 11px */
        text-align: center;
        background: #111 url(//images.slashdot.org/ostg-bg.png) repeat-x;
	clear: both;
}
#ostgnavbar a {
    padding: 0 .2em 0 .4em;
    color: #ccc;
    text-decoration: none;
    border-left: 1px solid #444;
  }
  #ostgnavbar a.highlight { font-weight: bold; }
  #ostgnavbar a:hover { color: #fff; }

  #ostgnavbar li { list-style: none; display: inline; }
  	#ostgnavbar li.begin a { border: none; }