Lines Matching refs:DIV
1472 list[lists]=DIV
1473 print -r -- "<DIV class=SH>"
1603 list[lists]=DIV
1619 print -r -- "<DIV class=$i>"
1757 list[lists]=DIV
1758 print -r -- "<DIV class=FI>"
1873 list[lists]=DIV
1874 print -r -- "<DIV class=FI>"
2455 list[lists]=DIV
2456 print -r -- "<DIV class=HI>"
2596 .nS) print -r -- "<DIV id='notes'>"
2598 .tS) print -r -- "<DIV id='tutorial'>"
2600 .nE|.tE)print -r -- "</DIV>"
2641 list[lists]=DIV
2642 print -r -- "<DIV class=FI>"
2907 [[ ${html.menu.id} ]] && print -r -- "<DIV id=${html.menu.id}>"
2926 [[ ${html.menu.id} ]] && print -r -- "</DIV>"