RelaxNG/publiquiz.rnc
changeset 350 58bbf6bb79e2
parent 345 3efc05bff7a1
child 351 715ab7002268
equal deleted inserted replaced
349:79795b5c4684 350:58bbf6bb79e2
   567 blanks.inlines = mixed {
   567 blanks.inlines = mixed {
   568    sup*
   568    sup*
   569  & sub*
   569  & sub*
   570  & var*
   570  & var*
   571  & number*
   571  & number*
   572  & math*
       
   573  & date*
       
   574  & name*
       
   575  & acronym*
   572  & acronym*
   576  & term*
       
   577  & warning*
   573  & warning*
   578 
   574 
   579  & literal*
       
   580  & foreign*
       
   581  & highlight*
   575  & highlight*
   582  & emphasis*
   576  & emphasis*
   583  & mentioned*
   577  & mentioned*
       
   578  & literal*
       
   579  & term*
   584  & stage*
   580  & stage*
       
   581  & name*
       
   582  & foreign*
       
   583  & date*
       
   584  & math*
   585  & initial*
   585  & initial*
   586  & quote*
   586  & quote*
   587  & image*
   587  & image*
   588  & audio*
   588  & audio*
   589  & smil*
   589  & smil*
   598 pointing.inlines = mixed {
   598 pointing.inlines = mixed {
   599    sup*
   599    sup*
   600  & sub*
   600  & sub*
   601  & var*
   601  & var*
   602  & number*
   602  & number*
   603  & math*
       
   604  & date*
       
   605  & name*
       
   606  & acronym*
   603  & acronym*
   607  & term*
       
   608  & warning*
   604  & warning*
   609 
   605 
   610  & literal*
       
   611  & foreign*
       
   612  & highlight*
   606  & highlight*
   613  & emphasis*
   607  & emphasis*
   614  & mentioned*
   608  & mentioned*
       
   609  & literal*
       
   610  & term*
   615  & stage*
   611  & stage*
       
   612  & name*
       
   613  & foreign*
       
   614  & date*
       
   615  & math*
   616  & initial*
   616  & initial*
   617  & quote*
   617  & quote*
   618  & image*
   618  & image*
   619  & audio*
   619  & audio*
   620  & smil*
   620  & smil*