183 # ~~~~~~ category.head

   183 # ~~~~~~ category.head

   184 category.head = element head { category.head.content }

   184 category.head = element head { category.head.content }

   185 

   185 

   186 category.head.content =

   186 category.head.content =

   187    title,

   187    title,

   188    subtitle?

   189    subtitle?

   189 

   190 

   190 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ production ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   191 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ production ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   191 

   192 

   192 production = element production { empty }

   193 production = element production { empty }