<ul id="menu">
<?php
    echo "Hallo, ".$_SESSION["username"];
    echo " Userpanel:";
?>


<a href="#">Market</a>
<?php

    echo " <a href=\"market.php\">Marktplatz</a>";
    echo "<a href=\"gssell.php\"> Grundstücke Verkaufen</a>";
    echo "<a href=\"rights.php\"> Rechte Verwalten</a>";
    echo "<a href=\"options.php\"> Optionen</a>";
    ?>
    <style type="text/css">

.clear { /* generic container (i.e. div) for floating buttons */
    overflow: hidden;
    width: 100%;
}

a.button {
    background: transparent url('images/menu.png') no-repeat scroll top right;
    color: #444;
    display: block;

    font: normal 12px arial, sans-serif;
    height: 24px;
    margin-right: 6px;
    padding-right: 18px; /* sliding doors padding */
    text-decoration: none;
}

a.button span {
    background: transparent url('bg_button_span.gif') no-repeat;
    display: block;
    line-height: 14px;
    padding: 5px 0 5px 18px;
}

</style>

</ul>