yet more variants of CSS flex

diff --git a/doc/style.css b/doc/style.css
index a875969f1b51cc0029c620bbae6ad363d0dc32e5..fe1eb903df00348e72887b3e3fd09aeba47fa0a2 100644 (file)
--- a/doc/style.css
+++ b/doc/style.css
@@ -563,25 +563,29 @@ a.openid_large_btn:focus {
        .page {
                display: -webkit-box;
                display: -webkit-flexbox;
-               display: -ms-flexbox;
                display: -webkit-flex;
+               display: -moz-box;
+               display: -ms-flexbox;
                display: flex;
                -webkit-box-orient: vertical;
-               -ms-flex-direction: column;
                -webkit-flex-direction: tb;
                -webkit-flex-direction: column;
+               -webkit-flex-flow: column;
+               -ms-flex-direction: column;
                flex-direction: column;
        }
        #pageheader {
                -webkit-box-ordinal-group: -1;
-               -ms-flex-order: -1;
                -webkit-order: -1;
+               -ms-box-ordinal-group: -1;
+               -ms-flex-order: -1;
                order: -1;
        }
        .sidebar, #footer {
                -webkit-box-ordinal-group: 1;
-               -ms-flex-order: 1;
                -webkit-order: 1;
+               -ms-box-ordinal-group: 1;
+               -ms-flex-order: 1;
                order: 1;
        }