diff options
author | Joris | 2017-04-20 23:28:22 +0200 |
---|---|---|
committer | Joris | 2017-04-20 23:28:22 +0200 |
commit | b7a00a27d50353f53bd5e74a0c67f1a238518cb7 (patch) | |
tree | 1dba0e1c1775e7d0c723190984098bf1c9cb750f /public | |
parent | 92a6e02b7c4027da9c6c999e6d49d170c340f082 (diff) |
Update to ps 11.0.0
Diffstat (limited to 'public')
-rw-r--r-- | public/main.css | 13 |
1 files changed, 9 insertions, 4 deletions
diff --git a/public/main.css b/public/main.css index fc0850a..da0b04e 100644 --- a/public/main.css +++ b/public/main.css @@ -1,8 +1,13 @@ -body { margin: 0; } +html { + box-sizing: border-box; + overflow-y: scroll; +} -/* Box sizing */ -html { box-sizing: border-box; } -*, *:before, *:after { box-sizing: inherit; } +*, *:before, *:after { + box-sizing: inherit; +} + +body { margin: 0; } @media screen and (min-width: 700px) { .page { |