require_once "index.php";
ob_start($res);
-$res->addHeader("Link", "<" . dirname((new http\Env\Url)->path) . $css . ">; rel=preload; as=style");
+$res->addHeader("Link", "<" . dirname((new http\Env\Url)->path) . "/" . $css . ">; rel=preload; as=style");
?>
<!doctype html>
<link rel="stylesheet" href="<?=$css?>">
<link rel="stylesheet" href="<?=$fnt?>">
<meta name="viewport" content="width=device-width, initial-scale=1">
+ <meta name="color-scheme" content="dark light">
<style>
body {
padding-bottom: 2em;
}
.header, .footer {
position: fixed;
- box-shadow: 0px 0px .8em .4em #89a;
- background: #62B3E7;
padding: .5em 0;
}
.header h1 {
font-weight: bold;
+ line-height:120%;
}
.header h1 a, .footer a:hover {
text-decoration: none;
/* normalize browser difference */
font-size: 1.3em;
}
- .header h1 a, .footer, .footer a {
- color: #fdfdfd;
- text-shadow: grey 0 0 .1em;
- }
.header h1 small {
- color: #666;
font-size: 1.3rem;
- text-shadow: white 0 0 .2em;
}
li {
list-style-type: circle;
.row>h3 {
margin-bottom: 0;
}
+ hr {
+ margin: 2em 0;
+ }
@media(max-width: 80em) {
.column-8 {
float: none;
p.package-description, div.package-description p {
white-space: pre-line;
}
+ .package-list {
+ }
+ .package-ch {
+ }
form * {
display: inline-block;
margin-right: 1em;
form input[type=reset] {
padding: 0;
}
+ .header, .footer {
+ box-shadow: 0px 0px .8em .4em #89a;
+ background: #62B3E7;
+ }
+ .header h1 a, .footer, .footer a {
+ color: #fdfdfd;
+ text-shadow: grey 0 0 .1em;
+ }
+ .header h1 small {
+ color: #666;
+ text-shadow: white 0 0 .2em;
+ }
+ @media (prefers-color-scheme: dark) {
+ .header, .footer {
+ box-shadow: 0px 0px .8em .4em #123;
+ background: #305872;
+ }
+ .header h1 a, .footer, .footer a {
+ color: #bdbdbd;
+ text-shadow: dimgrey 0 0 .1em;
+ }
+ .header h1 small {
+ color: #aaa;
+ text-shadow: black 0 0 .2em;
+ }
+ body, h2, h3, h4, h5, h6 {
+ background: #3a3b3f;
+ color: #bdbdbd;
+ }
+ }
</style>
</head>
<body>
less versions «</a>
</p>
<?php endif; ?>
+
<?php else: ?>
<h2>Available Packages</h2>
}
});
}
-
+
document.body.onload = function() {
var form = document.querySelector("form[name=search]");
+
+ if (!form) return;
+
var input = document.createElement("input");
var reset = document.createElement("input");
var prefix_label = document.createElement("label");
form.onreset = function() {
searchPackages("", false);
};
-
+
input.id = "s";
input.autocomplete = "off";
input.name = "s";
regex_label.appendChild(regex);
form.appendChild(regex_label);
+ form.after(document.createElement("HR"));
+
input.focus();
};