Fix autolist font size
Implement and move to grammar v3.1

This commit also fixes the removal of the intro text: the whole intro layout is
removed if the intro text is empty, so we gain more space than before.
Merge pull request #370 from daydreaming-experiment/feature/issue-360-grammar-v3.1

Feature/issue 360 grammar v3.1