[gnome-tour: 5/5] Merge branch 'wip/exalm/ui-cleanups' into 'master'

[Bilal Elmoussaoui <bilelmoussaoui src gnome org>]

commit a406830ad1001988a30466e48996dd703740b513
Merge: 8cad6e3 aca427a
Author: Bilal Elmoussaoui <bil elmoussaoui gmail com>
Date:   Mon Jul 13 22:46:55 2020 +0000

    Merge branch 'wip/exalm/ui-cleanups' into 'master'
    
    Some UI cleanups
    
    See merge request GNOME/gnome-tour!9

 src/application.rs           |  1 +
 src/widgets/pages/welcome.rs |  8 ++++----
 src/widgets/paginator.rs     | 48 +++++++++++++++++++++++++++-----------------
 3 files changed, 35 insertions(+), 22 deletions(-)
---