From 40877ebf9f3a7a454729210236fdf58d11f40f02 Mon Sep 17 00:00:00 2001 From: inference Date: Wed, 5 Apr 2023 07:53:15 +0100 Subject: [PATCH] Update CSS to version 9.2.0.29. --- inf.css | 84 ++++++++++++++++++++++++++++----------------------------- 1 file changed, 42 insertions(+), 42 deletions(-) diff --git a/inf.css b/inf.css index 5c0cde2..9ca3ae3 100644 --- a/inf.css +++ b/inf.css @@ -3,7 +3,37 @@ /* Copyright 2022-2023 Jake Winters */ /* SPDX-License-Identifier: BSD-3-Clause-Clear */ -/* Version: 9.1.0.26 */ +/* Version: 9.2.0.29 */ + + +/* Body */ +body { + padding-top: 40px; + margin-left: min(400px, 45vw); + margin-right: min(150px, 12vw); + font-family: Roboto, sans-serif; + font-size: 20px; + line-height: 120%; + background-color: #262626; +} + +.body-link { + font-family: Roboto, sans-serif; + font-size: 18px; + text-decoration: none; +} + +.body-link:link { + color: #5dade2; +} + +.body-link:visited { + color: #bb8fce; +} + +.body-link:hover { + text-decoration: underline; +} /* Heading 1 */ @@ -55,36 +85,6 @@ h6, .h6 { } -/* Body */ -body { - padding-top: 40px; - margin-left: min(400px, 45vw); - margin-right: min(150px, 12vw); - font-family: Roboto, sans-serif; - font-size: 20px; - line-height: 120%; - background-color: #262626; -} - -.body-link { - font-family: Roboto, sans-serif; - font-size: 18px; - text-decoration: none; -} - -.body-link:link { - color: #5dade2; -} - -.body-link:visited { - color: #bb8fce; -} - -.body-link:hover { - text-decoration: underline; -} - - /* Paragraph */ p { font-family: Roboto, sans-serif; @@ -204,6 +204,13 @@ strong { html { overflow-x: hidden; } + + body { + padding-top: 80px; + margin: 15px; + position: relative; + overflow-x: hidden; + } .sidebar { width: 100vw; @@ -224,10 +231,6 @@ strong { display: none; } - h1 { - text-align: center; - } - h2 { text-align: center; } @@ -247,15 +250,12 @@ strong { h6 { text-align: center; } + + table { + overflow-x: auto; + } .update_date { text-align: center; } - - body { - padding-top: 80px; - margin: 15px; - position: relative; - overflow-x: hidden; - } }