.Agda-custom {
    white-space: pre;
}