be more backwards-compatible with flex layout

diff --git a/doc/style.css b/doc/style.css
index 6050a2598850cd1e9ba9951cdc96a717250e6bcc..a875969f1b51cc0029c620bbae6ad363d0dc32e5 100644 (file)
--- a/doc/style.css
+++ b/doc/style.css
@@ -562,9 +562,14 @@ a.openid_large_btn:focus {
         * the sidebar to the end */
        .page {
                display: -webkit-box;
         * the sidebar to the end */
        .page {
                display: -webkit-box;

+               display: -webkit-flexbox;

                display: -ms-flexbox;
                display: -webkit-flex;
                display: flex;
                display: -ms-flexbox;
                display: -webkit-flex;
                display: flex;

+               -webkit-box-orient: vertical;
+               -ms-flex-direction: column;
+               -webkit-flex-direction: tb;
+               -webkit-flex-direction: column;

                flex-direction: column;
        }
        #pageheader {
                flex-direction: column;
        }
        #pageheader {