 = "display: inline-block;"; +"fade-up," }
      +" "
      span("fragment fade-down") { style = "display: inline-block;"; +"fade-down, " }
      +" "
      span("fragment fade-left") { style = "display: inline-block;"; +"fade-left" }
    }
    p("fragment fade-in-then-out") { +"fade-in-then-out" }
    p("fragment fade-in-then-semi-out") { +"fade-in-then-semi-out" }
    p {
      +"Highlight "
      span("fragment highlight-red") { +"red " }
      span("fragment highlight-blue") { +"blue " }
      span("fra