/*----------------------------------------------
 |  main_extra.css |
 |-----------------
 |  Extra additions to already existing elements in main.css
 *---------------------------------------------*/
div#topmenu {
  margin-top:18px;
  border-bottom:1px dotted #f3de11;
  width:145px;
  height:16px;
  line-height:16px;
  vertical-align:middle;
  padding-bottom:1px;
}