<?php

/**
 * @file
 * Theme a location search result.
 *
 * Available variables:
 * - $links: A themed set of links to all the objects that reference this location.
 * - $location: A themed location.
 */
?>
<dt class="title">
  <?php print $links; ?>
</dt>
<dd>
  <?php print $location; ?>
</dd>
