Minor edits; rebuild docs.
This commit is contained in:
+1
-1
@@ -3,7 +3,7 @@
|
|||||||
<head>
|
<head>
|
||||||
<meta charset="utf-8">
|
<meta charset="utf-8">
|
||||||
<title>Thun Specification</title>
|
<title>Thun Specification</title>
|
||||||
<link rel="stylesheet" href="/css/fonts.css">
|
<link rel="stylesheet" href="/css/font/fonts.css">
|
||||||
<link rel="stylesheet" href="/css/site.css">
|
<link rel="stylesheet" href="/css/site.css">
|
||||||
<script src="/Joy.js"></script>
|
<script src="/Joy.js"></script>
|
||||||
</head>
|
</head>
|
||||||
|
|||||||
@@ -3,6 +3,7 @@ body {
|
|||||||
background: #fff;
|
background: #fff;
|
||||||
color: black;
|
color: black;
|
||||||
font-family: 'EB Garamond';
|
font-family: 'EB Garamond';
|
||||||
|
font-size: large;
|
||||||
}
|
}
|
||||||
|
|
||||||
footer {
|
footer {
|
||||||
|
|||||||
@@ -3,7 +3,7 @@
|
|||||||
<head>
|
<head>
|
||||||
<meta charset="utf-8">
|
<meta charset="utf-8">
|
||||||
<title>Thun</title>
|
<title>Thun</title>
|
||||||
<link rel="stylesheet" href="/css/fonts.css">
|
<link rel="stylesheet" href="/css/font/fonts.css">
|
||||||
<link rel="stylesheet" href="/css/site.css">
|
<link rel="stylesheet" href="/css/site.css">
|
||||||
<script src="/Joy.js"></script>
|
<script src="/Joy.js"></script>
|
||||||
</head>
|
</head>
|
||||||
|
|||||||
@@ -3,7 +3,7 @@
|
|||||||
<head>
|
<head>
|
||||||
<meta charset="utf-8">
|
<meta charset="utf-8">
|
||||||
<title>BigNums in Joy</title>
|
<title>BigNums in Joy</title>
|
||||||
<link rel="stylesheet" href="/css/fonts.css">
|
<link rel="stylesheet" href="/css/font/fonts.css">
|
||||||
<link rel="stylesheet" href="/css/site.css">
|
<link rel="stylesheet" href="/css/site.css">
|
||||||
<script src="/Joy.js"></script>
|
<script src="/Joy.js"></script>
|
||||||
</head>
|
</head>
|
||||||
|
|||||||
@@ -3,7 +3,7 @@
|
|||||||
<head>
|
<head>
|
||||||
<meta charset="utf-8">
|
<meta charset="utf-8">
|
||||||
<title>Generator Programs</title>
|
<title>Generator Programs</title>
|
||||||
<link rel="stylesheet" href="/css/fonts.css">
|
<link rel="stylesheet" href="/css/font/fonts.css">
|
||||||
<link rel="stylesheet" href="/css/site.css">
|
<link rel="stylesheet" href="/css/site.css">
|
||||||
<script src="/Joy.js"></script>
|
<script src="/Joy.js"></script>
|
||||||
</head>
|
</head>
|
||||||
|
|||||||
+1523
-616
File diff suppressed because one or more lines are too long
Reference in New Issue
Block a user