function show_menu() {



document.write(



'<br><TABLE cellSpacing=0 cellPadding=1 width=160 bgColor=#eeeeee border=0>'+

'<TR><TD>'+

'<TABLE cellSpacing=0 cellPadding=2 width="100%" bgColor=#ffffff border=0>'+

'<tr><td class="fontFaceB" background="/images/bg_hgradient_grey1.jpg">&nbsp;&nbsp;&nbsp;Menu</td></tr>'+

'<TR><TD class="fontFaceL">'+

'<a href="grundlagen_1.html">Grafik für das Web</a><br>'+

'<a href="grundlagen_2.html">GIF, JPG oder PNG?</a><br>'+

'<a href="grundlagen_3.html">Qualitätsprobleme</a><br>'+

'<!--<a href="qualitaet.html">Bessere Bildqualität</a><br>-->'+

'<a href="png.html">Das PNG Format</a><br>'+

'<a href="svg.html">SVG - Scalable Vector Graphics</a><br>'+

'<a href="imagemaps.html">Imagemaps</a><br>'+

'<a href="mini_buttons.html">Mini-Buttons</a><br>'+

'<a href="piktogramme.html">Symbolfonts und Piktogramme</a><br>'+

'</TD></TR></table></TD></TR></table><br>'+

'<script type="text/javascript" src="/images/show_left.js"></script>'

);

}

show_menu();