src/Pure/Thy/html.scala

--- a/src/Pure/Thy/html.scala	Tue Jun 27 21:36:58 2017 +0200
+++ b/src/Pure/Thy/html.scala	Tue Jun 27 21:56:56 2017 +0200
@@ -289,7 +289,7 @@
     }
 
     def apply(contents: List[XML.Elem], name: String = "", action: String = "",
-      alignment: Alignment.Value = Alignment.center): XML.Elem =
+      alignment: Alignment.Value = Alignment.right): XML.Elem =
     {
       val body = Library.separate(XML.Text(" "), contents)
       GUI.form(List(div(body) + ("style" -> ("text-align: " + alignment))),