/*
	@homepage http://userstyles.org/styles/5104
	@updateurl http://userstyles.org/styles/iecss/5104/paintless%20-%20phpdoc.css
	@domain phpdoc.org
*/
@namespace url(http://www.w3.org/1999/xhtml);#logo > a > img
  {
    height: 50px !important;
  }
 #nav
  {
    max-height: 55px !important;
  }
 #nav > ul
  {
    top: 20px !important;
  }
 #bar
  {
    top: 42px !important;
  }
 #nav > h1
  {
    font-size: 10pt !important;
    margin: 0 !important;
  }

 #copyright
  {
    height: 0 !important;
    padding: 0 !important;
  }
 #copyright:hover
  {
    height: 40px !important;
    padding: 5px !important;
  }