docs: Make a bit wider

85% and smaller margins - we were wasting a bit too much space there

[ci skip]
This commit is contained in:
Fabian Homborg
2020-10-08 21:25:34 +02:00
parent fdae48fa0e
commit e46995d764

View File

@@ -14,11 +14,11 @@ div#fmain {
background-color: #EEEEFA; background-color: #EEEEFA;
border-radius: 14px; border-radius: 14px;
position: relative; position: relative;
margin: 25px auto 0; margin: 15px auto 0;
-moz-box-shadow: 0 0 1px 1px #333; -moz-box-shadow: 0 0 1px 1px #333;
-webkit-box-shadow: 0 0 1px 1px #333; -webkit-box-shadow: 0 0 1px 1px #333;
box-shadow: 0 0 5px 1px #333; box-shadow: 0 0 5px 1px #333;
width: 80%; width: 85%;
} }
div.related { div.related {