commit 00a7c3e4ceb6299aa55bde4fe0b90a99a99d6463 parent a356ede7a14e785c91638731e51cc77b07b6317d Author: Paco Esteban <paco@onna.be> Date: Thu, 25 Apr 2019 15:32:41 +0200 CSS changes No margin when on mobile (< 800px wide). On desktop use 70% of the available space and font large. I also removed tabs and put spaces instead. Diffstat:
M | static/style.css | | | 28 | +++++++++++++--------------- |
1 file changed, 13 insertions(+), 15 deletions(-)
diff --git a/static/style.css b/static/style.css @@ -1,26 +1,24 @@ body { - margin-top: 15px; - margin-bottom: auto; - margin-right: 15%; - margin-left: 15%; - color: #111; - background-color: #fff; - padding: 0 10px; + margin: 15px auto; + color: #111; + background-color: #fff; + padding: 0 10px; } @media (min-width: 800px) { - body { - max-width: 85%; - } + body { + max-width: 70%; + font-size: large; + } } tt { - white-space: pre; + white-space: pre; } pre { - background: #f5f5f5; - border: 1px solid #aaa; - overflow: auto; - padding: 10px; + background: #f5f5f5; + border: 1px solid #aaa; + overflow: auto; + padding: 10px; }