generated from shuding/nextra-docs-template
-
Notifications
You must be signed in to change notification settings - Fork 0
/
theme.config.tsx
70 lines (68 loc) · 8.91 KB
/
theme.config.tsx
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
import React from "react";
import { DocsThemeConfig } from "nextra-theme-docs";
const config: DocsThemeConfig = {
logo: (
<span>
<svg
width="164"
// height="246"
viewBox="0 0 1344 246"
fill="none"
xmlns="http://www.w3.org/2000/svg"
>
<path
d="M245.89 96.1916L245.89 122.898L164.262 122.999L164.158 14.46C209.297 14.46 245.89 51.0525 245.89 96.1916Z"
fill="#F28142"
/>
<path
d="M0.92676 149.568L0.92676 122.666L82.5546 122.565L82.4628 231.312C37.3981 231.197 0.926759 194.633 0.92676 149.568Z"
fill="#EC533E"
/>
<path
d="M1.02735 40.7323L1.02735 0.632278L82.6552 0.518556L82.7589 122.464C37.6198 122.464 1.02734 85.8714 1.02735 40.7323Z"
fill="#F28142"
/>
<path
d="M245.89 204.731L245.89 245.367L164.262 245.481L164.158 122.999C209.297 122.999 245.89 159.592 245.89 204.731Z"
fill="#EC533E"
/>
<path
d="M82.624 96.3888L82.624 123.095L164.252 123.197L164.356 14.6572C119.217 14.6572 82.624 51.2497 82.624 96.3888Z"
fill="#EC533E"
/>
<path
d="M164.159 149.807L164.159 123.101L82.5313 123L82.4276 231.539C127.567 231.539 164.159 194.947 164.159 149.807Z"
fill="#F28142"
/>
<path
d="M368.042 183.875V72.9843H394.434L396.43 94.7188C399.387 87.0304 403.674 81.1162 409.293 76.9763C415.059 72.8364 422.23 70.7664 430.806 70.7664C433.319 70.7664 435.611 70.9882 437.681 71.4318C439.751 71.8753 441.451 72.4668 442.782 73.206L439.233 98.7109C437.755 98.1195 435.907 97.6759 433.689 97.3802C431.619 97.0845 428.884 96.9367 425.483 96.9367C421.047 96.9367 416.76 98.0456 412.62 100.263C408.48 102.333 405.079 105.586 402.418 110.022C399.756 114.31 398.426 119.78 398.426 126.434V183.875H368.042ZM510.893 186.093C499.213 186.093 489.011 183.801 480.287 179.218C471.712 174.634 465.058 168.055 460.327 159.479C455.596 150.903 453.23 140.554 453.23 128.43C453.23 116.306 455.596 105.956 460.327 97.3802C465.058 88.8047 471.638 82.2252 480.065 77.6417C488.641 73.0582 498.399 70.7664 509.341 70.7664C520.577 70.7664 530.114 73.0582 537.95 77.6417C545.787 82.0773 551.775 88.2132 555.915 96.0495C560.055 103.738 562.125 112.535 562.125 122.442C562.125 125.399 562.051 128.208 561.903 130.869C561.755 133.531 561.533 135.896 561.237 137.966H472.747V116.897H547.931L533.293 122.22C533.293 112.905 531.149 105.734 526.861 100.707C522.721 95.6799 516.807 93.1664 509.119 93.1664C503.5 93.1664 498.621 94.4971 494.481 97.1584C490.489 99.8198 487.458 103.812 485.388 109.135C483.318 114.31 482.283 120.889 482.283 128.873C482.283 136.709 483.392 143.215 485.61 148.39C487.976 153.417 491.228 157.187 495.368 159.701C499.656 162.214 504.757 163.471 510.671 163.471C517.177 163.471 522.426 162.214 526.418 159.701C530.41 157.187 533.515 153.713 535.733 149.277L559.907 158.592C557.541 164.358 553.919 169.311 549.039 173.451C544.308 177.591 538.616 180.77 531.962 182.988C525.457 185.058 518.434 186.093 510.893 186.093ZM638.218 70.7664C648.124 70.7664 656.478 72.245 663.279 75.2021C670.229 78.0113 675.773 81.9294 679.913 86.9565C684.201 91.8357 687.232 97.3063 689.006 103.368L660.618 113.57C659.14 106.917 656.626 101.89 653.077 98.4891C649.529 95.0885 644.724 93.3882 638.662 93.3882C633.043 93.3882 628.238 94.7188 624.246 97.3802C620.254 99.8937 617.223 103.812 615.153 109.135C613.083 114.31 612.048 120.815 612.048 128.651C612.048 136.488 613.083 142.993 615.153 148.168C617.371 153.343 620.476 157.187 624.468 159.701C628.608 162.214 633.413 163.471 638.883 163.471C643.319 163.471 647.089 162.732 650.194 161.253C653.299 159.627 655.813 157.335 657.735 154.378C659.805 151.421 661.209 147.872 661.949 143.733L689.45 152.604C687.823 159.257 684.792 165.098 680.357 170.125C675.921 175.152 670.229 179.07 663.279 181.879C656.33 184.688 648.272 186.093 639.105 186.093C627.72 186.093 617.666 183.801 608.943 179.218C600.22 174.634 593.492 168.055 588.761 159.479C584.03 150.903 581.664 140.554 581.664 128.43C581.664 116.306 584.03 105.956 588.761 97.3802C593.492 88.8047 600.146 82.2252 608.721 77.6417C617.297 73.0582 627.129 70.7664 638.218 70.7664ZM751.649 186.093C744.256 186.093 737.603 184.762 731.689 182.101C725.774 179.439 721.043 175.226 717.495 169.459C714.094 163.545 712.394 155.931 712.394 146.616V72.9843H742.778V139.297C742.778 147.872 744.552 153.861 748.1 157.261C751.649 160.514 756.75 162.14 763.403 162.14C766.508 162.14 769.539 161.623 772.496 160.588C775.454 159.405 778.041 157.631 780.259 155.265C782.624 152.9 784.473 149.869 785.803 146.172C787.134 142.328 787.799 137.818 787.799 132.643V72.9843H818.183V183.875H791.126L790.017 164.58C786.321 171.973 781.22 177.443 774.714 180.992C768.357 184.392 760.668 186.093 751.649 186.093ZM850.156 183.875V72.9843H876.548L878.544 94.7188C881.501 87.0304 885.789 81.1162 891.408 76.9763C897.174 72.8364 904.345 70.7664 912.92 70.7664C915.434 70.7664 917.726 70.9882 919.796 71.4318C921.866 71.8753 923.566 72.4668 924.897 73.206L921.348 98.7109C919.87 98.1195 918.021 97.6759 915.804 97.3802C913.734 97.0845 910.998 96.9367 907.598 96.9367C903.162 96.9367 898.874 98.0456 894.734 100.263C890.594 102.333 887.194 105.586 884.532 110.022C881.871 114.31 880.54 119.78 880.54 126.434V183.875H850.156ZM985.045 186.093C973.808 186.093 963.532 184.097 954.217 180.105C945.05 176.113 937.583 170.494 931.817 163.249L949.338 145.507C952.886 150.83 957.618 155.191 963.532 158.592C969.446 161.993 976.469 163.693 984.601 163.693C990.367 163.693 994.951 162.88 998.351 161.253C1001.9 159.479 1003.67 156.744 1003.67 153.047C1003.67 150.682 1002.86 148.686 1001.23 147.059C999.608 145.285 996.355 143.88 991.476 142.845L971.959 138.853C959.096 136.192 949.929 132.2 944.459 126.877C939.136 121.407 936.474 114.383 936.474 105.808C936.474 99.7459 938.249 94.0535 941.797 88.7307C945.494 83.408 950.964 79.1202 958.209 75.8674C965.454 72.4668 974.473 70.7664 985.266 70.7664C996.355 70.7664 1005.97 72.5407 1014.1 76.0892C1022.38 79.4898 1028.88 84.5908 1033.61 91.3921L1015.43 109.135C1012.18 103.96 1007.89 100.042 1002.57 97.3802C997.39 94.571 991.92 93.1664 986.153 93.1664C982.014 93.1664 978.465 93.6099 975.508 94.4971C972.551 95.3842 970.333 96.6409 968.854 98.2673C967.376 99.7459 966.637 101.668 966.637 104.034C966.637 106.399 967.672 108.469 969.742 110.244C971.812 111.87 975.582 113.275 981.052 114.457L1003.67 119.115C1014.62 121.333 1022.45 125.103 1027.18 130.426C1031.91 135.601 1034.28 141.884 1034.28 149.277C1034.28 156.374 1032.36 162.732 1028.51 168.35C1024.82 173.821 1019.27 178.183 1011.88 181.435C1004.64 184.54 995.69 186.093 985.045 186.093ZM1073.81 57.016C1067.45 57.016 1062.72 55.6853 1059.62 53.0239C1056.51 50.2147 1054.96 46.1487 1054.96 40.8259C1054.96 35.3553 1056.51 31.2893 1059.62 28.628C1062.72 25.8187 1067.45 24.4141 1073.81 24.4141C1080.17 24.4141 1084.9 25.8187 1088.01 28.628C1091.11 31.2893 1092.66 35.3553 1092.66 40.8259C1092.66 46.1487 1091.11 50.2147 1088.01 53.0239C1084.9 55.6853 1080.17 57.016 1073.81 57.016ZM1088.89 72.9843V183.875H1058.51V72.9843H1088.89ZM1193.85 72.9843H1225.34L1183.2 183.875H1148.16L1106.02 72.9843H1138.4L1165.9 160.588L1193.85 72.9843ZM1292.33 186.093C1280.65 186.093 1270.44 183.801 1261.72 179.218C1253.14 174.634 1246.49 168.055 1241.76 159.479C1237.03 150.903 1234.66 140.554 1234.66 128.43C1234.66 116.306 1237.03 105.956 1241.76 97.3802C1246.49 88.8047 1253.07 82.2252 1261.5 77.6417C1270.07 73.0582 1279.83 70.7664 1290.77 70.7664C1302.01 70.7664 1311.55 73.0582 1319.38 77.6417C1327.22 82.0773 1333.21 88.2132 1337.35 96.0495C1341.49 103.738 1343.56 112.535 1343.56 122.442C1343.56 125.399 1343.48 128.208 1343.34 130.869C1343.19 133.531 1342.97 135.896 1342.67 137.966H1254.18V116.897H1329.36L1314.73 122.22C1314.73 112.905 1312.58 105.734 1308.29 100.707C1304.15 95.6799 1298.24 93.1664 1290.55 93.1664C1284.93 93.1664 1280.05 94.4971 1275.91 97.1584C1271.92 99.8198 1268.89 103.812 1266.82 109.135C1264.75 114.31 1263.72 120.889 1263.72 128.873C1263.72 136.709 1264.83 143.215 1267.04 148.39C1269.41 153.417 1272.66 157.187 1276.8 159.701C1281.09 162.214 1286.19 163.471 1292.1 163.471C1298.61 163.471 1303.86 162.214 1307.85 159.701C1311.84 157.187 1314.95 153.713 1317.17 149.277L1341.34 158.592C1338.97 164.358 1335.35 169.311 1330.47 173.451C1325.74 177.591 1320.05 180.77 1313.4 182.988C1306.89 185.058 1299.87 186.093 1292.33 186.093Z"
fill="currentColor"
/>
</svg>
</span>
),
project: {
link: "https://github.com/minskylab/recursive-lecture",
},
chat: {
link: "https://discord.com",
},
docsRepositoryBase:
"https://github.com/minskylab/frecursive-lecture/tree/main",
footer: {
text: "Recursive Lecture - Minsky",
},
primaryHue: 34,
useNextSeoProps: () => ({
titleTemplate: "%s – Recursive Lecture",
}),
head: () => {
return (
<>
<link rel="icon" href="/favicon.svg" type="image/svg+xml" />
<link rel="icon" href="/favicon.png" type="image/png" />
</>
);
},
};
export default config;