equal
deleted
inserted
replaced
243 |
243 |
244 # ~~~~~~ category.head |
244 # ~~~~~~ category.head |
245 category.head = element head { category.head.content } |
245 category.head = element head { category.head.content } |
246 |
246 |
247 category.head.content = |
247 category.head.content = |
248 title, |
248 title |
249 shorttitle?, |
249 & shorttitle? |
250 subtitle* |
250 & subtitle* |
251 |
251 |
252 # ~~~~~~ categories |
252 # ~~~~~~ categories |
253 categories = element categories { categories.attributes, categories.content } |
253 categories = element categories { categories.attributes, categories.content } |
254 |
254 |
255 categories.attributes = |
255 categories.attributes = |