Searched refs:size_big (Results 1 - 2 of 2) sorted by relevance

/ast/src/cmd/html/
H A Dmm2twiki.sh145 size_big=18
202 -e 's%\\s+\(.\)\([^\\]*\)\\s-\1%[size='$size_big']\2[/size]%g' \
203 -e 's%\\s+\(.\)\([^\\]*\)\\s0%[size='$size_big']\2[/size]%g' \
232 -e 's%\\s+\(.\)\(.*\)\\s-\1%[size='$size_big']\2[/size]%g' \
907 ?*) beg="$beg[size=$size_big][color=blue]"
1355 +*) putop "[size=$size_big]"
H A Dmm2bb.sh154 size_big=18
212 -e 's%\\s+\(.\)\([^\\]*\)\\s-\1%[size='$size_big']\2[/size]%g' \
213 -e 's%\\s+\(.\)\([^\\]*\)\\s0%[size='$size_big']\2[/size]%g' \
242 -e 's%\\s+\(.\)\(.*\)\\s-\1%[size='$size_big']\2[/size]%g' \
821 else beg="$beg[color=red][size=$size_big]"
998 else beg="$beg[size=$size_big][color=blue]"
1512 else putop "[size=$size_big]"

Completed in 13 milliseconds