view doc/html/resources/css/doc-guide.css @ 376:b61a7d5a9101

Docs: remove useless margin
author David Demelier <markand@malikania.fr>
date Tue, 13 Dec 2016 13:04:39 +0100
parents 6635b9187d71
children
line wrap: on
line source

#introduction {
    margin-top: 0px;
}

pre {
    margin-top: 20px;
    margin-bottom: 20px;
}

.alert {
    margin-top: 20px;
    margin-bottom: 20px;
}