tree 79bf1e46364f12e8a67ff23090c16167de3cace9
parent f3c9ad4e6e4ee310e24287a15272e4c0db5ced11
author Marc Kupietz <kupietz@ids-mannheim.de> 1687082878 +0200
committer Marc Kupietz <kupietz@ids-mannheim.de> 1687082878 +0200

Unify top and bottom margins for p, ol, ul

Change-Id: I4fef691d9130f05403f2c33af0831f297f1755ac