RelaxNG/publiquiz.rnc
changeset 293 02671b229bdc
parent 291 093119d000aa
child 310 13939fb7824a
equal deleted inserted replaced
292:68a36d507716 293:02671b229bdc
   463 #                                 INLINE LEVEL
   463 #                                 INLINE LEVEL
   464 # =============================================================================
   464 # =============================================================================
   465 
   465 
   466 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ inlines ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   466 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ inlines ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   467 
   467 
   468 blanks.inlines =
   468 blanks.inlines = mixed {
   469    simple.inlines
   469    sup*
       
   470  & sub*
       
   471  & var*
       
   472  & number*
       
   473  & math*
       
   474  & date*
       
   475  & name*
       
   476  & acronym*
       
   477  & term*
       
   478  & warning*
       
   479 
   470  & literal*
   480  & literal*
   471  & foreign*
   481  & foreign*
   472  & highlight*
   482  & highlight*
   473  & emphasis*
   483  & emphasis*
   474  & mentioned*
   484  & mentioned*
   480  & smil*
   490  & smil*
   481  & note*
   491  & note*
   482  & link*
   492  & link*
   483  & anchor*
   493  & anchor*
   484  & index*
   494  & index*
       
   495 
   485  & blank*
   496  & blank*
   486 
   497 }
   487 point.inlines =
   498 
   488    simple.inlines
   499 point.inlines = mixed {
       
   500    sup*
       
   501  & sub*
       
   502  & var*
       
   503  & number*
       
   504  & math*
       
   505  & date*
       
   506  & name*
       
   507  & acronym*
       
   508  & term*
       
   509  & warning*
       
   510 
   489  & literal*
   511  & literal*
   490  & foreign*
   512  & foreign*
   491  & highlight*
   513  & highlight*
   492  & emphasis*
   514  & emphasis*
   493  & mentioned*
   515  & mentioned*
   499  & smil*
   521  & smil*
   500  & note*
   522  & note*
   501  & link*
   523  & link*
   502  & anchor*
   524  & anchor*
   503  & index*
   525  & index*
       
   526 
   504  & blank*
   527  & blank*
   505  & point.right*
   528  & point.right*
   506  & point.wrong*
   529  & point.wrong*
       
   530 }
   507 
   531 
   508 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ blank ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   532 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ blank ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   509 
   533 
   510 # ~~~~~~ blank
   534 # ~~~~~~ blank
   511 blank = element blank { blank.attributes, blank.content }
   535 blank = element blank { blank.attributes, blank.content }