RelaxNG/publiquiz.rnc
changeset 288 e89c967167bb
parent 249 88251c3ce4a9
child 291 093119d000aa
equal deleted inserted replaced
287:dba493c150dd 288:e89c967167bb
   463 #                                 INLINE LEVEL
   463 #                                 INLINE LEVEL
   464 # =============================================================================
   464 # =============================================================================
   465 
   465 
   466 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ inlines ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   466 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ inlines ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   467 
   467 
   468 blanks.inlines = mixed {
   468 blanks.inlines =
   469    sup*
   469    inlines
   470  & sub*
       
   471  & var*
       
   472  & number*
       
   473  & math*
       
   474  & date*
       
   475  & name*
       
   476  & note*
       
   477  & foreign*
       
   478  & highlight*
       
   479  & emphasis*
       
   480  & mentioned*
       
   481  & quote*
       
   482  & acronym*
       
   483  & term*
       
   484  & link*
       
   485  & anchor*
       
   486  & image*
       
   487  & audio*
       
   488  & blank*
   470  & blank*
   489 }
   471 
   490 point.inlines = mixed {
   472 point.inlines =
   491    sup*
   473    inlines
   492  & sub*
       
   493  & var*
       
   494  & number*
       
   495  & math*
       
   496  & date*
       
   497  & name*
       
   498  & note*
       
   499  & foreign*
       
   500  & highlight*
       
   501  & emphasis*
       
   502  & mentioned*
       
   503  & quote*
       
   504  & acronym*
       
   505  & term*
       
   506  & link*
       
   507  & anchor*
       
   508  & image*
       
   509  & audio*
       
   510  & blank*
   474  & blank*
   511  & point.right*
   475  & point.right*
   512  & point.wrong*
   476  & point.wrong*
   513 }
       
   514 
   477 
   515 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ blank ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   478 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ blank ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   516 
   479 
   517 # ~~~~~~ blank
   480 # ~~~~~~ blank
   518 blank = element blank { blank.attributes, blank.content }
   481 blank = element blank { blank.attributes, blank.content }