/****************
 * Réduction des tailles des polices par défaut
******************/
.ui.segment {
    padding: 0.5rem;
    margin: 0.5rem 0;
}

.ui.header {
    margin: 0 0.5rem
}

h1.ui.header {
    font-size: 1.25rem;
}

h2.ui.header {
    font-size: 1.20rem;
}

h3.ui.header {
    font-size: 1.15rem;
}

.ui.form {
    padding: .5rem 0.5rem;
}