Fix doc comment that should not be one.

Found by nightly `clippy::empty_line_after_doc_comments`.

all-is-cubes-ui/src/ui_content/notification.rs

@@ -9,7 +9,7 @@ use all_is_cubes::listen;
 use crate::apps::{MainTaskContext, Session};
 use crate::vui::widgets::ProgressBarState;
 
-/// --- Types --------------------------------------------------------------------------------------
+// ---- Types --------------------------------------------------------------------------------------
 
 /// User-visible contents of a [`Notification`].
 ///