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

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

   212 

   212 

   213 category.head.content =

   213 category.head.content =

   214    title,

   214    title,

   215    shorttitle?,

   215    shorttitle?,

   217 

   217 

   218 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ pip ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   218 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ pip ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

   219 

   219 

   220 pip = element pip { pip.attributes, pip.content }

   220 pip = element pip { pip.attributes, pip.content }

   221 

   221