Hourglass chart of Isabelle

Layout