commit e0196e450dee04886976926d0a246caaa9b20740 parent 8cbf66215f4fde44966f139926e7ce0d1526d436 Author: Yohanes Bandung <bandungpenting@gmail.com> Date: Sun, 17 May 2020 06:36:45 +0700 hotfix: webkit mobile style, and indentation Diffstat:
| M | style.css | | | 15 | ++++++++------- |
1 file changed, 8 insertions(+), 7 deletions(-)
diff --git a/style.css b/style.css @@ -2,6 +2,7 @@ body { color: #E3E0D7; background-color: #242424; font-family: monospace; + -webkit-text-size-adjust: none; } h1, h2, h3, h4, h5, h6 { @@ -18,11 +19,11 @@ img { } a { - color: #8DBFFF; + color: #8dbfff; } min, a:hover { - color: #F9690E; + color: #F9690E; } a:target { @@ -51,9 +52,9 @@ table th { text-align: left; } @media screen and (min-width: 600px) { - table:not(#branches) th { - text-align: center; - } + table:not(#branches) th { + text-align: center; + } } table td, table th { @@ -61,8 +62,8 @@ table td, table th { } #blob, div#table-scroll, div#pre-scroll { - overflow: scroll; - padding-bottom: 3em; + overflow: scroll; + padding-bottom: 3em; } #content table td, #content table th {