From 2dd1e59a4cf77d29232c8b592990eb6db9846657 Mon Sep 17 00:00:00 2001
From: Andy Williams <andy@andywilliams.me>
Date: Mon, 6 Nov 2017 18:43:06 +0000
Subject: [PATCH] docs: be better at a responsive layout when embedded

---
 doc/e.css | 11 +++++------
 1 file changed, 5 insertions(+), 6 deletions(-)

diff --git a/doc/e.css b/doc/e.css
index 5ef60be835..46ae4f8579 100644
--- a/doc/e.css
+++ b/doc/e.css
@@ -84,7 +84,7 @@ div.qindex {
 }
 
 div.navpath {
-  width: 980px;
+  max-width: 980px;
   background-color: #606060;
   text-align: center;
   margin-left: auto;
@@ -513,7 +513,7 @@ dl.reflist dd {
 }
 
 .directory td.entry {
-  width: 400px;
+  width: 50%;
 }
 
 .directory-alt {
@@ -706,7 +706,7 @@ div.ingroups a {
 div.header, div.footer {
   margin-left: auto;
   margin-right: auto;
-  width: 980px;
+  max-width: 980px;
 }
 
 div.footer {
@@ -723,7 +723,7 @@ div.footer span.copyright {
 div.contents {
   margin-left: auto;
   margin-right: auto;
-  width: 940px;
+  max-width: 940px;
 }
 
 #projectlogo {
@@ -754,7 +754,6 @@ div.contents {
 
 #titlearea {
   box-shadow: 0px 3px 10px #000000;
-  width: 780px;
   margin-left: auto;
   margin-right: auto;
   padding: 0px 10px 0px 10px;
@@ -877,7 +876,7 @@ dl.citelist dd {
   padding: 5px 0px 5px 0px;
   text-align: center;
   box-shadow: 0px 3px 5px #000000;
-  width: 980px;
+  max-width: 980px;
   z-index: 101;
   font-size: 9pt;
 }