#menu { height:20; margin-left:-5; Width: 158px;Overflow:hidden}

#corner {  background-image:url(/fileadmin/img/redcorner.gif) ; Background-Repeat: no-repeat;}
#marked {  background-image:url(/fileadmin/img/redup.gif) ;Background-Repeat: repeat-x;}
#leftline {  background-image:url(/fileadmin/img/redleft.gif) ;Background-Repeat: repeat-y;}
#lastmarked {  background-image:url(/fileadmin/img/redup.gif) ;Background-Repeat: no-repeat;}