gistfile1.txt

  <?php if (get_post_type( $post ) == 'post') ?>
    <div style="margin-bottom:1em;">
      <h3 style="margin-bottom:.5em;">Categories</h3>
      <div style="margin-left:5px; font-size: 88%;">
      <?php wp_list_categories('show_count=1&exclude=1&orderby=count&order=DESC&title_li=&style=none&after=<br />'); ?>
      </div>
    </div>
    <div id="search">
    	<form id="searchform" method="get" action="<?php bloginfo('home') ?>">
    		<div>
    			<input id="s" name="s" type="text" value="<?php the_search_query() ?>" size="10" />
    			<input id="searchsubmit" name="searchsubmit" type="submit" value="<?php _e('Search', 'barthelme') ?>" />
    		</div>
    	</form>
    </div>
  <?php end ?>