Update `denmark.svg' and `dejavu-lgc.svg' design models used inside
    manuals.
    
        - Start using `204c8d' color as background, combined with circles
          at 20% of opacity.
    
        - Use just one text example in each design model.