diff mupdf-source/thirdparty/mujs/docs/style.css @ 2:b50eed0cc0ef upstream

ADD: MuPDF v1.26.7: the MuPDF source as downloaded by a default build of PyMuPDF 1.26.4. The directory name has changed: no version number in the expanded directory now.
author Franz Glasner <fzglas.hg@dom66.de>
date Mon, 15 Sep 2025 11:43:07 +0200
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/mupdf-source/thirdparty/mujs/docs/style.css	Mon Sep 15 11:43:07 2025 +0200
@@ -0,0 +1,40 @@
+h1, nav, footer { font-family: sans-serif; }
+
+a { text-decoration: none; }
+a:hover { text-decoration: underline; }
+h2 { font-size: 1.25rem; }
+h3 { font-size: 1.12rem; }
+ul li { list-style-type: circle; }
+pre, table, ol, dl { margin-left: 2rem; }
+li { margin: 0; }
+th, td { text-align: left; vertical-align: top; }
+
+body { margin: 0; }
+h1 {
+	font-weight: normal;
+	margin: 0;
+	padding: 1rem 2rem;
+}
+header{
+	color: white;
+	background: no-repeat;
+	background-color: #36648b;
+	background-image: url("mujs-logo.png");
+	background-position: top right;
+	min-height: 72px;
+}
+nav {
+	padding: 0.75rem 2rem;
+	background-color: #ddd;
+	no-text-transform: uppercase;
+}
+nav a { color: #303030; padding-right: 2rem; }
+article {
+	max-width: 50rem;
+	margin: 2rem;
+}
+footer {
+	background-color: #ddd;
+	color: #303030;
+	padding: 1rem 2rem;
+}