/* Les styles définis par le moteur wikini/wakka -- parfois un peu remaniés. */

@import "wakka.css";

/* Les styles introduits par les actions et autres additifs. */

@import "edit-cheat-sheet.css";
@import "include.css";
@import "trail.css";
@import "docmanager.css";
@import "minigalerie.css";

/* Quelques styles supplémentaires. */

.hidden {
  display: none;
}

.shown {
}