More Sora files

r12a · May 15, 2024 · 40d1b28 · 40d1b28
1 parent 292112a
commit 40d1b28
Show file tree

Hide file tree

Showing 2 changed files with 83 additions and 0 deletions.
diff --git a/sora/index.html b/sora/index.html
@@ -0,0 +1,32 @@
+<!DOCTYPE html>
+<html lang="en-GB">
+<head>
+<meta charset="utf-8">
+<title></title>
+
+<link rel="stylesheet" href="../../shared/style/docs.css">
+<link rel="stylesheet" href="../common29/local.css">
+
+<script src="../common29/debug.js"></script>
+<script src="../../shared/code/boilerplate.js"></script>
+<script src="../../shared/code/toc_2020.js"></script>
+
+<script src="../common29/makeIndexPage.js"></script>
+<script src="block-globals.js"></script>
+<script src="refs.js"></script>
+</head>
+
+<body>
+<div id="mainContent"></div>
+<div class="smallprint"><span id="version"></span></div>
+<p id="status">Updated 
+<!-- #BeginDate format:Sw1 -->5 January, 2023<!-- #EndDate -->
+<span id="versionTop"></span>
+</p>
+
+
+<script>
+writePage()
+</script>
+</body>
+</html>
diff --git a/sora/local.css b/sora/local.css
@@ -0,0 +1,51 @@
+@font-face {
+    font-family: 'Noto Sans Wancho WF';
+    src: url('../../shared/webfonts/notosanswancho-regular-webfont.woff2') format('woff2');
+    font-weight: normal;
+    font-style: normal;
+	}
+
+
+
+[lang=nnp] { font-family: 'Noto Sans Wancho WF', serif; }
+
+
+
+
+
+#charlistsection img {
+	vertical-align: top;
+	}
+#charlistsection p {
+	line-height: 1.2;
+	margin-top: 0;
+	margin-bottom: 0;
+	font-style: italic;
+	}
+a img {
+	vertical-align: middle;
+	}
+img.ex {
+	vertical-align: middle;
+	}
+
+
+#fontsetting { width: 270px; }
+#fontsetting.open { right: 0px; }
+#fontsetting.closed { right: -258px; }
+#fontsettingswitch { height: 130px; }
+
+.charimg {
+	font-size: 110px;
+	min-width: 190px;
+	min-height: 190px;
+	text-align: center;
+	vertical-align: middle;
+	line-height: 190px;
+	font-family: "Noto Sans NKo WF",  serif;
+	background-color: white;
+	}
+
+.linkHighlight {
+	font-size: 120%;
+	}