default: true

# Using h2 has side effects in GitBook's toc. Thus, we sometimes switch from h1 to h3
MD001: false

MD012:
  # 2 are required, because GitBook adss two blank lines at the end of a file
  maximum: 2

MD013: false

# The FAQs state questions - we allow them
MD026:
  punctuation: ".,;:!"

MD033:
  # we have <a> tags with ids and superscript
  allowed_elements: ['a', 'sup']

default: true

# Using h2 has side effects in GitBook's toc. Thus, we sometimes switch from h1 to h3
MD001: false

MD012:
  # 2 are required, because GitBook adss two blank lines at the end of a file
  maximum: 2

MD013: false

# The FAQs state questions - we allow them
MD026:
  punctuation: ".,;:!"

# not supported by gitbook
MD031: false

MD033:
  # we have <a> tags with ids and superscript
  allowed_elements: ['a', 'sup']

Add MD031 to lint ignore list
Add MD031 to lint ignore list
