From 83b1d40c157b1e093962f5389da64c42e569ebf2 Mon Sep 17 00:00:00 2001 From: Landon Taylor Date: Fri, 13 Jun 2025 15:13:48 -0600 Subject: [PATCH] rebuild --- about/index.html | 14 + android-chrome-192x192 copy.png | Bin 1005 -> 0 bytes android-chrome-192x192.png | Bin 1005 -> 0 bytes android-chrome-512x512 copy.png | Bin 5617 -> 0 bytes android-chrome-512x512.png | Bin 5617 -> 0 bytes apple-touch-icon copy.png | Bin 914 -> 0 bytes apple-touch-icon.png | Bin 914 -> 0 bytes contribute/index.html | 14 + ...691b4b53d252beaf465990992181819c6dd200.css | 640 ----------------- ...6d3912b75f05d5d2892d3bc718274a7468e887.css | 640 ----------------- ...eecc9323aba90bd059afaa8cab4f01149f7898.css | 640 ----------------- ...dab3fb0bf40e1b6f686bc3f10d03246d027d29.css | 640 ----------------- ...104aa937aad9683dc00bd9ba251f0c386cdd70.css | 640 ----------------- ...897fcb8805ed2f6fc0c232c75be051a177e8f6.css | 639 ----------------- ...cbcf5a0dbadd62760226df965ec3dbb86dfa41.css | 640 ----------------- ...26872e0ff61d1d5204287a0c3c8b6e8e34b6b9.css | 620 ----------------- ...d7e8055a60a99b02eea96eb03acacb2659f08a.css | 640 ----------------- ...3a1c3a8a5d75ebfc83e160333112e4f33d68d8.css | 640 ----------------- ...998f7c8bcdc05825337eef616dbd49e7328e3e.css | 639 ----------------- ...340f395c49749fe3a4e11392fe59be5f941282.css | 627 ----------------- ...47232d75c2370b5f1d25ab55a532e03f6ba419.css | 641 ------------------ favicon copy.ico | Bin 15406 -> 0 bytes favicon-16x16 copy.png | Bin 87 -> 0 bytes favicon-32x32 copy.png | Bin 102 -> 0 bytes favicon_io/android-chrome-192x192.png | Bin 1005 -> 0 bytes favicon_io/android-chrome-512x512.png | Bin 5617 -> 0 bytes favicon_io/apple-touch-icon.png | Bin 6923 -> 0 bytes favicon_io/favicon-16x16.png | Bin 87 -> 0 bytes favicon_io/favicon-32x32.png | Bin 102 -> 0 bytes favicon_io/favicon.ico | Bin 15406 -> 0 bytes favicon_io/site.webmanifest | 1 - index.html | 277 ++++---- index.xml | 56 +- license/index.html | 14 + maintenance/unknown/index.html | 122 ---- maintenance/unknown/index.xml | 11 - privacy/index.html | 14 + site.webmanifest | 1 - sitemap.xml | 20 +- tools/prob/comics/index.html | 2 +- tools/prob/storm-copy/index.html | 550 --------------- tools/sat-smt/e-copy/index.html | 329 --------- tools/sat-smt/vampire-copy/index.html | 329 --------- 43 files changed, 236 insertions(+), 9804 deletions(-) delete mode 100644 android-chrome-192x192 copy.png delete mode 100644 android-chrome-192x192.png delete mode 100644 android-chrome-512x512 copy.png delete mode 100644 android-chrome-512x512.png delete mode 100644 apple-touch-icon copy.png delete mode 100644 apple-touch-icon.png delete mode 100644 css/styles.0277d1714bd680ab748db439eb5ba3a01878c7fc0c2454d169b97e4e18ced623e2346f2d80ddf3b512abafbf4b691b4b53d252beaf465990992181819c6dd200.css delete mode 100644 css/styles.087ff949adeb037c9d6370b3a80a17a4b8f4204b6fdf8cb5a90bad5ce63d3f2544441f97ae4816783cef4a07366d3912b75f05d5d2892d3bc718274a7468e887.css delete mode 100644 css/styles.18b7f5118d1dcf0e8f3d7435b8e20b3123ce1f2a6b4c4d8f1a7c57146f48e5edb58dae611a93b4553219d54eb4eecc9323aba90bd059afaa8cab4f01149f7898.css delete mode 100644 css/styles.1c30669efbad6e9c5eadc5dd780867ab0f98c06db8b75428718e33f9f2e178784c105e51b68a377dec81c529aadab3fb0bf40e1b6f686bc3f10d03246d027d29.css delete mode 100644 css/styles.2deb1a8fcb78105cb53040860ad7e932dfbe5d2294174212986b85c14582497ac987f7269d84839aa49597a2d3104aa937aad9683dc00bd9ba251f0c386cdd70.css delete mode 100644 css/styles.32e14209d14690574fc586eaf6c8e3646751df5aa66d4249a5e22d4b4ea0bdcc23b4e88aa5a625fef7d90b4966897fcb8805ed2f6fc0c232c75be051a177e8f6.css delete mode 100644 css/styles.578881480ce66a12f64771a4e0739355e385e34f80ac1cb42838023ce21f2b1e6e6cae32b6f6311a958e68d9d1cbcf5a0dbadd62760226df965ec3dbb86dfa41.css delete mode 100644 css/styles.9d797fdbc9887767b3ad88393155cb84288660765fe6e18c89e2e00fd5ecfb0b9f46384188a0ae4e8b63f4c81526872e0ff61d1d5204287a0c3c8b6e8e34b6b9.css delete mode 100644 css/styles.b66e385fd50f900667398f3d748f95f200501822c897d1bf8b45292ea077d761348f7962021c16995dcbb8fe7ed7e8055a60a99b02eea96eb03acacb2659f08a.css delete mode 100644 css/styles.cccc9b579e6530591e43f498830c7b929d88df3c45da07b91ea167e31179e0d72afe23418c5c10ee0ba73ddb8c3a1c3a8a5d75ebfc83e160333112e4f33d68d8.css delete mode 100644 css/styles.d4f303f1ff2cc812b2e0b183220644579ba7aa860938854dafccb29277d93943d3561dee6700ff044cb4325f6f998f7c8bcdc05825337eef616dbd49e7328e3e.css delete mode 100644 css/styles.ebf2566cba8f43f92944cd7386e2406d102cd1549d0eb96c8aad4719a336e4ee8b4e1b4171a11d912b19a8a176340f395c49749fe3a4e11392fe59be5f941282.css delete mode 100644 css/styles.fc75b23e06647821502a4513924807f5f51292b031cbb185dac8461df71993ee1b734acd2a13cc0e7e8b3c992e47232d75c2370b5f1d25ab55a532e03f6ba419.css delete mode 100644 favicon copy.ico delete mode 100644 favicon-16x16 copy.png delete mode 100644 favicon-32x32 copy.png delete mode 100644 favicon_io/android-chrome-192x192.png delete mode 100644 favicon_io/android-chrome-512x512.png delete mode 100644 favicon_io/apple-touch-icon.png delete mode 100644 favicon_io/favicon-16x16.png delete mode 100644 favicon_io/favicon-32x32.png delete mode 100644 favicon_io/favicon.ico delete mode 100644 favicon_io/site.webmanifest delete mode 100644 maintenance/unknown/index.html delete mode 100644 maintenance/unknown/index.xml delete mode 100644 site.webmanifest delete mode 100644 tools/prob/storm-copy/index.html delete mode 100644 tools/sat-smt/e-copy/index.html delete mode 100644 tools/sat-smt/vampire-copy/index.html diff --git a/about/index.html b/about/index.html index e3703bd..e935be7 100644 --- a/about/index.html +++ b/about/index.html @@ -110,7 +110,21 @@ I wanted to solve this problem, so I have been chipping away at this website for +
+
+ Help improve this page!
+ Submit an + issue or + pull request. +
+
+ + + Updated +
+ +
diff --git a/android-chrome-192x192 copy.png b/android-chrome-192x192 copy.png deleted file mode 100644 index c414e349d5665604ce13409411a8973235a12a6b..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 1005 zcmeAS@N?(olHy`uVBq!ia0vp^2SAvE4M+yv$zf+;VBX^C;uum9_x3U)BLf3Rv%&rS zTO4QbKG;;u)55EBhHq}8aD%#sw17iZ-3O)*%$dwg9_RVv80r*q9T;BzJji{3e+e&# zf~|c8jU;nY%CMz$?swK<8Z5i;nL@3@do)(!$!kw gG-*(ho&GRy{mO9g`MmZ`z--Lm>FVdQ&MBb@0I5%XVgLXD diff --git a/android-chrome-192x192.png b/android-chrome-192x192.png deleted file mode 100644 index c414e349d5665604ce13409411a8973235a12a6b..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 1005 zcmeAS@N?(olHy`uVBq!ia0vp^2SAvE4M+yv$zf+;VBX^C;uum9_x3U)BLf3Rv%&rS zTO4QbKG;;u)55EBhHq}8aD%#sw17iZ-3O)*%$dwg9_RVv80r*q9T;BzJji{3e+e&# zf~|c8jU;nY%CMz$?swK<8Z5i;nL@3@do)(!$!kw gG-*(ho&GRy{mO9g`MmZ`z--Lm>FVdQ&MBb@0I5%XVgLXD diff --git a/android-chrome-512x512 copy.png b/android-chrome-512x512 copy.png deleted file mode 100644 index 4beec017eddcfe6ee6627996f8c1f4e5ffcfa836..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 5617 zcmeAS@N?(olHy`uVBq!ia0y~yU;;9k7&zE~)R&4YzZe)qcX+xuhE&A8z2?Zsz`(&| z_%i;Mg1NLo&4ywY4gm#+1_!@{oky62fh-0_rgVl1CMJ-$fQSJ@)6#AqkRS^WgFRT5 zrHP5nVMED8PLRF^#s};W0|E{(a7@!P0xIMXFktut(!n9X!6m_P@RF+v3}z^3Brvdei_ZjWlwha>+sVPg%F~eWQVHTP<^%j7I~f`mG%yP2 z#HN7Vn85G@Y}Ke^fgv{Z~!pA8(!W$<+Mb6Mw< G&;$SjXL1Pu diff --git a/android-chrome-512x512.png b/android-chrome-512x512.png deleted file mode 100644 index 4beec017eddcfe6ee6627996f8c1f4e5ffcfa836..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 5617 zcmeAS@N?(olHy`uVBq!ia0y~yU;;9k7&zE~)R&4YzZe)qcX+xuhE&A8z2?Zsz`(&| z_%i;Mg1NLo&4ywY4gm#+1_!@{oky62fh-0_rgVl1CMJ-$fQSJ@)6#AqkRS^WgFRT5 zrHP5nVMED8PLRF^#s};W0|E{(a7@!P0xIMXFktut(!n9X!6m_P@RF+v3}z^3Brvdei_ZjWlwha>+sVPg%F~eWQVHTP<^%j7I~f`mG%yP2 z#HN7Vn85G@Y}Ke^fgv{Z~!pA8(!W$<+Mb6Mw< G&;$SjXL1Pu diff --git a/apple-touch-icon copy.png b/apple-touch-icon copy.png deleted file mode 100644 index d28000344c410ca9fb7488e05fc2983e461c93d3..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 914 zcmeAS@N?(olHy`uVBq!ia0vp^TR@nD4M^IaWiw)6V2<>3aSW-5dwYqImw|!fu)(|g zCU(;vJy>kL++oE5r)ZzR2Muisp$spsSobo{Y7Ajq5d7YRErTtHwZU)iWr+on9-<6Z oU;UCB(nb}H2Ek}5KxBkUn~MxvS@~oOfq9L=)78&qol`;+0E_fV>Hq)$ diff --git a/apple-touch-icon.png b/apple-touch-icon.png deleted file mode 100644 index d28000344c410ca9fb7488e05fc2983e461c93d3..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 914 zcmeAS@N?(olHy`uVBq!ia0vp^TR@nD4M^IaWiw)6V2<>3aSW-5dwYqImw|!fu)(|g zCU(;vJy>kL++oE5r)ZzR2Muisp$spsSobo{Y7Ajq5d7YRErTtHwZU)iWr+on9-<6Z oU;UCB(nb}H2Ek}5KxBkUn~MxvS@~oOfq9L=)78&qol`;+0E_fV>Hq)$ diff --git a/contribute/index.html b/contribute/index.html index 3c8963d..893a55d 100644 --- a/contribute/index.html +++ b/contribute/index.html @@ -102,7 +102,21 @@ Request addding a tool: Submit"> +
+
+ Help improve this page!
+ Submit an + issue or + pull request. +
+
+ + + Updated +
+ +
diff --git a/css/styles.0277d1714bd680ab748db439eb5ba3a01878c7fc0c2454d169b97e4e18ced623e2346f2d80ddf3b512abafbf4b691b4b53d252beaf465990992181819c6dd200.css b/css/styles.0277d1714bd680ab748db439eb5ba3a01878c7fc0c2454d169b97e4e18ced623e2346f2d80ddf3b512abafbf4b691b4b53d252beaf465990992181819c6dd200.css deleted file mode 100644 index b72931f..0000000 --- a/css/styles.0277d1714bd680ab748db439eb5ba3a01878c7fc0c2454d169b97e4e18ced623e2346f2d80ddf3b512abafbf4b691b4b53d252beaf465990992181819c6dd200.css +++ /dev/null @@ -1,640 +0,0 @@ -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 100; - src: local("Source Sans 3 ExtraLight"), local("SourceSans3-ExtraLight"), url("/fonts/static/SourceSans3-ExtraLight.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraLight.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 200; - src: local("Source Sans 3 ExtraLight"), local("SourceSans3-ExtraLight"), url("/fonts/static/SourceSans3-ExtraLight.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraLight.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 300; - src: local("Source Sans 3 Light"), local("SourceSans3-Light"), url("/fonts/static/SourceSans3-Light.woff2") format("woff2"), url("/fonts/static/SourceSans3-Light.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 400; - src: local("Source Sans 3 Regular"), local("SourceSans3-Regular"), url("/fonts/static/SourceSans3-Regular.woff2") format("woff2"), url("/fonts/static/SourceSans3-Regular.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: italic; - font-display: swap; - font-weight: 400; - src: local("Source Sans 3 Italic"), local("SourceSans3-Italic"), url("/fonts/static/SourceSans3-Italic.woff2") format("woff2"), url("/fonts/static/SourceSans3-Italic.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 500; - src: local("Source Sans 3 Medium"), local("SourceSans3-Medium"), url("/fonts/static/SourceSans3-Medium.woff2") format("woff2"), url("/fonts/static/SourceSans3-Medium.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 600; - src: local("Source Sans 3 SemiBold"), local("SourceSans3-SemiBold"), url("/fonts/static/SourceSans3-SemiBold.woff2") format("woff2"), url("/fonts/static/SourceSans3-SemiBold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 700; - src: local("Source Sans 3 Bold"), local("SourceSans3-Bold"), url("/fonts/static/SourceSans3-Bold.woff2") format("woff2"), url("/fonts/static/SourceSans3-Bold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: italic; - font-display: swap; - font-weight: 700; - src: local("Source Sans 3 Bold Italic"), local("SourceSans3-BoldItalic"), url("/fonts/static/SourceSans3-BoldItalic.woff2") format("woff2"), url("/fonts/static/SourceSans3-BoldItalic.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 800; - src: local("Source Sans 3 ExtraBold"), local("SourceSans3-ExtraBold"), url("/fonts/static/SourceSans3-ExtraBold.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraBold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 900; - src: local("Source Sans 3 Black"), local("SourceSans3-Black"), url("/fonts/static/SourceSans3-Black.woff2") format("woff2"), url("/fonts/static/SourceSans3-Black.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Code Pro'; - font-style: normal; - font-display: swap; - font-weight: 600; - src: local("Source Code Pro Medium"), local("SourceCodePro-Medium"), url("/fonts/static/SourceCodePro-Medium.woff2") format("woff2"), url("/fonts/static/SourceCodePro-Medium.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Code Pro'; - font-style: italic; - font-display: swap; - font-weight: 600; - src: local("Source Code Pro Medium Italic"), local("SourceCodePro-MediumItalic"), url("/fonts/static/SourceCodePro-MediumItalic.woff2") format("woff2"), url("/fonts/static/SourceCodePro-MediumItalic.ttf") format("truetype"); -} - -* { - font-family: 'Source Sans 3', sans-serif; -} - -code { - font-family: 'Source Code Pro', monospace; -} - -/* _layout.sass */ -/* Variables */ -html { - background: #0a0c11; -} - -/* Base Layout */ -body { - background: #10131a; - color: #ffffff; - font-family: 'Segoe UI', 'Helvetica Neue', Arial, sans-serif; - width: 100%; - height: 100%; - max-width: 1024px; - margin: 1.5rem auto; - padding: 1.5rem; - box-sizing: border-box; - border-radius: 8px; -} - -header { - background: #1a1e29; - margin: 1.5rem; - padding: 1.5rem; - display: flex; - flex-wrap: wrap; - align-items: center; - justify-content: space-between; - border-radius: 8px; - margin: 0 auto; -} - -header h1, header h1 a { - margin: 0; - font-size: 1.6rem; - font-weight: 900; - color: #ffffff; - text-decoration: none; - padding: 0; - transition: color 0.4s ease-in-out; -} - -header h1:hover, header h1:focus, header h1 a:hover, header h1 a:focus { - color: #6fffd2; -} - -nav { - display: flex; - gap: 1.5rem; - align-items: center; -} - -nav ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - gap: 0.5rem; - flex-wrap: wrap; -} - -nav ul li { - margin: 0; - padding: 0; -} - -nav ul li a { - padding: 0.4rem 0.6rem; - border-radius: 8px; - background: #1a3e70; - color: #ffffff; - text-decoration: none; - font-weight: 500; - transition: background 0.4s ease-in-out; -} - -nav ul li a:hover, nav ul li a:focus { - background: #00897b; - color: #ffffff; -} - -@media (max-width: 600px) { - header { - flex-direction: column; - align-items: flex-start; - gap: 1.5rem; - } - nav { - width: 100%; - justify-content: flex-start; - margin-top: 1.5rem; - } -} - -main { - margin: 1.5rem 0; - padding: 1.5rem; -} - -footer { - background: #1a1e29; - margin: 1.5rem; - padding: 1.5rem; - border-radius: 8px; - margin: 0 auto; - text-align: center; -} - -footer p { - margin: 0; - font-size: 0.9rem; - color: #bfc9e6; - text-align: center; -} - -section { - border-bottom: 3px solid #1a1e29; - margin: 2rem 0; - padding-bottom: 2rem; -} - -#page-header { - border-bottom: 3px solid #1a1e29; - margin: 2rem 0; - padding-bottom: 2rem; - text-align: center; -} - -#page-header h1 { - margin: 0; - width: 100%; - font-size: 3rem; - word-break: break-word; -} - -#page-header .subtitle { - margin: 0; - width: 100%; - font-size: 1.2rem; - font-weight: 300; - color: #bfc9e6; -} - -.time { - font-size: 0.8rem; - color: #bfc9e6; - text-align: center; -} - -#tool-cards { - display: flex; - flex-wrap: wrap; - gap: 1.5rem; - justify-content: space-between; -} - -#tool-cards > article { - flex: 1 1 48%; - min-width: 300px; - max-width: 48%; - box-sizing: border-box; -} - -@media (max-width: 900px) { - #tool-cards > article { - flex-basis: 100%; - max-width: 100%; - } -} - -article { - background: #1a1e29; - border-radius: 8px; - padding: 1rem 2rem; - position: relative; - transition: background 0.5s ease-in-out; -} - -article:hover, article:focus { - background: #1a3e70; -} - -article h3 { - margin: 0; - font-size: 1.5rem; - font-weight: 700; - color: #ffffff; -} - -article a { - color: #ffffff; - position: absolute; - top: 0; - left: 0; - width: 100%; - height: 100%; - z-index: 1; - text-indent: -9999px; - overflow: hidden; - text-decoration: none; - transition: color 0.3s ease-in-out; -} - -article a:hover, article a:focus { - color: #6fffd2; -} - -article:not(a) { - position: relative; - z-index: 2; -} - -article p { - margin: 0.5rem 0; - font-size: 1rem; - color: #ffffff; - font-weight: 300; -} - -article .subtitle { - margin: 0 0 0 0.5rem; - width: 100%; - font-size: 1.1rem; - font-weight: 300; - color: #bfc9e6; -} - -.term-title { - font-weight: 700; - padding: 0.3rem 0.8rem; - margin-bottom: 0.5rem; - border-radius: 8px; -} - -p code { - background: #102747; - margin: 0 0.2rem; - padding: 0.2rem 0.4rem; - border-radius: 5px; - font-size: 0.8rem; -} - -pre { - padding: 0.5rem; - border-radius: 5px; - overflow-x: auto; -} - -pre code { - font-size: 0.8rem; -} - -.banner { - position: fixed; - top: 0; - width: 100%; - max-width: 1024px; - background-color: #1de9b6; - color: #0a0c11; - padding: 5px 0; - font-weight: 400; - text-align: center; - font-size: 1.1em; - border-radius: 0 0 8px 8px; - z-index: 1000; - font-size: 0.9rem; - height: 1.3rem; - margin-left: calc(0% - 1.5rem); -} - -.banner a { - color: #0a0c11; - text-decoration: underline; - font-weight: 700; - transition: color 0.3s ease-in-out; -} - -.banner a:hover, .banner a:focus { - color: #1a3e70; -} - -body:has(.banner) { - margin-top: 2.6rem; -} - -@media (max-width: 600px) { - .banner { - position: absolute; - top: 0; - width: calc(100% - 1.5rem); - max-width: 1024px; - background-color: #1de9b6; - color: #0a0c11; - padding: 5px; - font-weight: 400; - text-align: center; - font-size: 1.1em; - border-radius: 0 0 8px 8px; - z-index: 1000; - font-size: 0.9rem; - height: 4.3rem; - margin-left: calc(0% - 1.5rem); - } - .banner .banner-text { - display: block; - margin: 0 5px; - } - body:has(.banner) { - margin-top: 5.6rem; - } -} - -table#taxonomy-table { - width: 100%; - border-collapse: collapse; - box-sizing: border-box; - background: #1a1e29; - text-align: left; -} - -table#taxonomy-table tr { - border-bottom: 3px solid #10131a; -} - -table#taxonomy-table tr:nth-child(even) { - background: #161923; - transition: background 0.4s ease-in-out; -} - -table#taxonomy-table tr:nth-child(odd) { - background: #202532; - transition: background 0.4s ease-in-out; -} - -table#taxonomy-table tr:hover, table#taxonomy-table tr:focus { - background: #3a4054; -} - -table#taxonomy-table thead { - text-align: left; - border: none; - border-radius: 8px 8px 0 0; -} - -table#taxonomy-table th { - color: #ffffff; - background: #0a0c11 !important; - padding: 0.6rem 0.6rem; - text-align: left; - font-weight: 600; - border: none; -} - -table#taxonomy-table td { - padding: 0.3rem 0.6rem; - text-align: left; - font-weight: 600; - border: none; -} - -table#taxonomy-table td.description { - font-weight: 300; - color: #bfc9e6; -} - -table#taxonomy-table td.tool { - min-width: 100px; -} - -table#taxonomy-table a.term-link { - padding: 0.2rem 0.6rem; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - color: #ffffff; - transition: color 0.4s ease-in-out, background 0.4s ease-in-out; -} - -table#taxonomy-table a.term-link:hover, table#taxonomy-table a.term-link:focus { - color: #0a0c11 !important; - background: #bfc9e6 !important; -} - -table#taxonomy-table a.taxonomy-name { - padding: 0; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - color: #ffffff; - transition: color 0.4s ease-in-out; -} - -table#taxonomy-table a.taxonomy-name:hover, table#taxonomy-table a.taxonomy-name:focus { - color: #6fffd2; -} - -table#taxonomy-table a { - color: #ffffff; - text-decoration: none; -} - -table#taxonomy-table a:hover, table#taxonomy-table a:focus { - color: #1de9b6; -} - -#taxonomy-page a.term-link { - padding: 0.3rem 1.2rem; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - font-size: 1.2rem; - color: #ffffff; - transition: color 0.4s ease-in-out, background 0.4s ease-in-out; -} - -#taxonomy-page a.term-link:hover, #taxonomy-page a.term-link:focus { - color: #0a0c11 !important; - background: #bfc9e6 !important; -} - -/* _text.sass */ -a { - color: #6fffd2; - text-decoration: underline; - transition: color 0.3s ease-in-out; -} - -a:hover, a:focus { - color: #3380ff; -} - -#quick-links { - text-align: left; -} - -#link-list { - display: flex; - gap: 1.5rem; - align-items: center; - flex-wrap: wrap; - margin: 2rem 0 1.5rem 0; - justify-content: center; -} - -#link-list h2 { - flex: none; -} - -#link-list ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - gap: 1rem; - flex-wrap: wrap; -} - -#link-list ul li { - margin: 0; - padding: 0; -} - -#link-list ul li a { - padding: 0.3rem 0.6rem; - border-radius: 8px; - background: #8fc6ff; - color: #0a0c11; - text-decoration: none; - font-weight: 500; - transition: background 0.3s ease-in-out; -} - -#link-list ul li a:hover, #link-list ul li a:focus { - background: #6fffd2; -} - -a.button { - padding: 0.3rem 0.6rem; - margin: 0 0.2rem; - border-radius: 8px; - background: #8fc6ff; - color: #0a0c11; - text-decoration: none; - font-weight: 500; - transition: background 0.3s ease-in-out; -} - -a.button:hover, a.button:focus { - background: #6fffd2; -} - -#publications { - font-weight: 300; -} - -#publications ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - flex-direction: column; - gap: 1em; -} - -#publications ul li { - background: #1a1e29; - border-radius: 8px; - padding: 1em 1.5em; -} - -#publications a { - color: #8fc6ff; - text-decoration: none; - font-weight: 100; - transition: color 0.3s ease-in-out; -} - -#publications a:hover, #publications a:focus { - color: #6fffd2; -} - -/*# sourceMappingURL=styles.css.map */ \ No newline at end of file diff --git a/css/styles.087ff949adeb037c9d6370b3a80a17a4b8f4204b6fdf8cb5a90bad5ce63d3f2544441f97ae4816783cef4a07366d3912b75f05d5d2892d3bc718274a7468e887.css b/css/styles.087ff949adeb037c9d6370b3a80a17a4b8f4204b6fdf8cb5a90bad5ce63d3f2544441f97ae4816783cef4a07366d3912b75f05d5d2892d3bc718274a7468e887.css deleted file mode 100644 index 3759333..0000000 --- a/css/styles.087ff949adeb037c9d6370b3a80a17a4b8f4204b6fdf8cb5a90bad5ce63d3f2544441f97ae4816783cef4a07366d3912b75f05d5d2892d3bc718274a7468e887.css +++ /dev/null @@ -1,640 +0,0 @@ -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 100; - src: local("Source Sans 3 ExtraLight"), local("SourceSans3-ExtraLight"), url("/fonts/static/SourceSans3-ExtraLight.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraLight.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 200; - src: local("Source Sans 3 ExtraLight"), local("SourceSans3-ExtraLight"), url("/fonts/static/SourceSans3-ExtraLight.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraLight.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 300; - src: local("Source Sans 3 Light"), local("SourceSans3-Light"), url("/fonts/static/SourceSans3-Light.woff2") format("woff2"), url("/fonts/static/SourceSans3-Light.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 400; - src: local("Source Sans 3 Regular"), local("SourceSans3-Regular"), url("/fonts/static/SourceSans3-Regular.woff2") format("woff2"), url("/fonts/static/SourceSans3-Regular.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: italic; - font-display: swap; - font-weight: 400; - src: local("Source Sans 3 Italic"), local("SourceSans3-Italic"), url("/fonts/static/SourceSans3-Italic.woff2") format("woff2"), url("/fonts/static/SourceSans3-Italic.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 500; - src: local("Source Sans 3 Medium"), local("SourceSans3-Medium"), url("/fonts/static/SourceSans3-Medium.woff2") format("woff2"), url("/fonts/static/SourceSans3-Medium.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 600; - src: local("Source Sans 3 SemiBold"), local("SourceSans3-SemiBold"), url("/fonts/static/SourceSans3-SemiBold.woff2") format("woff2"), url("/fonts/static/SourceSans3-SemiBold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 700; - src: local("Source Sans 3 Bold"), local("SourceSans3-Bold"), url("/fonts/static/SourceSans3-Bold.woff2") format("woff2"), url("/fonts/static/SourceSans3-Bold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: italic; - font-display: swap; - font-weight: 700; - src: local("Source Sans 3 Bold Italic"), local("SourceSans3-BoldItalic"), url("/fonts/static/SourceSans3-BoldItalic.woff2") format("woff2"), url("/fonts/static/SourceSans3-BoldItalic.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 800; - src: local("Source Sans 3 ExtraBold"), local("SourceSans3-ExtraBold"), url("/fonts/static/SourceSans3-ExtraBold.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraBold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 900; - src: local("Source Sans 3 Black"), local("SourceSans3-Black"), url("/fonts/static/SourceSans3-Black.woff2") format("woff2"), url("/fonts/static/SourceSans3-Black.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Code Pro'; - font-style: normal; - font-display: swap; - font-weight: 600; - src: local("Source Code Pro Medium"), local("SourceCodePro-Medium"), url("/fonts/static/SourceCodePro-Medium.woff2") format("woff2"), url("/fonts/static/SourceCodePro-Medium.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Code Pro'; - font-style: italic; - font-display: swap; - font-weight: 600; - src: local("Source Code Pro Medium Italic"), local("SourceCodePro-MediumItalic"), url("/fonts/static/SourceCodePro-MediumItalic.woff2") format("woff2"), url("/fonts/static/SourceCodePro-MediumItalic.ttf") format("truetype"); -} - -* { - font-family: 'Source Sans 3', sans-serif; -} - -code { - font-family: 'Source Code Pro', monospace; -} - -/* _layout.sass */ -/* Variables */ -html { - background: #0a0c11; -} - -/* Base Layout */ -body { - background: #10131a; - color: #ffffff; - font-family: 'Segoe UI', 'Helvetica Neue', Arial, sans-serif; - width: 100%; - height: 100%; - max-width: 1024px; - margin: 1.5rem auto; - padding: 1.5rem; - box-sizing: border-box; - border-radius: 8px; -} - -header { - background: #1a1e29; - margin: 1.5rem; - padding: 1.5rem; - display: flex; - flex-wrap: wrap; - align-items: center; - justify-content: space-between; - border-radius: 8px; - margin: 0 auto; -} - -header h1, header h1 a { - margin: 0; - font-size: 1.6rem; - font-weight: 900; - color: #ffffff; - text-decoration: none; - padding: 0; - transition: color 0.4s ease-in-out; -} - -header h1:hover, header h1:focus, header h1 a:hover, header h1 a:focus { - color: #6fffd2; -} - -nav { - display: flex; - gap: 1.5rem; - align-items: center; -} - -nav ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - gap: 0.5rem; - flex-wrap: wrap; -} - -nav ul li { - margin: 0; - padding: 0; -} - -nav ul li a { - padding: 0.4rem 0.6rem; - border-radius: 8px; - background: #1a3e70; - color: #ffffff; - text-decoration: none; - font-weight: 500; - transition: background 0.4s ease-in-out; -} - -nav ul li a:hover, nav ul li a:focus { - background: #00897b; - color: #ffffff; -} - -@media (max-width: 600px) { - header { - flex-direction: column; - align-items: flex-start; - gap: 1.5rem; - } - nav { - width: 100%; - justify-content: flex-start; - margin-top: 1.5rem; - } -} - -main { - margin: 1.5rem 0; - padding: 1.5rem; -} - -footer { - background: #1a1e29; - margin: 1.5rem; - padding: 1.5rem; - border-radius: 8px; - margin: 0 auto; - text-align: center; -} - -footer p { - margin: 0; - font-size: 0.9rem; - color: #bfc9e6; - text-align: center; -} - -section { - border-bottom: 3px solid #1a1e29; - margin: 2rem 0; - padding-bottom: 2rem; -} - -#page-header { - border-bottom: 3px solid #1a1e29; - margin: 2rem 0; - padding-bottom: 2rem; - text-align: center; -} - -#page-header h1 { - margin: 0; - width: 100%; - font-size: 3rem; - word-break: break-word; -} - -#page-header .subtitle { - margin: 0; - width: 100%; - font-size: 1.2rem; - font-weight: 300; - color: #bfc9e6; -} - -.time { - font-size: 0.8rem; - color: #bfc9e6; - text-align: center; -} - -#tool-cards { - display: flex; - flex-wrap: wrap; - gap: 1.5rem; - justify-content: space-between; -} - -#tool-cards > article { - flex: 1 1 48%; - min-width: 300px; - max-width: 48%; - box-sizing: border-box; -} - -@media (max-width: 900px) { - #tool-cards > article { - flex-basis: 100%; - max-width: 100%; - } -} - -article { - background: #1a1e29; - border-radius: 8px; - padding: calc($spacing-unit / 2); - position: relative; - transition: background 0.5s ease-in-out; -} - -article:hover, article:focus { - background: #1a3e70; -} - -article h3 { - margin: 0; - font-size: 1.5rem; - font-weight: 700; - color: #ffffff; -} - -article a { - color: #ffffff; - position: absolute; - top: 0; - left: 0; - width: 100%; - height: 100%; - z-index: 1; - text-indent: -9999px; - overflow: hidden; - text-decoration: none; - transition: color 0.3s ease-in-out; -} - -article a:hover, article a:focus { - color: #6fffd2; -} - -article:not(a) { - position: relative; - z-index: 2; -} - -article p { - margin: 0.5rem 0; - font-size: 1rem; - color: #ffffff; - font-weight: 300; -} - -article .subtitle { - margin: 0 0 0 0.5rem; - width: 100%; - font-size: 1.1rem; - font-weight: 300; - color: #bfc9e6; -} - -.term-title { - font-weight: 700; - padding: 0.3rem 0.8rem; - margin-bottom: 0.5rem; - border-radius: 8px; -} - -p code { - background: #102747; - margin: 0 0.2rem; - padding: 0.2rem 0.4rem; - border-radius: 5px; - font-size: 0.8rem; -} - -pre { - padding: 0.5rem; - border-radius: 5px; - overflow-x: auto; -} - -pre code { - font-size: 0.8rem; -} - -.banner { - position: fixed; - top: 0; - width: 100%; - max-width: 1024px; - background-color: #1de9b6; - color: #0a0c11; - padding: 5px 0; - font-weight: 400; - text-align: center; - font-size: 1.1em; - border-radius: 0 0 8px 8px; - z-index: 1000; - font-size: 0.9rem; - height: 1.3rem; - margin-left: calc(0% - 1.5rem); -} - -.banner a { - color: #0a0c11; - text-decoration: underline; - font-weight: 700; - transition: color 0.3s ease-in-out; -} - -.banner a:hover, .banner a:focus { - color: #1a3e70; -} - -body:has(.banner) { - margin-top: 2.6rem; -} - -@media (max-width: 600px) { - .banner { - position: absolute; - top: 0; - width: calc(100% - 1.5rem); - max-width: 1024px; - background-color: #1de9b6; - color: #0a0c11; - padding: 5px; - font-weight: 400; - text-align: center; - font-size: 1.1em; - border-radius: 0 0 8px 8px; - z-index: 1000; - font-size: 0.9rem; - height: 4.3rem; - margin-left: calc(0% - 1.5rem); - } - .banner .banner-text { - display: block; - margin: 0 5px; - } - body:has(.banner) { - margin-top: 5.6rem; - } -} - -table#taxonomy-table { - width: 100%; - border-collapse: collapse; - box-sizing: border-box; - background: #1a1e29; - text-align: left; -} - -table#taxonomy-table tr { - border-bottom: 3px solid #10131a; -} - -table#taxonomy-table tr:nth-child(even) { - background: #161923; - transition: background 0.4s ease-in-out; -} - -table#taxonomy-table tr:nth-child(odd) { - background: #202532; - transition: background 0.4s ease-in-out; -} - -table#taxonomy-table tr:hover, table#taxonomy-table tr:focus { - background: #3a4054; -} - -table#taxonomy-table thead { - text-align: left; - border: none; - border-radius: 8px 8px 0 0; -} - -table#taxonomy-table th { - color: #ffffff; - background: #0a0c11 !important; - padding: 0.6rem 0.6rem; - text-align: left; - font-weight: 600; - border: none; -} - -table#taxonomy-table td { - padding: 0.3rem 0.6rem; - text-align: left; - font-weight: 600; - border: none; -} - -table#taxonomy-table td.description { - font-weight: 300; - color: #bfc9e6; -} - -table#taxonomy-table td.tool { - min-width: 100px; -} - -table#taxonomy-table a.term-link { - padding: 0.2rem 0.6rem; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - color: #ffffff; - transition: color 0.4s ease-in-out, background 0.4s ease-in-out; -} - -table#taxonomy-table a.term-link:hover, table#taxonomy-table a.term-link:focus { - color: #0a0c11 !important; - background: #bfc9e6 !important; -} - -table#taxonomy-table a.taxonomy-name { - padding: 0; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - color: #ffffff; - transition: color 0.4s ease-in-out; -} - -table#taxonomy-table a.taxonomy-name:hover, table#taxonomy-table a.taxonomy-name:focus { - color: #6fffd2; -} - -table#taxonomy-table a { - color: #ffffff; - text-decoration: none; -} - -table#taxonomy-table a:hover, table#taxonomy-table a:focus { - color: #1de9b6; -} - -#taxonomy-page a.term-link { - padding: 0.3rem 1.2rem; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - font-size: 1.2rem; - color: #ffffff; - transition: color 0.4s ease-in-out, background 0.4s ease-in-out; -} - -#taxonomy-page a.term-link:hover, #taxonomy-page a.term-link:focus { - color: #0a0c11 !important; - background: #bfc9e6 !important; -} - -/* _text.sass */ -a { - color: #6fffd2; - text-decoration: underline; - transition: color 0.3s ease-in-out; -} - -a:hover, a:focus { - color: #3380ff; -} - -#quick-links { - text-align: left; -} - -#link-list { - display: flex; - gap: 1.5rem; - align-items: center; - flex-wrap: wrap; - margin: 2rem 0 1.5rem 0; - justify-content: center; -} - -#link-list h2 { - flex: none; -} - -#link-list ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - gap: 1rem; - flex-wrap: wrap; -} - -#link-list ul li { - margin: 0; - padding: 0; -} - -#link-list ul li a { - padding: 0.3rem 0.6rem; - border-radius: 8px; - background: #8fc6ff; - color: #0a0c11; - text-decoration: none; - font-weight: 500; - transition: background 0.3s ease-in-out; -} - -#link-list ul li a:hover, #link-list ul li a:focus { - background: #6fffd2; -} - -a.button { - padding: 0.3rem 0.6rem; - margin: 0 0.2rem; - border-radius: 8px; - background: #8fc6ff; - color: #0a0c11; - text-decoration: none; - font-weight: 500; - transition: background 0.3s ease-in-out; -} - -a.button:hover, a.button:focus { - background: #6fffd2; -} - -#publications { - font-weight: 300; -} - -#publications ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - flex-direction: column; - gap: 1em; -} - -#publications ul li { - background: #1a1e29; - border-radius: 8px; - padding: 1em 1.5em; -} - -#publications a { - color: #8fc6ff; - text-decoration: none; - font-weight: 100; - transition: color 0.3s ease-in-out; -} - -#publications a:hover, #publications a:focus { - color: #6fffd2; -} - -/*# sourceMappingURL=styles.css.map */ \ No newline at end of file diff --git a/css/styles.18b7f5118d1dcf0e8f3d7435b8e20b3123ce1f2a6b4c4d8f1a7c57146f48e5edb58dae611a93b4553219d54eb4eecc9323aba90bd059afaa8cab4f01149f7898.css b/css/styles.18b7f5118d1dcf0e8f3d7435b8e20b3123ce1f2a6b4c4d8f1a7c57146f48e5edb58dae611a93b4553219d54eb4eecc9323aba90bd059afaa8cab4f01149f7898.css deleted file mode 100644 index 85b1fea..0000000 --- a/css/styles.18b7f5118d1dcf0e8f3d7435b8e20b3123ce1f2a6b4c4d8f1a7c57146f48e5edb58dae611a93b4553219d54eb4eecc9323aba90bd059afaa8cab4f01149f7898.css +++ /dev/null @@ -1,640 +0,0 @@ -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 100; - src: local("Source Sans 3 ExtraLight"), local("SourceSans3-ExtraLight"), url("/fonts/static/SourceSans3-ExtraLight.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraLight.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 200; - src: local("Source Sans 3 ExtraLight"), local("SourceSans3-ExtraLight"), url("/fonts/static/SourceSans3-ExtraLight.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraLight.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 300; - src: local("Source Sans 3 Light"), local("SourceSans3-Light"), url("/fonts/static/SourceSans3-Light.woff2") format("woff2"), url("/fonts/static/SourceSans3-Light.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 400; - src: local("Source Sans 3 Regular"), local("SourceSans3-Regular"), url("/fonts/static/SourceSans3-Regular.woff2") format("woff2"), url("/fonts/static/SourceSans3-Regular.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: italic; - font-display: swap; - font-weight: 400; - src: local("Source Sans 3 Italic"), local("SourceSans3-Italic"), url("/fonts/static/SourceSans3-Italic.woff2") format("woff2"), url("/fonts/static/SourceSans3-Italic.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 500; - src: local("Source Sans 3 Medium"), local("SourceSans3-Medium"), url("/fonts/static/SourceSans3-Medium.woff2") format("woff2"), url("/fonts/static/SourceSans3-Medium.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 600; - src: local("Source Sans 3 SemiBold"), local("SourceSans3-SemiBold"), url("/fonts/static/SourceSans3-SemiBold.woff2") format("woff2"), url("/fonts/static/SourceSans3-SemiBold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 700; - src: local("Source Sans 3 Bold"), local("SourceSans3-Bold"), url("/fonts/static/SourceSans3-Bold.woff2") format("woff2"), url("/fonts/static/SourceSans3-Bold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: italic; - font-display: swap; - font-weight: 700; - src: local("Source Sans 3 Bold Italic"), local("SourceSans3-BoldItalic"), url("/fonts/static/SourceSans3-BoldItalic.woff2") format("woff2"), url("/fonts/static/SourceSans3-BoldItalic.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 800; - src: local("Source Sans 3 ExtraBold"), local("SourceSans3-ExtraBold"), url("/fonts/static/SourceSans3-ExtraBold.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraBold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 900; - src: local("Source Sans 3 Black"), local("SourceSans3-Black"), url("/fonts/static/SourceSans3-Black.woff2") format("woff2"), url("/fonts/static/SourceSans3-Black.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Code Pro'; - font-style: normal; - font-display: swap; - font-weight: 600; - src: local("Source Code Pro Medium"), local("SourceCodePro-Medium"), url("/fonts/static/SourceCodePro-Medium.woff2") format("woff2"), url("/fonts/static/SourceCodePro-Medium.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Code Pro'; - font-style: italic; - font-display: swap; - font-weight: 600; - src: local("Source Code Pro Medium Italic"), local("SourceCodePro-MediumItalic"), url("/fonts/static/SourceCodePro-MediumItalic.woff2") format("woff2"), url("/fonts/static/SourceCodePro-MediumItalic.ttf") format("truetype"); -} - -* { - font-family: 'Source Sans 3', sans-serif; -} - -code { - font-family: 'Source Code Pro', monospace; -} - -/* _layout.sass */ -/* Variables */ -html { - background: #0a0c11; -} - -/* Base Layout */ -body { - background: #10131a; - color: #ffffff; - font-family: 'Segoe UI', 'Helvetica Neue', Arial, sans-serif; - width: 100%; - height: 100%; - max-width: 1024px; - margin: 1.5rem auto; - padding: 1.5rem; - box-sizing: border-box; - border-radius: 8px; -} - -header { - background: #1a1e29; - margin: 1.5rem; - padding: 1.5rem; - display: flex; - flex-wrap: wrap; - align-items: center; - justify-content: space-between; - border-radius: 8px; - margin: 0 auto; -} - -header h1, header h1 a { - margin: 0; - font-size: 1.6rem; - font-weight: 900; - color: #ffffff; - text-decoration: none; - padding: 0; - transition: color 0.4s ease-in-out; -} - -header h1:hover, header h1:focus, header h1 a:hover, header h1 a:focus { - color: #6fffd2; -} - -nav { - display: flex; - gap: 1.5rem; - align-items: center; -} - -nav ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - gap: 0.5rem; - flex-wrap: wrap; -} - -nav ul li { - margin: 0; - padding: 0; -} - -nav ul li a { - padding: 0.4rem 0.6rem; - border-radius: 8px; - background: #1a3e70; - color: #ffffff; - text-decoration: none; - font-weight: 500; - transition: background 0.4s ease-in-out; -} - -nav ul li a:hover, nav ul li a:focus { - background: #00897b; - color: #ffffff; -} - -@media (max-width: 600px) { - header { - flex-direction: column; - align-items: flex-start; - gap: 1.5rem; - } - nav { - width: 100%; - justify-content: flex-start; - margin-top: 1.5rem; - } -} - -main { - margin: 1.5rem 0; - padding: 1.5rem; -} - -footer { - background: #1a1e29; - margin: 1.5rem; - padding: 1.5rem; - border-radius: 8px; - margin: 0 auto; - text-align: center; -} - -footer p { - margin: 0; - font-size: 0.9rem; - color: #bfc9e6; - text-align: center; -} - -section { - border-bottom: 3px solid #1a1e29; - margin: 2rem 0; - padding-bottom: 2rem; -} - -#page-header { - border-bottom: 3px solid #1a1e29; - margin: 2rem 0; - padding-bottom: 2rem; - text-align: center; -} - -#page-header h1 { - margin: 0; - width: 100%; - font-size: 3rem; - word-break: break-word; -} - -#page-header .subtitle { - margin: 0; - width: 100%; - font-size: 1.2rem; - font-weight: 300; - color: #bfc9e6; -} - -.time { - font-size: 0.8rem; - color: #bfc9e6; - text-align: center; -} - -#tool-cards { - display: flex; - flex-wrap: wrap; - gap: 1.5rem; - justify-content: space-between; -} - -#tool-cards > article { - flex: 1 1 48%; - min-width: 300px; - max-width: 48%; - box-sizing: border-box; -} - -@media (max-width: 900px) { - #tool-cards > article { - flex-basis: 100%; - max-width: 100%; - } -} - -article { - background: #1a1e29; - border-radius: 8px; - padding: 1rem 1.5rem; - position: relative; - transition: background 0.5s ease-in-out; -} - -article:hover, article:focus { - background: #1a3e70; -} - -article h3 { - margin: 0; - font-size: 1.5rem; - font-weight: 700; - color: #ffffff; -} - -article a { - color: #ffffff; - position: absolute; - top: 0; - left: 0; - width: 100%; - height: 100%; - z-index: 1; - text-indent: -9999px; - overflow: hidden; - text-decoration: none; - transition: color 0.3s ease-in-out; -} - -article a:hover, article a:focus { - color: #6fffd2; -} - -article:not(a) { - position: relative; - z-index: 2; -} - -article p { - margin: 0.5rem 0; - font-size: 1rem; - color: #ffffff; - font-weight: 300; -} - -article .subtitle { - margin: 0 0 0 0.5rem; - width: 100%; - font-size: 1.1rem; - font-weight: 300; - color: #bfc9e6; -} - -.term-title { - font-weight: 700; - padding: 0.3rem 0.8rem; - margin-bottom: 0.5rem; - border-radius: 8px; -} - -p code { - background: #102747; - margin: 0 0.2rem; - padding: 0.2rem 0.4rem; - border-radius: 5px; - font-size: 0.8rem; -} - -pre { - padding: 0.5rem; - border-radius: 5px; - overflow-x: auto; -} - -pre code { - font-size: 0.8rem; -} - -.banner { - position: fixed; - top: 0; - width: 100%; - max-width: 1024px; - background-color: #1de9b6; - color: #0a0c11; - padding: 5px 0; - font-weight: 400; - text-align: center; - font-size: 1.1em; - border-radius: 0 0 8px 8px; - z-index: 1000; - font-size: 0.9rem; - height: 1.3rem; - margin-left: calc(0% - 1.5rem); -} - -.banner a { - color: #0a0c11; - text-decoration: underline; - font-weight: 700; - transition: color 0.3s ease-in-out; -} - -.banner a:hover, .banner a:focus { - color: #1a3e70; -} - -body:has(.banner) { - margin-top: 2.6rem; -} - -@media (max-width: 600px) { - .banner { - position: absolute; - top: 0; - width: calc(100% - 1.5rem); - max-width: 1024px; - background-color: #1de9b6; - color: #0a0c11; - padding: 5px; - font-weight: 400; - text-align: center; - font-size: 1.1em; - border-radius: 0 0 8px 8px; - z-index: 1000; - font-size: 0.9rem; - height: 4.3rem; - margin-left: calc(0% - 1.5rem); - } - .banner .banner-text { - display: block; - margin: 0 5px; - } - body:has(.banner) { - margin-top: 5.6rem; - } -} - -table#taxonomy-table { - width: 100%; - border-collapse: collapse; - box-sizing: border-box; - background: #1a1e29; - text-align: left; -} - -table#taxonomy-table tr { - border-bottom: 3px solid #10131a; -} - -table#taxonomy-table tr:nth-child(even) { - background: #161923; - transition: background 0.4s ease-in-out; -} - -table#taxonomy-table tr:nth-child(odd) { - background: #202532; - transition: background 0.4s ease-in-out; -} - -table#taxonomy-table tr:hover, table#taxonomy-table tr:focus { - background: #3a4054; -} - -table#taxonomy-table thead { - text-align: left; - border: none; - border-radius: 8px 8px 0 0; -} - -table#taxonomy-table th { - color: #ffffff; - background: #0a0c11 !important; - padding: 0.6rem 0.6rem; - text-align: left; - font-weight: 600; - border: none; -} - -table#taxonomy-table td { - padding: 0.3rem 0.6rem; - text-align: left; - font-weight: 600; - border: none; -} - -table#taxonomy-table td.description { - font-weight: 300; - color: #bfc9e6; -} - -table#taxonomy-table td.tool { - min-width: 100px; -} - -table#taxonomy-table a.term-link { - padding: 0.2rem 0.6rem; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - color: #ffffff; - transition: color 0.4s ease-in-out, background 0.4s ease-in-out; -} - -table#taxonomy-table a.term-link:hover, table#taxonomy-table a.term-link:focus { - color: #0a0c11 !important; - background: #bfc9e6 !important; -} - -table#taxonomy-table a.taxonomy-name { - padding: 0; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - color: #ffffff; - transition: color 0.4s ease-in-out; -} - -table#taxonomy-table a.taxonomy-name:hover, table#taxonomy-table a.taxonomy-name:focus { - color: #6fffd2; -} - -table#taxonomy-table a { - color: #ffffff; - text-decoration: none; -} - -table#taxonomy-table a:hover, table#taxonomy-table a:focus { - color: #1de9b6; -} - -#taxonomy-page a.term-link { - padding: 0.3rem 1.2rem; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - font-size: 1.2rem; - color: #ffffff; - transition: color 0.4s ease-in-out, background 0.4s ease-in-out; -} - -#taxonomy-page a.term-link:hover, #taxonomy-page a.term-link:focus { - color: #0a0c11 !important; - background: #bfc9e6 !important; -} - -/* _text.sass */ -a { - color: #6fffd2; - text-decoration: underline; - transition: color 0.3s ease-in-out; -} - -a:hover, a:focus { - color: #3380ff; -} - -#quick-links { - text-align: left; -} - -#link-list { - display: flex; - gap: 1.5rem; - align-items: center; - flex-wrap: wrap; - margin: 2rem 0 1.5rem 0; - justify-content: center; -} - -#link-list h2 { - flex: none; -} - -#link-list ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - gap: 1rem; - flex-wrap: wrap; -} - -#link-list ul li { - margin: 0; - padding: 0; -} - -#link-list ul li a { - padding: 0.3rem 0.6rem; - border-radius: 8px; - background: #8fc6ff; - color: #0a0c11; - text-decoration: none; - font-weight: 500; - transition: background 0.3s ease-in-out; -} - -#link-list ul li a:hover, #link-list ul li a:focus { - background: #6fffd2; -} - -a.button { - padding: 0.3rem 0.6rem; - margin: 0 0.2rem; - border-radius: 8px; - background: #8fc6ff; - color: #0a0c11; - text-decoration: none; - font-weight: 500; - transition: background 0.3s ease-in-out; -} - -a.button:hover, a.button:focus { - background: #6fffd2; -} - -#publications { - font-weight: 300; -} - -#publications ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - flex-direction: column; - gap: 1em; -} - -#publications ul li { - background: #1a1e29; - border-radius: 8px; - padding: 1em 1.5em; -} - -#publications a { - color: #8fc6ff; - text-decoration: none; - font-weight: 100; - transition: color 0.3s ease-in-out; -} - -#publications a:hover, #publications a:focus { - color: #6fffd2; -} - -/*# sourceMappingURL=styles.css.map */ \ No newline at end of file diff --git a/css/styles.1c30669efbad6e9c5eadc5dd780867ab0f98c06db8b75428718e33f9f2e178784c105e51b68a377dec81c529aadab3fb0bf40e1b6f686bc3f10d03246d027d29.css b/css/styles.1c30669efbad6e9c5eadc5dd780867ab0f98c06db8b75428718e33f9f2e178784c105e51b68a377dec81c529aadab3fb0bf40e1b6f686bc3f10d03246d027d29.css deleted file mode 100644 index 7147339..0000000 --- a/css/styles.1c30669efbad6e9c5eadc5dd780867ab0f98c06db8b75428718e33f9f2e178784c105e51b68a377dec81c529aadab3fb0bf40e1b6f686bc3f10d03246d027d29.css +++ /dev/null @@ -1,640 +0,0 @@ -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 100; - src: local("Source Sans 3 ExtraLight"), local("SourceSans3-ExtraLight"), url("/fonts/static/SourceSans3-ExtraLight.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraLight.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 200; - src: local("Source Sans 3 ExtraLight"), local("SourceSans3-ExtraLight"), url("/fonts/static/SourceSans3-ExtraLight.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraLight.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 300; - src: local("Source Sans 3 Light"), local("SourceSans3-Light"), url("/fonts/static/SourceSans3-Light.woff2") format("woff2"), url("/fonts/static/SourceSans3-Light.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 400; - src: local("Source Sans 3 Regular"), local("SourceSans3-Regular"), url("/fonts/static/SourceSans3-Regular.woff2") format("woff2"), url("/fonts/static/SourceSans3-Regular.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: italic; - font-display: swap; - font-weight: 400; - src: local("Source Sans 3 Italic"), local("SourceSans3-Italic"), url("/fonts/static/SourceSans3-Italic.woff2") format("woff2"), url("/fonts/static/SourceSans3-Italic.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 500; - src: local("Source Sans 3 Medium"), local("SourceSans3-Medium"), url("/fonts/static/SourceSans3-Medium.woff2") format("woff2"), url("/fonts/static/SourceSans3-Medium.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 600; - src: local("Source Sans 3 SemiBold"), local("SourceSans3-SemiBold"), url("/fonts/static/SourceSans3-SemiBold.woff2") format("woff2"), url("/fonts/static/SourceSans3-SemiBold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 700; - src: local("Source Sans 3 Bold"), local("SourceSans3-Bold"), url("/fonts/static/SourceSans3-Bold.woff2") format("woff2"), url("/fonts/static/SourceSans3-Bold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: italic; - font-display: swap; - font-weight: 700; - src: local("Source Sans 3 Bold Italic"), local("SourceSans3-BoldItalic"), url("/fonts/static/SourceSans3-BoldItalic.woff2") format("woff2"), url("/fonts/static/SourceSans3-BoldItalic.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 800; - src: local("Source Sans 3 ExtraBold"), local("SourceSans3-ExtraBold"), url("/fonts/static/SourceSans3-ExtraBold.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraBold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 900; - src: local("Source Sans 3 Black"), local("SourceSans3-Black"), url("/fonts/static/SourceSans3-Black.woff2") format("woff2"), url("/fonts/static/SourceSans3-Black.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Code Pro'; - font-style: normal; - font-display: swap; - font-weight: 600; - src: local("Source Code Pro Medium"), local("SourceCodePro-Medium"), url("/fonts/static/SourceCodePro-Medium.woff2") format("woff2"), url("/fonts/static/SourceCodePro-Medium.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Code Pro'; - font-style: italic; - font-display: swap; - font-weight: 600; - src: local("Source Code Pro Medium Italic"), local("SourceCodePro-MediumItalic"), url("/fonts/static/SourceCodePro-MediumItalic.woff2") format("woff2"), url("/fonts/static/SourceCodePro-MediumItalic.ttf") format("truetype"); -} - -* { - font-family: 'Source Sans 3', sans-serif; -} - -code { - font-family: 'Source Code Pro', monospace; -} - -/* _layout.sass */ -/* Variables */ -html { - background: #0a0c11; -} - -/* Base Layout */ -body { - background: #10131a; - color: #ffffff; - font-family: 'Segoe UI', 'Helvetica Neue', Arial, sans-serif; - width: 100%; - height: 100%; - max-width: 1024px; - margin: 1.5rem auto; - padding: 1.5rem; - box-sizing: border-box; - border-radius: 8px; -} - -header { - background: #1a1e29; - margin: 1.5rem; - padding: 1.5rem; - display: flex; - flex-wrap: wrap; - align-items: center; - justify-content: space-between; - border-radius: 8px; - margin: 0 auto; -} - -header h1, header h1 a { - margin: 0; - font-size: 1.6rem; - font-weight: 900; - color: #ffffff; - text-decoration: none; - padding: 0; - transition: color 0.4s ease-in-out; -} - -header h1:hover, header h1:focus, header h1 a:hover, header h1 a:focus { - color: #6fffd2; -} - -nav { - display: flex; - gap: 1.5rem; - align-items: center; -} - -nav ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - gap: 0.5rem; - flex-wrap: wrap; -} - -nav ul li { - margin: 0; - padding: 0; -} - -nav ul li a { - padding: 0.4rem 0.6rem; - border-radius: 8px; - background: #1a3e70; - color: #ffffff; - text-decoration: none; - font-weight: 500; - transition: background 0.4s ease-in-out; -} - -nav ul li a:hover, nav ul li a:focus { - background: #00897b; - color: #ffffff; -} - -@media (max-width: 600px) { - header { - flex-direction: column; - align-items: flex-start; - gap: 1.5rem; - } - nav { - width: 100%; - justify-content: flex-start; - margin-top: 1.5rem; - } -} - -main { - margin: 1.5rem 0; - padding: 1.5rem; -} - -footer { - background: #1a1e29; - margin: 1.5rem; - padding: 1.5rem; - border-radius: 8px; - margin: 0 auto; - text-align: center; -} - -footer p { - margin: 0; - font-size: 0.9rem; - color: #bfc9e6; - text-align: center; -} - -section { - border-bottom: 3px solid #1a1e29; - margin: 2rem 0; - padding-bottom: 2rem; -} - -#page-header { - border-bottom: 3px solid #1a1e29; - margin: 2rem 0; - padding-bottom: 2rem; - text-align: center; -} - -#page-header h1 { - margin: 0; - width: 100%; - font-size: 3rem; - word-break: break-word; -} - -#page-header .subtitle { - margin: 0; - width: 100%; - font-size: 1.2rem; - font-weight: 300; - color: #bfc9e6; -} - -.time { - font-size: 0.8rem; - color: #bfc9e6; - text-align: center; -} - -#tool-cards { - display: flex; - flex-wrap: wrap; - gap: 1.5rem; - justify-content: space-between; -} - -#tool-cards > article { - flex: 1 1 48%; - min-width: 300px; - max-width: 48%; - box-sizing: border-box; -} - -@media (max-width: 900px) { - #tool-cards > article { - flex-basis: 100%; - max-width: 100%; - } -} - -article { - background: #1a1e29; - border-radius: 8px; - padding: 1rem; - position: relative; - transition: background 0.5s ease-in-out; -} - -article:hover, article:focus { - background: #1a3e70; -} - -article h3 { - margin: 0; - font-size: 1.5rem; - font-weight: 700; - color: #ffffff; -} - -article a { - color: #ffffff; - position: absolute; - top: 0; - left: 0; - width: 100%; - height: 100%; - z-index: 1; - text-indent: -9999px; - overflow: hidden; - text-decoration: none; - transition: color 0.3s ease-in-out; -} - -article a:hover, article a:focus { - color: #6fffd2; -} - -article:not(a) { - position: relative; - z-index: 2; -} - -article p { - margin: 0.5rem 0; - font-size: 1rem; - color: #ffffff; - font-weight: 300; -} - -article .subtitle { - margin: 0 0 0 0.5rem; - width: 100%; - font-size: 1.1rem; - font-weight: 300; - color: #bfc9e6; -} - -.term-title { - font-weight: 700; - padding: 0.3rem 0.8rem; - margin-bottom: 0.5rem; - border-radius: 8px; -} - -p code { - background: #102747; - margin: 0 0.2rem; - padding: 0.2rem 0.4rem; - border-radius: 5px; - font-size: 0.8rem; -} - -pre { - padding: 0.5rem; - border-radius: 5px; - overflow-x: auto; -} - -pre code { - font-size: 0.8rem; -} - -.banner { - position: fixed; - top: 0; - width: 100%; - max-width: 1024px; - background-color: #1de9b6; - color: #0a0c11; - padding: 5px 0; - font-weight: 400; - text-align: center; - font-size: 1.1em; - border-radius: 0 0 8px 8px; - z-index: 1000; - font-size: 0.9rem; - height: 1.3rem; - margin-left: calc(0% - 1.5rem); -} - -.banner a { - color: #0a0c11; - text-decoration: underline; - font-weight: 700; - transition: color 0.3s ease-in-out; -} - -.banner a:hover, .banner a:focus { - color: #1a3e70; -} - -body:has(.banner) { - margin-top: 2.6rem; -} - -@media (max-width: 600px) { - .banner { - position: absolute; - top: 0; - width: calc(100% - 1.5rem); - max-width: 1024px; - background-color: #1de9b6; - color: #0a0c11; - padding: 5px; - font-weight: 400; - text-align: center; - font-size: 1.1em; - border-radius: 0 0 8px 8px; - z-index: 1000; - font-size: 0.9rem; - height: 4.3rem; - margin-left: calc(0% - 1.5rem); - } - .banner .banner-text { - display: block; - margin: 0 5px; - } - body:has(.banner) { - margin-top: 5.6rem; - } -} - -table#taxonomy-table { - width: 100%; - border-collapse: collapse; - box-sizing: border-box; - background: #1a1e29; - text-align: left; -} - -table#taxonomy-table tr { - border-bottom: 3px solid #10131a; -} - -table#taxonomy-table tr:nth-child(even) { - background: #161923; - transition: background 0.4s ease-in-out; -} - -table#taxonomy-table tr:nth-child(odd) { - background: #202532; - transition: background 0.4s ease-in-out; -} - -table#taxonomy-table tr:hover, table#taxonomy-table tr:focus { - background: #3a4054; -} - -table#taxonomy-table thead { - text-align: left; - border: none; - border-radius: 8px 8px 0 0; -} - -table#taxonomy-table th { - color: #ffffff; - background: #0a0c11 !important; - padding: 0.6rem 0.6rem; - text-align: left; - font-weight: 600; - border: none; -} - -table#taxonomy-table td { - padding: 0.3rem 0.6rem; - text-align: left; - font-weight: 600; - border: none; -} - -table#taxonomy-table td.description { - font-weight: 300; - color: #bfc9e6; -} - -table#taxonomy-table td.tool { - min-width: 100px; -} - -table#taxonomy-table a.term-link { - padding: 0.2rem 0.6rem; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - color: #ffffff; - transition: color 0.4s ease-in-out, background 0.4s ease-in-out; -} - -table#taxonomy-table a.term-link:hover, table#taxonomy-table a.term-link:focus { - color: #0a0c11 !important; - background: #bfc9e6 !important; -} - -table#taxonomy-table a.taxonomy-name { - padding: 0; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - color: #ffffff; - transition: color 0.4s ease-in-out; -} - -table#taxonomy-table a.taxonomy-name:hover, table#taxonomy-table a.taxonomy-name:focus { - color: #6fffd2; -} - -table#taxonomy-table a { - color: #ffffff; - text-decoration: none; -} - -table#taxonomy-table a:hover, table#taxonomy-table a:focus { - color: #1de9b6; -} - -#taxonomy-page a.term-link { - padding: 0.3rem 1.2rem; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - font-size: 1.2rem; - color: #ffffff; - transition: color 0.4s ease-in-out, background 0.4s ease-in-out; -} - -#taxonomy-page a.term-link:hover, #taxonomy-page a.term-link:focus { - color: #0a0c11 !important; - background: #bfc9e6 !important; -} - -/* _text.sass */ -a { - color: #6fffd2; - text-decoration: underline; - transition: color 0.3s ease-in-out; -} - -a:hover, a:focus { - color: #3380ff; -} - -#quick-links { - text-align: left; -} - -#link-list { - display: flex; - gap: 1.5rem; - align-items: center; - flex-wrap: wrap; - margin: 2rem 0 1.5rem 0; - justify-content: center; -} - -#link-list h2 { - flex: none; -} - -#link-list ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - gap: 1rem; - flex-wrap: wrap; -} - -#link-list ul li { - margin: 0; - padding: 0; -} - -#link-list ul li a { - padding: 0.3rem 0.6rem; - border-radius: 8px; - background: #8fc6ff; - color: #0a0c11; - text-decoration: none; - font-weight: 500; - transition: background 0.3s ease-in-out; -} - -#link-list ul li a:hover, #link-list ul li a:focus { - background: #6fffd2; -} - -a.button { - padding: 0.3rem 0.6rem; - margin: 0 0.2rem; - border-radius: 8px; - background: #8fc6ff; - color: #0a0c11; - text-decoration: none; - font-weight: 500; - transition: background 0.3s ease-in-out; -} - -a.button:hover, a.button:focus { - background: #6fffd2; -} - -#publications { - font-weight: 300; -} - -#publications ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - flex-direction: column; - gap: 1em; -} - -#publications ul li { - background: #1a1e29; - border-radius: 8px; - padding: 1em 1.5em; -} - -#publications a { - color: #8fc6ff; - text-decoration: none; - font-weight: 100; - transition: color 0.3s ease-in-out; -} - -#publications a:hover, #publications a:focus { - color: #6fffd2; -} - -/*# sourceMappingURL=styles.css.map */ \ No newline at end of file diff --git a/css/styles.2deb1a8fcb78105cb53040860ad7e932dfbe5d2294174212986b85c14582497ac987f7269d84839aa49597a2d3104aa937aad9683dc00bd9ba251f0c386cdd70.css b/css/styles.2deb1a8fcb78105cb53040860ad7e932dfbe5d2294174212986b85c14582497ac987f7269d84839aa49597a2d3104aa937aad9683dc00bd9ba251f0c386cdd70.css deleted file mode 100644 index f47570b..0000000 --- a/css/styles.2deb1a8fcb78105cb53040860ad7e932dfbe5d2294174212986b85c14582497ac987f7269d84839aa49597a2d3104aa937aad9683dc00bd9ba251f0c386cdd70.css +++ /dev/null @@ -1,640 +0,0 @@ -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 100; - src: local("Source Sans 3 ExtraLight"), local("SourceSans3-ExtraLight"), url("/fonts/static/SourceSans3-ExtraLight.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraLight.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 200; - src: local("Source Sans 3 ExtraLight"), local("SourceSans3-ExtraLight"), url("/fonts/static/SourceSans3-ExtraLight.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraLight.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 300; - src: local("Source Sans 3 Light"), local("SourceSans3-Light"), url("/fonts/static/SourceSans3-Light.woff2") format("woff2"), url("/fonts/static/SourceSans3-Light.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 400; - src: local("Source Sans 3 Regular"), local("SourceSans3-Regular"), url("/fonts/static/SourceSans3-Regular.woff2") format("woff2"), url("/fonts/static/SourceSans3-Regular.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: italic; - font-display: swap; - font-weight: 400; - src: local("Source Sans 3 Italic"), local("SourceSans3-Italic"), url("/fonts/static/SourceSans3-Italic.woff2") format("woff2"), url("/fonts/static/SourceSans3-Italic.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 500; - src: local("Source Sans 3 Medium"), local("SourceSans3-Medium"), url("/fonts/static/SourceSans3-Medium.woff2") format("woff2"), url("/fonts/static/SourceSans3-Medium.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 600; - src: local("Source Sans 3 SemiBold"), local("SourceSans3-SemiBold"), url("/fonts/static/SourceSans3-SemiBold.woff2") format("woff2"), url("/fonts/static/SourceSans3-SemiBold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 700; - src: local("Source Sans 3 Bold"), local("SourceSans3-Bold"), url("/fonts/static/SourceSans3-Bold.woff2") format("woff2"), url("/fonts/static/SourceSans3-Bold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: italic; - font-display: swap; - font-weight: 700; - src: local("Source Sans 3 Bold Italic"), local("SourceSans3-BoldItalic"), url("/fonts/static/SourceSans3-BoldItalic.woff2") format("woff2"), url("/fonts/static/SourceSans3-BoldItalic.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 800; - src: local("Source Sans 3 ExtraBold"), local("SourceSans3-ExtraBold"), url("/fonts/static/SourceSans3-ExtraBold.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraBold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 900; - src: local("Source Sans 3 Black"), local("SourceSans3-Black"), url("/fonts/static/SourceSans3-Black.woff2") format("woff2"), url("/fonts/static/SourceSans3-Black.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Code Pro'; - font-style: normal; - font-display: swap; - font-weight: 600; - src: local("Source Code Pro Medium"), local("SourceCodePro-Medium"), url("/fonts/static/SourceCodePro-Medium.woff2") format("woff2"), url("/fonts/static/SourceCodePro-Medium.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Code Pro'; - font-style: italic; - font-display: swap; - font-weight: 600; - src: local("Source Code Pro Medium Italic"), local("SourceCodePro-MediumItalic"), url("/fonts/static/SourceCodePro-MediumItalic.woff2") format("woff2"), url("/fonts/static/SourceCodePro-MediumItalic.ttf") format("truetype"); -} - -* { - font-family: 'Source Sans 3', sans-serif; -} - -code { - font-family: 'Source Code Pro', monospace; -} - -/* _layout.sass */ -/* Variables */ -html { - background: #0a0c11; -} - -/* Base Layout */ -body { - background: #10131a; - color: #ffffff; - font-family: 'Segoe UI', 'Helvetica Neue', Arial, sans-serif; - width: 100%; - height: 100%; - max-width: 1024px; - margin: 1.5rem auto; - padding: 1.5rem; - box-sizing: border-box; - border-radius: 8px; -} - -header { - background: #1a1e29; - margin: 1.5rem; - padding: 1.5rem; - display: flex; - flex-wrap: wrap; - align-items: center; - justify-content: space-between; - border-radius: 8px; - margin: 0 auto; -} - -header h1, header h1 a { - margin: 0; - font-size: 1.6rem; - font-weight: 900; - color: #ffffff; - text-decoration: none; - padding: 0; - transition: color 0.4s ease-in-out; -} - -header h1:hover, header h1:focus, header h1 a:hover, header h1 a:focus { - color: #6fffd2; -} - -nav { - display: flex; - gap: 1.5rem; - align-items: center; -} - -nav ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - gap: 0.5rem; - flex-wrap: wrap; -} - -nav ul li { - margin: 0; - padding: 0; -} - -nav ul li a { - padding: 0.4rem 0.6rem; - border-radius: 8px; - background: #1a3e70; - color: #ffffff; - text-decoration: none; - font-weight: 500; - transition: background 0.4s ease-in-out; -} - -nav ul li a:hover, nav ul li a:focus { - background: #00897b; - color: #ffffff; -} - -@media (max-width: 600px) { - header { - flex-direction: column; - align-items: flex-start; - gap: 1.5rem; - } - nav { - width: 100%; - justify-content: flex-start; - margin-top: 1.5rem; - } -} - -main { - margin: 1.5rem 0; - padding: 1.5rem; -} - -footer { - background: #1a1e29; - margin: 1.5rem; - padding: 1.5rem; - border-radius: 8px; - margin: 0 auto; - text-align: center; -} - -footer p { - margin: 0; - font-size: 0.9rem; - color: #bfc9e6; - text-align: center; -} - -section { - border-bottom: 3px solid #1a1e29; - margin: 2rem 0; - padding-bottom: 2rem; -} - -#page-header { - border-bottom: 3px solid #1a1e29; - margin: 2rem 0; - padding-bottom: 2rem; - text-align: center; -} - -#page-header h1 { - margin: 0; - width: 100%; - font-size: 3rem; - word-break: break-word; -} - -#page-header .subtitle { - margin: 0; - width: 100%; - font-size: 1.2rem; - font-weight: 300; - color: #bfc9e6; -} - -.time { - font-size: 0.8rem; - color: #bfc9e6; - text-align: center; -} - -#tool-cards { - display: flex; - flex-wrap: wrap; - gap: 1.5rem; - justify-content: space-between; -} - -#tool-cards > article { - flex: 1 1 48%; - min-width: 300px; - max-width: 48%; - box-sizing: border-box; -} - -@media (max-width: 900px) { - #tool-cards > article { - flex-basis: 100%; - max-width: 100%; - } -} - -article { - background: #1a1e29; - border-radius: 8px; - padding: calc($spacing-unit/2); - position: relative; - transition: background 0.5s ease-in-out; -} - -article:hover, article:focus { - background: #1a3e70; -} - -article h3 { - margin: 0; - font-size: 1.5rem; - font-weight: 700; - color: #ffffff; -} - -article a { - color: #ffffff; - position: absolute; - top: 0; - left: 0; - width: 100%; - height: 100%; - z-index: 1; - text-indent: -9999px; - overflow: hidden; - text-decoration: none; - transition: color 0.3s ease-in-out; -} - -article a:hover, article a:focus { - color: #6fffd2; -} - -article:not(a) { - position: relative; - z-index: 2; -} - -article p { - margin: 0.5rem 0; - font-size: 1rem; - color: #ffffff; - font-weight: 300; -} - -article .subtitle { - margin: 0 0 0 0.5rem; - width: 100%; - font-size: 1.1rem; - font-weight: 300; - color: #bfc9e6; -} - -.term-title { - font-weight: 700; - padding: 0.3rem 0.8rem; - margin-bottom: 0.5rem; - border-radius: 8px; -} - -p code { - background: #102747; - margin: 0 0.2rem; - padding: 0.2rem 0.4rem; - border-radius: 5px; - font-size: 0.8rem; -} - -pre { - padding: 0.5rem; - border-radius: 5px; - overflow-x: auto; -} - -pre code { - font-size: 0.8rem; -} - -.banner { - position: fixed; - top: 0; - width: 100%; - max-width: 1024px; - background-color: #1de9b6; - color: #0a0c11; - padding: 5px 0; - font-weight: 400; - text-align: center; - font-size: 1.1em; - border-radius: 0 0 8px 8px; - z-index: 1000; - font-size: 0.9rem; - height: 1.3rem; - margin-left: calc(0% - 1.5rem); -} - -.banner a { - color: #0a0c11; - text-decoration: underline; - font-weight: 700; - transition: color 0.3s ease-in-out; -} - -.banner a:hover, .banner a:focus { - color: #1a3e70; -} - -body:has(.banner) { - margin-top: 2.6rem; -} - -@media (max-width: 600px) { - .banner { - position: absolute; - top: 0; - width: calc(100% - 1.5rem); - max-width: 1024px; - background-color: #1de9b6; - color: #0a0c11; - padding: 5px; - font-weight: 400; - text-align: center; - font-size: 1.1em; - border-radius: 0 0 8px 8px; - z-index: 1000; - font-size: 0.9rem; - height: 4.3rem; - margin-left: calc(0% - 1.5rem); - } - .banner .banner-text { - display: block; - margin: 0 5px; - } - body:has(.banner) { - margin-top: 5.6rem; - } -} - -table#taxonomy-table { - width: 100%; - border-collapse: collapse; - box-sizing: border-box; - background: #1a1e29; - text-align: left; -} - -table#taxonomy-table tr { - border-bottom: 3px solid #10131a; -} - -table#taxonomy-table tr:nth-child(even) { - background: #161923; - transition: background 0.4s ease-in-out; -} - -table#taxonomy-table tr:nth-child(odd) { - background: #202532; - transition: background 0.4s ease-in-out; -} - -table#taxonomy-table tr:hover, table#taxonomy-table tr:focus { - background: #3a4054; -} - -table#taxonomy-table thead { - text-align: left; - border: none; - border-radius: 8px 8px 0 0; -} - -table#taxonomy-table th { - color: #ffffff; - background: #0a0c11 !important; - padding: 0.6rem 0.6rem; - text-align: left; - font-weight: 600; - border: none; -} - -table#taxonomy-table td { - padding: 0.3rem 0.6rem; - text-align: left; - font-weight: 600; - border: none; -} - -table#taxonomy-table td.description { - font-weight: 300; - color: #bfc9e6; -} - -table#taxonomy-table td.tool { - min-width: 100px; -} - -table#taxonomy-table a.term-link { - padding: 0.2rem 0.6rem; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - color: #ffffff; - transition: color 0.4s ease-in-out, background 0.4s ease-in-out; -} - -table#taxonomy-table a.term-link:hover, table#taxonomy-table a.term-link:focus { - color: #0a0c11 !important; - background: #bfc9e6 !important; -} - -table#taxonomy-table a.taxonomy-name { - padding: 0; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - color: #ffffff; - transition: color 0.4s ease-in-out; -} - -table#taxonomy-table a.taxonomy-name:hover, table#taxonomy-table a.taxonomy-name:focus { - color: #6fffd2; -} - -table#taxonomy-table a { - color: #ffffff; - text-decoration: none; -} - -table#taxonomy-table a:hover, table#taxonomy-table a:focus { - color: #1de9b6; -} - -#taxonomy-page a.term-link { - padding: 0.3rem 1.2rem; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - font-size: 1.2rem; - color: #ffffff; - transition: color 0.4s ease-in-out, background 0.4s ease-in-out; -} - -#taxonomy-page a.term-link:hover, #taxonomy-page a.term-link:focus { - color: #0a0c11 !important; - background: #bfc9e6 !important; -} - -/* _text.sass */ -a { - color: #6fffd2; - text-decoration: underline; - transition: color 0.3s ease-in-out; -} - -a:hover, a:focus { - color: #3380ff; -} - -#quick-links { - text-align: left; -} - -#link-list { - display: flex; - gap: 1.5rem; - align-items: center; - flex-wrap: wrap; - margin: 2rem 0 1.5rem 0; - justify-content: center; -} - -#link-list h2 { - flex: none; -} - -#link-list ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - gap: 1rem; - flex-wrap: wrap; -} - -#link-list ul li { - margin: 0; - padding: 0; -} - -#link-list ul li a { - padding: 0.3rem 0.6rem; - border-radius: 8px; - background: #8fc6ff; - color: #0a0c11; - text-decoration: none; - font-weight: 500; - transition: background 0.3s ease-in-out; -} - -#link-list ul li a:hover, #link-list ul li a:focus { - background: #6fffd2; -} - -a.button { - padding: 0.3rem 0.6rem; - margin: 0 0.2rem; - border-radius: 8px; - background: #8fc6ff; - color: #0a0c11; - text-decoration: none; - font-weight: 500; - transition: background 0.3s ease-in-out; -} - -a.button:hover, a.button:focus { - background: #6fffd2; -} - -#publications { - font-weight: 300; -} - -#publications ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - flex-direction: column; - gap: 1em; -} - -#publications ul li { - background: #1a1e29; - border-radius: 8px; - padding: 1em 1.5em; -} - -#publications a { - color: #8fc6ff; - text-decoration: none; - font-weight: 100; - transition: color 0.3s ease-in-out; -} - -#publications a:hover, #publications a:focus { - color: #6fffd2; -} - -/*# sourceMappingURL=styles.css.map */ \ No newline at end of file diff --git a/css/styles.32e14209d14690574fc586eaf6c8e3646751df5aa66d4249a5e22d4b4ea0bdcc23b4e88aa5a625fef7d90b4966897fcb8805ed2f6fc0c232c75be051a177e8f6.css b/css/styles.32e14209d14690574fc586eaf6c8e3646751df5aa66d4249a5e22d4b4ea0bdcc23b4e88aa5a625fef7d90b4966897fcb8805ed2f6fc0c232c75be051a177e8f6.css deleted file mode 100644 index 791edf3..0000000 --- a/css/styles.32e14209d14690574fc586eaf6c8e3646751df5aa66d4249a5e22d4b4ea0bdcc23b4e88aa5a625fef7d90b4966897fcb8805ed2f6fc0c232c75be051a177e8f6.css +++ /dev/null @@ -1,639 +0,0 @@ -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 100; - src: local("Source Sans 3 ExtraLight"), local("SourceSans3-ExtraLight"), url("/fonts/static/SourceSans3-ExtraLight.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraLight.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 200; - src: local("Source Sans 3 ExtraLight"), local("SourceSans3-ExtraLight"), url("/fonts/static/SourceSans3-ExtraLight.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraLight.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 300; - src: local("Source Sans 3 Light"), local("SourceSans3-Light"), url("/fonts/static/SourceSans3-Light.woff2") format("woff2"), url("/fonts/static/SourceSans3-Light.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 400; - src: local("Source Sans 3 Regular"), local("SourceSans3-Regular"), url("/fonts/static/SourceSans3-Regular.woff2") format("woff2"), url("/fonts/static/SourceSans3-Regular.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: italic; - font-display: swap; - font-weight: 400; - src: local("Source Sans 3 Italic"), local("SourceSans3-Italic"), url("/fonts/static/SourceSans3-Italic.woff2") format("woff2"), url("/fonts/static/SourceSans3-Italic.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 500; - src: local("Source Sans 3 Medium"), local("SourceSans3-Medium"), url("/fonts/static/SourceSans3-Medium.woff2") format("woff2"), url("/fonts/static/SourceSans3-Medium.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 600; - src: local("Source Sans 3 SemiBold"), local("SourceSans3-SemiBold"), url("/fonts/static/SourceSans3-SemiBold.woff2") format("woff2"), url("/fonts/static/SourceSans3-SemiBold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 700; - src: local("Source Sans 3 Bold"), local("SourceSans3-Bold"), url("/fonts/static/SourceSans3-Bold.woff2") format("woff2"), url("/fonts/static/SourceSans3-Bold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: italic; - font-display: swap; - font-weight: 700; - src: local("Source Sans 3 Bold Italic"), local("SourceSans3-BoldItalic"), url("/fonts/static/SourceSans3-BoldItalic.woff2") format("woff2"), url("/fonts/static/SourceSans3-BoldItalic.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 800; - src: local("Source Sans 3 ExtraBold"), local("SourceSans3-ExtraBold"), url("/fonts/static/SourceSans3-ExtraBold.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraBold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 900; - src: local("Source Sans 3 Black"), local("SourceSans3-Black"), url("/fonts/static/SourceSans3-Black.woff2") format("woff2"), url("/fonts/static/SourceSans3-Black.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Code Pro'; - font-style: normal; - font-display: swap; - font-weight: 600; - src: local("Source Code Pro Medium"), local("SourceCodePro-Medium"), url("/fonts/static/SourceCodePro-Medium.woff2") format("woff2"), url("/fonts/static/SourceCodePro-Medium.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Code Pro'; - font-style: italic; - font-display: swap; - font-weight: 600; - src: local("Source Code Pro Medium Italic"), local("SourceCodePro-MediumItalic"), url("/fonts/static/SourceCodePro-MediumItalic.woff2") format("woff2"), url("/fonts/static/SourceCodePro-MediumItalic.ttf") format("truetype"); -} - -* { - font-family: 'Source Sans 3', sans-serif; -} - -code { - font-family: 'Source Code Pro', monospace; -} - -/* _layout.sass */ -/* Variables */ -html { - background: #0a0c11; -} - -/* Base Layout */ -body { - background: #10131a; - color: #ffffff; - font-family: 'Segoe UI', 'Helvetica Neue', Arial, sans-serif; - width: 100%; - height: 100%; - max-width: 1024px; - margin: 1.5rem auto; - padding: 1.5rem; - box-sizing: border-box; - border-radius: 8px; -} - -header { - background: #1a1e29; - margin: 1.5rem; - padding: 1.5rem; - display: flex; - flex-wrap: wrap; - align-items: center; - justify-content: space-between; - border-radius: 8px; - margin: 0 auto; -} - -header h1, header h1 a { - margin: 0; - font-size: 1.6rem; - font-weight: 900; - color: #ffffff; - text-decoration: none; - padding: 0; - transition: color 0.4s ease-in-out; -} - -header h1:hover, header h1:focus, header h1 a:hover, header h1 a:focus { - color: #6fffd2; -} - -nav { - display: flex; - gap: 1.5rem; - align-items: center; -} - -nav ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - gap: 0.5rem; - flex-wrap: wrap; -} - -nav ul li { - margin: 0; - padding: 0; -} - -nav ul li a { - padding: 0.4rem 0.6rem; - border-radius: 8px; - background: #1a3e70; - color: #ffffff; - text-decoration: none; - font-weight: 500; - transition: background 0.4s ease-in-out; -} - -nav ul li a:hover, nav ul li a:focus { - background: #00897b; - color: #ffffff; -} - -@media (max-width: 600px) { - header { - flex-direction: column; - align-items: flex-start; - gap: 1.5rem; - } - nav { - width: 100%; - justify-content: flex-start; - margin-top: 1.5rem; - } -} - -main { - margin: 1.5rem 0; - padding: 1.5rem; -} - -footer { - background: #1a1e29; - margin: 1.5rem; - padding: 1.5rem; - border-radius: 8px; - margin: 0 auto; - text-align: center; -} - -footer p { - margin: 0; - font-size: 0.9rem; - color: #bfc9e6; - text-align: center; -} - -section { - border-bottom: 3px solid #1a1e29; - margin: 2rem 0; - padding-bottom: 2rem; -} - -#page-header { - border-bottom: 3px solid #1a1e29; - margin: 2rem 0; - padding-bottom: 2rem; - text-align: center; -} - -#page-header h1 { - margin: 0; - width: 100%; - font-size: 3rem; - word-break: break-word; -} - -#page-header .subtitle { - margin: 0; - width: 100%; - font-size: 1.2rem; - font-weight: 300; - color: #bfc9e6; -} - -.time { - font-size: 0.8rem; - color: #bfc9e6; - text-align: center; -} - -#tool-cards { - display: flex; - flex-wrap: wrap; - gap: 1.5rem; - justify-content: space-between; -} - -#tool-cards > article { - flex: 1 1 48%; - min-width: 300px; - max-width: 48%; - box-sizing: border-box; -} - -@media (max-width: 900px) { - #tool-cards > article { - flex-basis: 100%; - max-width: 100%; - } -} - -article { - background: #1a1e29; - border-radius: 8px; - position: relative; - transition: background 0.5s ease-in-out; -} - -article:hover, article:focus { - background: #1a3e70; -} - -article h3 { - margin: 0; - font-size: 1.5rem; - font-weight: 700; - color: #ffffff; -} - -article a { - color: #ffffff; - position: absolute; - top: 0; - left: 0; - width: 100%; - height: 100%; - z-index: 1; - text-indent: -9999px; - overflow: hidden; - text-decoration: none; - transition: color 0.3s ease-in-out; -} - -article a:hover, article a:focus { - color: #6fffd2; -} - -article:not(a) { - position: relative; - z-index: 2; -} - -article p { - margin: 0.5rem 0; - font-size: 1rem; - color: #ffffff; - font-weight: 300; -} - -article .subtitle { - margin: 0 0 0 0.5rem; - width: 100%; - font-size: 1.1rem; - font-weight: 300; - color: #bfc9e6; -} - -.term-title { - font-weight: 700; - padding: 0.3rem 0.8rem; - margin-bottom: 0.5rem; - border-radius: 8px; -} - -p code { - background: #102747; - margin: 0 0.2rem; - padding: 0.2rem 0.4rem; - border-radius: 5px; - font-size: 0.8rem; -} - -pre { - padding: 0.5rem; - border-radius: 5px; - overflow-x: auto; -} - -pre code { - font-size: 0.8rem; -} - -.banner { - position: fixed; - top: 0; - width: 100%; - max-width: 1024px; - background-color: #1de9b6; - color: #0a0c11; - padding: 5px 0; - font-weight: 400; - text-align: center; - font-size: 1.1em; - border-radius: 0 0 8px 8px; - z-index: 1000; - font-size: 0.9rem; - height: 1.3rem; - margin-left: calc(0% - 1.5rem); -} - -.banner a { - color: #0a0c11; - text-decoration: underline; - font-weight: 700; - transition: color 0.3s ease-in-out; -} - -.banner a:hover, .banner a:focus { - color: #1a3e70; -} - -body:has(.banner) { - margin-top: 2.6rem; -} - -@media (max-width: 600px) { - .banner { - position: absolute; - top: 0; - width: calc(100% - 1.5rem); - max-width: 1024px; - background-color: #1de9b6; - color: #0a0c11; - padding: 5px; - font-weight: 400; - text-align: center; - font-size: 1.1em; - border-radius: 0 0 8px 8px; - z-index: 1000; - font-size: 0.9rem; - height: 4.3rem; - margin-left: calc(0% - 1.5rem); - } - .banner .banner-text { - display: block; - margin: 0 5px; - } - body:has(.banner) { - margin-top: 5.6rem; - } -} - -table#taxonomy-table { - width: 100%; - border-collapse: collapse; - box-sizing: border-box; - background: #1a1e29; - text-align: left; -} - -table#taxonomy-table tr { - border-bottom: 3px solid #10131a; -} - -table#taxonomy-table tr:nth-child(even) { - background: #161923; - transition: background 0.4s ease-in-out; -} - -table#taxonomy-table tr:nth-child(odd) { - background: #202532; - transition: background 0.4s ease-in-out; -} - -table#taxonomy-table tr:hover, table#taxonomy-table tr:focus { - background: #3a4054; -} - -table#taxonomy-table thead { - text-align: left; - border: none; - border-radius: 8px 8px 0 0; -} - -table#taxonomy-table th { - color: #ffffff; - background: #0a0c11 !important; - padding: 0.6rem 0.6rem; - text-align: left; - font-weight: 600; - border: none; -} - -table#taxonomy-table td { - padding: 0.3rem 0.6rem; - text-align: left; - font-weight: 600; - border: none; -} - -table#taxonomy-table td.description { - font-weight: 300; - color: #bfc9e6; -} - -table#taxonomy-table td.tool { - min-width: 100px; -} - -table#taxonomy-table a.term-link { - padding: 0.2rem 0.6rem; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - color: #ffffff; - transition: color 0.4s ease-in-out, background 0.4s ease-in-out; -} - -table#taxonomy-table a.term-link:hover, table#taxonomy-table a.term-link:focus { - color: #0a0c11 !important; - background: #bfc9e6 !important; -} - -table#taxonomy-table a.taxonomy-name { - padding: 0; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - color: #ffffff; - transition: color 0.4s ease-in-out; -} - -table#taxonomy-table a.taxonomy-name:hover, table#taxonomy-table a.taxonomy-name:focus { - color: #6fffd2; -} - -table#taxonomy-table a { - color: #ffffff; - text-decoration: none; -} - -table#taxonomy-table a:hover, table#taxonomy-table a:focus { - color: #1de9b6; -} - -#taxonomy-page a.term-link { - padding: 0.3rem 1.2rem; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - font-size: 1.2rem; - color: #ffffff; - transition: color 0.4s ease-in-out, background 0.4s ease-in-out; -} - -#taxonomy-page a.term-link:hover, #taxonomy-page a.term-link:focus { - color: #0a0c11 !important; - background: #bfc9e6 !important; -} - -/* _text.sass */ -a { - color: #6fffd2; - text-decoration: underline; - transition: color 0.3s ease-in-out; -} - -a:hover, a:focus { - color: #3380ff; -} - -#quick-links { - text-align: left; -} - -#link-list { - display: flex; - gap: 1.5rem; - align-items: center; - flex-wrap: wrap; - margin: 2rem 0 1.5rem 0; - justify-content: center; -} - -#link-list h2 { - flex: none; -} - -#link-list ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - gap: 1rem; - flex-wrap: wrap; -} - -#link-list ul li { - margin: 0; - padding: 0; -} - -#link-list ul li a { - padding: 0.3rem 0.6rem; - border-radius: 8px; - background: #8fc6ff; - color: #0a0c11; - text-decoration: none; - font-weight: 500; - transition: background 0.3s ease-in-out; -} - -#link-list ul li a:hover, #link-list ul li a:focus { - background: #6fffd2; -} - -a.button { - padding: 0.3rem 0.6rem; - margin: 0 0.2rem; - border-radius: 8px; - background: #8fc6ff; - color: #0a0c11; - text-decoration: none; - font-weight: 500; - transition: background 0.3s ease-in-out; -} - -a.button:hover, a.button:focus { - background: #6fffd2; -} - -#publications { - font-weight: 300; -} - -#publications ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - flex-direction: column; - gap: 1em; -} - -#publications ul li { - background: #1a1e29; - border-radius: 8px; - padding: 1em 1.5em; -} - -#publications a { - color: #8fc6ff; - text-decoration: none; - font-weight: 100; - transition: color 0.3s ease-in-out; -} - -#publications a:hover, #publications a:focus { - color: #6fffd2; -} - -/*# sourceMappingURL=styles.css.map */ \ No newline at end of file diff --git a/css/styles.578881480ce66a12f64771a4e0739355e385e34f80ac1cb42838023ce21f2b1e6e6cae32b6f6311a958e68d9d1cbcf5a0dbadd62760226df965ec3dbb86dfa41.css b/css/styles.578881480ce66a12f64771a4e0739355e385e34f80ac1cb42838023ce21f2b1e6e6cae32b6f6311a958e68d9d1cbcf5a0dbadd62760226df965ec3dbb86dfa41.css deleted file mode 100644 index 1bd5b95..0000000 --- a/css/styles.578881480ce66a12f64771a4e0739355e385e34f80ac1cb42838023ce21f2b1e6e6cae32b6f6311a958e68d9d1cbcf5a0dbadd62760226df965ec3dbb86dfa41.css +++ /dev/null @@ -1,640 +0,0 @@ -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 100; - src: local("Source Sans 3 ExtraLight"), local("SourceSans3-ExtraLight"), url("/fonts/static/SourceSans3-ExtraLight.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraLight.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 200; - src: local("Source Sans 3 ExtraLight"), local("SourceSans3-ExtraLight"), url("/fonts/static/SourceSans3-ExtraLight.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraLight.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 300; - src: local("Source Sans 3 Light"), local("SourceSans3-Light"), url("/fonts/static/SourceSans3-Light.woff2") format("woff2"), url("/fonts/static/SourceSans3-Light.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 400; - src: local("Source Sans 3 Regular"), local("SourceSans3-Regular"), url("/fonts/static/SourceSans3-Regular.woff2") format("woff2"), url("/fonts/static/SourceSans3-Regular.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: italic; - font-display: swap; - font-weight: 400; - src: local("Source Sans 3 Italic"), local("SourceSans3-Italic"), url("/fonts/static/SourceSans3-Italic.woff2") format("woff2"), url("/fonts/static/SourceSans3-Italic.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 500; - src: local("Source Sans 3 Medium"), local("SourceSans3-Medium"), url("/fonts/static/SourceSans3-Medium.woff2") format("woff2"), url("/fonts/static/SourceSans3-Medium.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 600; - src: local("Source Sans 3 SemiBold"), local("SourceSans3-SemiBold"), url("/fonts/static/SourceSans3-SemiBold.woff2") format("woff2"), url("/fonts/static/SourceSans3-SemiBold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 700; - src: local("Source Sans 3 Bold"), local("SourceSans3-Bold"), url("/fonts/static/SourceSans3-Bold.woff2") format("woff2"), url("/fonts/static/SourceSans3-Bold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: italic; - font-display: swap; - font-weight: 700; - src: local("Source Sans 3 Bold Italic"), local("SourceSans3-BoldItalic"), url("/fonts/static/SourceSans3-BoldItalic.woff2") format("woff2"), url("/fonts/static/SourceSans3-BoldItalic.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 800; - src: local("Source Sans 3 ExtraBold"), local("SourceSans3-ExtraBold"), url("/fonts/static/SourceSans3-ExtraBold.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraBold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 900; - src: local("Source Sans 3 Black"), local("SourceSans3-Black"), url("/fonts/static/SourceSans3-Black.woff2") format("woff2"), url("/fonts/static/SourceSans3-Black.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Code Pro'; - font-style: normal; - font-display: swap; - font-weight: 600; - src: local("Source Code Pro Medium"), local("SourceCodePro-Medium"), url("/fonts/static/SourceCodePro-Medium.woff2") format("woff2"), url("/fonts/static/SourceCodePro-Medium.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Code Pro'; - font-style: italic; - font-display: swap; - font-weight: 600; - src: local("Source Code Pro Medium Italic"), local("SourceCodePro-MediumItalic"), url("/fonts/static/SourceCodePro-MediumItalic.woff2") format("woff2"), url("/fonts/static/SourceCodePro-MediumItalic.ttf") format("truetype"); -} - -* { - font-family: 'Source Sans 3', sans-serif; -} - -code { - font-family: 'Source Code Pro', monospace; -} - -/* _layout.sass */ -/* Variables */ -html { - background: #0a0c11; -} - -/* Base Layout */ -body { - background: #10131a; - color: #ffffff; - font-family: 'Segoe UI', 'Helvetica Neue', Arial, sans-serif; - width: 100%; - height: 100%; - max-width: 1024px; - margin: 1.5rem auto; - padding: 1.5rem; - box-sizing: border-box; - border-radius: 8px; -} - -header { - background: #1a1e29; - margin: 1.5rem; - padding: 1.5rem; - display: flex; - flex-wrap: wrap; - align-items: center; - justify-content: space-between; - border-radius: 8px; - margin: 0 auto; -} - -header h1, header h1 a { - margin: 0; - font-size: 1.6rem; - font-weight: 900; - color: #ffffff; - text-decoration: none; - padding: 0; - transition: color 0.4s ease-in-out; -} - -header h1:hover, header h1:focus, header h1 a:hover, header h1 a:focus { - color: #6fffd2; -} - -nav { - display: flex; - gap: 1.5rem; - align-items: center; -} - -nav ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - gap: 0.5rem; - flex-wrap: wrap; -} - -nav ul li { - margin: 0; - padding: 0; -} - -nav ul li a { - padding: 0.4rem 0.6rem; - border-radius: 8px; - background: #1a3e70; - color: #ffffff; - text-decoration: none; - font-weight: 500; - transition: background 0.4s ease-in-out; -} - -nav ul li a:hover, nav ul li a:focus { - background: #00897b; - color: #ffffff; -} - -@media (max-width: 600px) { - header { - flex-direction: column; - align-items: flex-start; - gap: 1.5rem; - } - nav { - width: 100%; - justify-content: flex-start; - margin-top: 1.5rem; - } -} - -main { - margin: 1.5rem 0; - padding: 1.5rem; -} - -footer { - background: #1a1e29; - margin: 1.5rem; - padding: 1.5rem; - border-radius: 8px; - margin: 0 auto; - text-align: center; -} - -footer p { - margin: 0; - font-size: 0.9rem; - color: #bfc9e6; - text-align: center; -} - -section { - border-bottom: 3px solid #1a1e29; - margin: 2rem 0; - padding-bottom: 2rem; -} - -#page-header { - border-bottom: 3px solid #1a1e29; - margin: 2rem 0; - padding-bottom: 2rem; - text-align: center; -} - -#page-header h1 { - margin: 0; - width: 100%; - font-size: 3rem; - word-break: break-word; -} - -#page-header .subtitle { - margin: 0; - width: 100%; - font-size: 1.2rem; - font-weight: 300; - color: #bfc9e6; -} - -.time { - font-size: 0.8rem; - color: #bfc9e6; - text-align: center; -} - -#tool-cards { - display: flex; - flex-wrap: wrap; - gap: 1.5rem; - justify-content: space-between; -} - -#tool-cards > article { - flex: 1 1 49%; - min-width: 300px; - max-width: 49%; - box-sizing: border-box; -} - -@media (max-width: 900px) { - #tool-cards > article { - flex-basis: 100%; - max-width: 100%; - } -} - -article { - background: #1a1e29; - border-radius: 8px; - padding: 1rem 1.5rem; - position: relative; - transition: background 0.5s ease-in-out; -} - -article:hover, article:focus { - background: #1a3e70; -} - -article h3 { - margin: 0; - font-size: 1.5rem; - font-weight: 700; - color: #ffffff; -} - -article a { - color: #ffffff; - position: absolute; - top: 0; - left: 0; - width: 100%; - height: 100%; - z-index: 1; - text-indent: -9999px; - overflow: hidden; - text-decoration: none; - transition: color 0.3s ease-in-out; -} - -article a:hover, article a:focus { - color: #6fffd2; -} - -article:not(a) { - position: relative; - z-index: 2; -} - -article p { - margin: 0.5rem 0; - font-size: 1rem; - color: #ffffff; - font-weight: 300; -} - -article .subtitle { - margin: 0 0 0 0.5rem; - width: 100%; - font-size: 1.1rem; - font-weight: 300; - color: #bfc9e6; -} - -.term-title { - font-weight: 700; - padding: 0.3rem 0.8rem; - margin-bottom: 0.5rem; - border-radius: 8px; -} - -p code { - background: #102747; - margin: 0 0.2rem; - padding: 0.2rem 0.4rem; - border-radius: 5px; - font-size: 0.8rem; -} - -pre { - padding: 0.5rem; - border-radius: 5px; - overflow-x: auto; -} - -pre code { - font-size: 0.8rem; -} - -.banner { - position: fixed; - top: 0; - width: 100%; - max-width: 1024px; - background-color: #1de9b6; - color: #0a0c11; - padding: 5px 0; - font-weight: 400; - text-align: center; - font-size: 1.1em; - border-radius: 0 0 8px 8px; - z-index: 1000; - font-size: 0.9rem; - height: 1.3rem; - margin-left: calc(0% - 1.5rem); -} - -.banner a { - color: #0a0c11; - text-decoration: underline; - font-weight: 700; - transition: color 0.3s ease-in-out; -} - -.banner a:hover, .banner a:focus { - color: #1a3e70; -} - -body:has(.banner) { - margin-top: 2.6rem; -} - -@media (max-width: 600px) { - .banner { - position: absolute; - top: 0; - width: calc(100% - 1.5rem); - max-width: 1024px; - background-color: #1de9b6; - color: #0a0c11; - padding: 5px; - font-weight: 400; - text-align: center; - font-size: 1.1em; - border-radius: 0 0 8px 8px; - z-index: 1000; - font-size: 0.9rem; - height: 4.3rem; - margin-left: calc(0% - 1.5rem); - } - .banner .banner-text { - display: block; - margin: 0 5px; - } - body:has(.banner) { - margin-top: 5.6rem; - } -} - -table#taxonomy-table { - width: 100%; - border-collapse: collapse; - box-sizing: border-box; - background: #1a1e29; - text-align: left; -} - -table#taxonomy-table tr { - border-bottom: 3px solid #10131a; -} - -table#taxonomy-table tr:nth-child(even) { - background: #161923; - transition: background 0.4s ease-in-out; -} - -table#taxonomy-table tr:nth-child(odd) { - background: #202532; - transition: background 0.4s ease-in-out; -} - -table#taxonomy-table tr:hover, table#taxonomy-table tr:focus { - background: #3a4054; -} - -table#taxonomy-table thead { - text-align: left; - border: none; - border-radius: 8px 8px 0 0; -} - -table#taxonomy-table th { - color: #ffffff; - background: #0a0c11 !important; - padding: 0.6rem 0.6rem; - text-align: left; - font-weight: 600; - border: none; -} - -table#taxonomy-table td { - padding: 0.3rem 0.6rem; - text-align: left; - font-weight: 600; - border: none; -} - -table#taxonomy-table td.description { - font-weight: 300; - color: #bfc9e6; -} - -table#taxonomy-table td.tool { - min-width: 100px; -} - -table#taxonomy-table a.term-link { - padding: 0.2rem 0.6rem; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - color: #ffffff; - transition: color 0.4s ease-in-out, background 0.4s ease-in-out; -} - -table#taxonomy-table a.term-link:hover, table#taxonomy-table a.term-link:focus { - color: #0a0c11 !important; - background: #bfc9e6 !important; -} - -table#taxonomy-table a.taxonomy-name { - padding: 0; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - color: #ffffff; - transition: color 0.4s ease-in-out; -} - -table#taxonomy-table a.taxonomy-name:hover, table#taxonomy-table a.taxonomy-name:focus { - color: #6fffd2; -} - -table#taxonomy-table a { - color: #ffffff; - text-decoration: none; -} - -table#taxonomy-table a:hover, table#taxonomy-table a:focus { - color: #1de9b6; -} - -#taxonomy-page a.term-link { - padding: 0.3rem 1.2rem; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - font-size: 1.2rem; - color: #ffffff; - transition: color 0.4s ease-in-out, background 0.4s ease-in-out; -} - -#taxonomy-page a.term-link:hover, #taxonomy-page a.term-link:focus { - color: #0a0c11 !important; - background: #bfc9e6 !important; -} - -/* _text.sass */ -a { - color: #6fffd2; - text-decoration: underline; - transition: color 0.3s ease-in-out; -} - -a:hover, a:focus { - color: #3380ff; -} - -#quick-links { - text-align: left; -} - -#link-list { - display: flex; - gap: 1.5rem; - align-items: center; - flex-wrap: wrap; - margin: 2rem 0 1.5rem 0; - justify-content: center; -} - -#link-list h2 { - flex: none; -} - -#link-list ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - gap: 1rem; - flex-wrap: wrap; -} - -#link-list ul li { - margin: 0; - padding: 0; -} - -#link-list ul li a { - padding: 0.3rem 0.6rem; - border-radius: 8px; - background: #8fc6ff; - color: #0a0c11; - text-decoration: none; - font-weight: 500; - transition: background 0.3s ease-in-out; -} - -#link-list ul li a:hover, #link-list ul li a:focus { - background: #6fffd2; -} - -a.button { - padding: 0.3rem 0.6rem; - margin: 0 0.2rem; - border-radius: 8px; - background: #8fc6ff; - color: #0a0c11; - text-decoration: none; - font-weight: 500; - transition: background 0.3s ease-in-out; -} - -a.button:hover, a.button:focus { - background: #6fffd2; -} - -#publications { - font-weight: 300; -} - -#publications ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - flex-direction: column; - gap: 1em; -} - -#publications ul li { - background: #1a1e29; - border-radius: 8px; - padding: 1em 1.5em; -} - -#publications a { - color: #8fc6ff; - text-decoration: none; - font-weight: 100; - transition: color 0.3s ease-in-out; -} - -#publications a:hover, #publications a:focus { - color: #6fffd2; -} - -/*# sourceMappingURL=styles.css.map */ \ No newline at end of file diff --git a/css/styles.9d797fdbc9887767b3ad88393155cb84288660765fe6e18c89e2e00fd5ecfb0b9f46384188a0ae4e8b63f4c81526872e0ff61d1d5204287a0c3c8b6e8e34b6b9.css b/css/styles.9d797fdbc9887767b3ad88393155cb84288660765fe6e18c89e2e00fd5ecfb0b9f46384188a0ae4e8b63f4c81526872e0ff61d1d5204287a0c3c8b6e8e34b6b9.css deleted file mode 100644 index 5864270..0000000 --- a/css/styles.9d797fdbc9887767b3ad88393155cb84288660765fe6e18c89e2e00fd5ecfb0b9f46384188a0ae4e8b63f4c81526872e0ff61d1d5204287a0c3c8b6e8e34b6b9.css +++ /dev/null @@ -1,620 +0,0 @@ -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 100; - src: local("Source Sans 3 ExtraLight"), local("SourceSans3-ExtraLight"), url("/fonts/static/SourceSans3-ExtraLight.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraLight.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 200; - src: local("Source Sans 3 ExtraLight"), local("SourceSans3-ExtraLight"), url("/fonts/static/SourceSans3-ExtraLight.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraLight.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 300; - src: local("Source Sans 3 Light"), local("SourceSans3-Light"), url("/fonts/static/SourceSans3-Light.woff2") format("woff2"), url("/fonts/static/SourceSans3-Light.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 400; - src: local("Source Sans 3 Regular"), local("SourceSans3-Regular"), url("/fonts/static/SourceSans3-Regular.woff2") format("woff2"), url("/fonts/static/SourceSans3-Regular.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: italic; - font-display: swap; - font-weight: 400; - src: local("Source Sans 3 Italic"), local("SourceSans3-Italic"), url("/fonts/static/SourceSans3-Italic.woff2") format("woff2"), url("/fonts/static/SourceSans3-Italic.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 500; - src: local("Source Sans 3 Medium"), local("SourceSans3-Medium"), url("/fonts/static/SourceSans3-Medium.woff2") format("woff2"), url("/fonts/static/SourceSans3-Medium.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 600; - src: local("Source Sans 3 SemiBold"), local("SourceSans3-SemiBold"), url("/fonts/static/SourceSans3-SemiBold.woff2") format("woff2"), url("/fonts/static/SourceSans3-SemiBold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 700; - src: local("Source Sans 3 Bold"), local("SourceSans3-Bold"), url("/fonts/static/SourceSans3-Bold.woff2") format("woff2"), url("/fonts/static/SourceSans3-Bold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: italic; - font-display: swap; - font-weight: 700; - src: local("Source Sans 3 Bold Italic"), local("SourceSans3-BoldItalic"), url("/fonts/static/SourceSans3-BoldItalic.woff2") format("woff2"), url("/fonts/static/SourceSans3-BoldItalic.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 800; - src: local("Source Sans 3 ExtraBold"), local("SourceSans3-ExtraBold"), url("/fonts/static/SourceSans3-ExtraBold.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraBold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 900; - src: local("Source Sans 3 Black"), local("SourceSans3-Black"), url("/fonts/static/SourceSans3-Black.woff2") format("woff2"), url("/fonts/static/SourceSans3-Black.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Code Pro'; - font-style: normal; - font-display: swap; - font-weight: 600; - src: local("Source Code Pro Medium"), local("SourceCodePro-Medium"), url("/fonts/static/SourceCodePro-Medium.woff2") format("woff2"), url("/fonts/static/SourceCodePro-Medium.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Code Pro'; - font-style: italic; - font-display: swap; - font-weight: 600; - src: local("Source Code Pro Medium Italic"), local("SourceCodePro-MediumItalic"), url("/fonts/static/SourceCodePro-MediumItalic.woff2") format("woff2"), url("/fonts/static/SourceCodePro-MediumItalic.ttf") format("truetype"); -} - -* { - font-family: 'Source Sans 3', sans-serif; -} - -code { - font-family: 'Source Code Pro', monospace; -} - -/* _layout.sass */ -/* Variables */ -html { - background: #0a0c11; -} - -/* Base Layout */ -body { - background: #10131a; - color: #ffffff; - font-family: 'Segoe UI', 'Helvetica Neue', Arial, sans-serif; - width: 100%; - height: 100%; - max-width: 1024px; - margin: 1.5rem auto; - padding: 1.5rem; - box-sizing: border-box; - border-radius: 8px; -} - -header { - background: #1a1e29; - margin: 1.5rem; - padding: 1.5rem; - display: flex; - flex-wrap: wrap; - align-items: center; - justify-content: space-between; - border-radius: 8px; - margin: 0 auto; -} - -header h1, header h1 a { - margin: 0; - font-size: 1.6rem; - font-weight: 900; - color: #ffffff; - text-decoration: none; - padding: 0; - transition: color 0.4s ease-in-out; -} - -header h1:hover, header h1:focus, header h1 a:hover, header h1 a:focus { - color: #6fffd2; -} - -nav { - display: flex; - gap: 1.5rem; - align-items: center; -} - -nav ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - gap: 0.5rem; - flex-wrap: wrap; -} - -nav ul li { - margin: 0; - padding: 0; -} - -nav ul li a { - padding: 0.4rem 0.6rem; - border-radius: 8px; - background: #1a3e70; - color: #ffffff; - text-decoration: none; - font-weight: 500; - transition: background 0.4s ease-in-out; -} - -nav ul li a:hover, nav ul li a:focus { - background: #00897b; - color: #ffffff; -} - -@media (max-width: 600px) { - header { - flex-direction: column; - align-items: flex-start; - gap: 1.5rem; - } - nav { - width: 100%; - justify-content: flex-start; - margin-top: 1.5rem; - } -} - -main { - margin: 1.5rem 0; - padding: 1.5rem; -} - -footer { - background: #1a1e29; - margin: 1.5rem; - padding: 1.5rem; - border-radius: 8px; - margin: 0 auto; - text-align: center; -} - -footer p { - margin: 0; - font-size: 0.9rem; - color: #bfc9e6; - text-align: center; -} - -section { - border-bottom: 3px solid #1a1e29; - margin: 2rem 0; - padding-bottom: 2rem; -} - -#page-header { - border-bottom: 3px solid #1a1e29; - margin: 2rem 0; - padding-bottom: 2rem; - text-align: center; -} - -#page-header h1 { - margin: 0; - width: 100%; - font-size: 3rem; - word-break: break-word; -} - -#page-header .subtitle { - margin: 0; - width: 100%; - font-size: 1.2rem; - font-weight: 300; - color: #bfc9e6; -} - -.time { - font-size: 0.8rem; - color: #bfc9e6; - text-align: center; -} - -article { - background: #1a1e29; - border-radius: 8px; - padding: 1.5rem; - margin: 1.5rem 0; - position: relative; - transition: background 0.5s ease-in-out; -} - -article:hover, article:focus { - background: #1a3e70; -} - -article h3 { - margin: 0; - font-size: 1.5rem; - font-weight: 700; - color: #ffffff; -} - -article a { - color: #ffffff; - position: absolute; - top: 0; - left: 0; - width: 100%; - height: 100%; - z-index: 1; - text-indent: -9999px; - overflow: hidden; - text-decoration: none; - transition: color 0.3s ease-in-out; -} - -article a:hover, article a:focus { - color: #6fffd2; -} - -article:not(a) { - position: relative; - z-index: 2; -} - -article p { - margin: 0.5rem 0; - font-size: 1rem; - color: #ffffff; - font-weight: 300; -} - -article .subtitle { - margin: 0 0 0 0.5rem; - width: 100%; - font-size: 1.1rem; - font-weight: 300; - color: #bfc9e6; -} - -.term-title { - font-weight: 700; - padding: 0.3rem 0.8rem; - margin-bottom: 0.5rem; - border-radius: 8px; -} - -p code { - background: #102747; - margin: 0 0.2rem; - padding: 0.2rem 0.4rem; - border-radius: 5px; - font-size: 0.8rem; -} - -pre { - padding: 0.5rem; - border-radius: 5px; - overflow-x: auto; -} - -pre code { - font-size: 0.8rem; -} - -.banner { - position: fixed; - top: 0; - width: 100%; - max-width: 1024px; - background-color: #1de9b6; - color: #0a0c11; - padding: 5px 0; - font-weight: 400; - text-align: center; - font-size: 1.1em; - border-radius: 0 0 8px 8px; - z-index: 1000; - font-size: 0.9rem; - height: 1.3rem; - margin-left: calc(0% - 1.5rem); -} - -.banner a { - color: #0a0c11; - text-decoration: underline; - font-weight: 700; - transition: color 0.3s ease-in-out; -} - -.banner a:hover, .banner a:focus { - color: #1a3e70; -} - -body:has(.banner) { - margin-top: 2.6rem; -} - -@media (max-width: 600px) { - .banner { - position: absolute; - top: 0; - width: calc(100% - 1.5rem); - max-width: 1024px; - background-color: #1de9b6; - color: #0a0c11; - padding: 5px; - font-weight: 400; - text-align: center; - font-size: 1.1em; - border-radius: 0 0 8px 8px; - z-index: 1000; - font-size: 0.9rem; - height: 4.3rem; - margin-left: calc(0% - 1.5rem); - } - .banner .banner-text { - display: block; - margin: 0 5px; - } - body:has(.banner) { - margin-top: 5.6rem; - } -} - -table#taxonomy-table { - width: 100%; - border-collapse: collapse; - box-sizing: border-box; - background: #1a1e29; - text-align: left; -} - -table#taxonomy-table tr { - border-bottom: 3px solid #10131a; -} - -table#taxonomy-table tr:nth-child(even) { - background: #161923; - transition: background 0.4s ease-in-out; -} - -table#taxonomy-table tr:nth-child(odd) { - background: #202532; - transition: background 0.4s ease-in-out; -} - -table#taxonomy-table tr:hover, table#taxonomy-table tr:focus { - background: #3a4054; -} - -table#taxonomy-table thead { - text-align: left; - border: none; - border-radius: 8px 8px 0 0; -} - -table#taxonomy-table th { - color: #ffffff; - background: #0a0c11 !important; - padding: 0.6rem 0.6rem; - text-align: left; - font-weight: 600; - border: none; -} - -table#taxonomy-table td { - padding: 0.3rem 0.6rem; - text-align: left; - font-weight: 600; - border: none; -} - -table#taxonomy-table td.description { - font-weight: 300; - color: #bfc9e6; -} - -table#taxonomy-table td.tool { - min-width: 100px; -} - -table#taxonomy-table a.term-link { - padding: 0.2rem 0.6rem; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - color: #ffffff; - transition: color 0.4s ease-in-out, background 0.4s ease-in-out; -} - -table#taxonomy-table a.term-link:hover, table#taxonomy-table a.term-link:focus { - color: #0a0c11 !important; - background: #bfc9e6 !important; -} - -table#taxonomy-table a.taxonomy-name { - padding: 0; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - color: #ffffff; - transition: color 0.4s ease-in-out; -} - -table#taxonomy-table a.taxonomy-name:hover, table#taxonomy-table a.taxonomy-name:focus { - color: #6fffd2; -} - -table#taxonomy-table a { - color: #ffffff; - text-decoration: none; -} - -table#taxonomy-table a:hover, table#taxonomy-table a:focus { - color: #1de9b6; -} - -#taxonomy-page a.term-link { - padding: 0.3rem 1.2rem; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - font-size: 1.2rem; - color: #ffffff; - transition: color 0.4s ease-in-out, background 0.4s ease-in-out; -} - -#taxonomy-page a.term-link:hover, #taxonomy-page a.term-link:focus { - color: #0a0c11 !important; - background: #bfc9e6 !important; -} - -/* _text.sass */ -a { - color: #6fffd2; - text-decoration: underline; - transition: color 0.3s ease-in-out; -} - -a:hover, a:focus { - color: #3380ff; -} - -#quick-links { - text-align: left; -} - -#link-list { - display: flex; - gap: 1.5rem; - align-items: center; - flex-wrap: wrap; - margin: 2rem 0 1.5rem 0; - justify-content: center; -} - -#link-list h2 { - flex: none; -} - -#link-list ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - gap: 1rem; - flex-wrap: wrap; -} - -#link-list ul li { - margin: 0; - padding: 0; -} - -#link-list ul li a { - padding: 0.3rem 0.6rem; - border-radius: 8px; - background: #8fc6ff; - color: #0a0c11; - text-decoration: none; - font-weight: 500; - transition: background 0.3s ease-in-out; -} - -#link-list ul li a:hover, #link-list ul li a:focus { - background: #6fffd2; -} - -a.button { - padding: 0.3rem 0.6rem; - margin: 0 0.2rem; - border-radius: 8px; - background: #8fc6ff; - color: #0a0c11; - text-decoration: none; - font-weight: 500; - transition: background 0.3s ease-in-out; -} - -a.button:hover, a.button:focus { - background: #6fffd2; -} - -#publications { - font-weight: 300; -} - -#publications ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - flex-direction: column; - gap: 1em; -} - -#publications ul li { - background: #1a1e29; - border-radius: 8px; - padding: 1em 1.5em; -} - -#publications a { - color: #8fc6ff; - text-decoration: none; - font-weight: 100; - transition: color 0.3s ease-in-out; -} - -#publications a:hover, #publications a:focus { - color: #6fffd2; -} - -/*# sourceMappingURL=styles.css.map */ \ No newline at end of file diff --git a/css/styles.b66e385fd50f900667398f3d748f95f200501822c897d1bf8b45292ea077d761348f7962021c16995dcbb8fe7ed7e8055a60a99b02eea96eb03acacb2659f08a.css b/css/styles.b66e385fd50f900667398f3d748f95f200501822c897d1bf8b45292ea077d761348f7962021c16995dcbb8fe7ed7e8055a60a99b02eea96eb03acacb2659f08a.css deleted file mode 100644 index ef6e641..0000000 --- a/css/styles.b66e385fd50f900667398f3d748f95f200501822c897d1bf8b45292ea077d761348f7962021c16995dcbb8fe7ed7e8055a60a99b02eea96eb03acacb2659f08a.css +++ /dev/null @@ -1,640 +0,0 @@ -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 100; - src: local("Source Sans 3 ExtraLight"), local("SourceSans3-ExtraLight"), url("/fonts/static/SourceSans3-ExtraLight.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraLight.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 200; - src: local("Source Sans 3 ExtraLight"), local("SourceSans3-ExtraLight"), url("/fonts/static/SourceSans3-ExtraLight.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraLight.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 300; - src: local("Source Sans 3 Light"), local("SourceSans3-Light"), url("/fonts/static/SourceSans3-Light.woff2") format("woff2"), url("/fonts/static/SourceSans3-Light.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 400; - src: local("Source Sans 3 Regular"), local("SourceSans3-Regular"), url("/fonts/static/SourceSans3-Regular.woff2") format("woff2"), url("/fonts/static/SourceSans3-Regular.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: italic; - font-display: swap; - font-weight: 400; - src: local("Source Sans 3 Italic"), local("SourceSans3-Italic"), url("/fonts/static/SourceSans3-Italic.woff2") format("woff2"), url("/fonts/static/SourceSans3-Italic.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 500; - src: local("Source Sans 3 Medium"), local("SourceSans3-Medium"), url("/fonts/static/SourceSans3-Medium.woff2") format("woff2"), url("/fonts/static/SourceSans3-Medium.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 600; - src: local("Source Sans 3 SemiBold"), local("SourceSans3-SemiBold"), url("/fonts/static/SourceSans3-SemiBold.woff2") format("woff2"), url("/fonts/static/SourceSans3-SemiBold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 700; - src: local("Source Sans 3 Bold"), local("SourceSans3-Bold"), url("/fonts/static/SourceSans3-Bold.woff2") format("woff2"), url("/fonts/static/SourceSans3-Bold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: italic; - font-display: swap; - font-weight: 700; - src: local("Source Sans 3 Bold Italic"), local("SourceSans3-BoldItalic"), url("/fonts/static/SourceSans3-BoldItalic.woff2") format("woff2"), url("/fonts/static/SourceSans3-BoldItalic.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 800; - src: local("Source Sans 3 ExtraBold"), local("SourceSans3-ExtraBold"), url("/fonts/static/SourceSans3-ExtraBold.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraBold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 900; - src: local("Source Sans 3 Black"), local("SourceSans3-Black"), url("/fonts/static/SourceSans3-Black.woff2") format("woff2"), url("/fonts/static/SourceSans3-Black.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Code Pro'; - font-style: normal; - font-display: swap; - font-weight: 600; - src: local("Source Code Pro Medium"), local("SourceCodePro-Medium"), url("/fonts/static/SourceCodePro-Medium.woff2") format("woff2"), url("/fonts/static/SourceCodePro-Medium.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Code Pro'; - font-style: italic; - font-display: swap; - font-weight: 600; - src: local("Source Code Pro Medium Italic"), local("SourceCodePro-MediumItalic"), url("/fonts/static/SourceCodePro-MediumItalic.woff2") format("woff2"), url("/fonts/static/SourceCodePro-MediumItalic.ttf") format("truetype"); -} - -* { - font-family: 'Source Sans 3', sans-serif; -} - -code { - font-family: 'Source Code Pro', monospace; -} - -/* _layout.sass */ -/* Variables */ -html { - background: #0a0c11; -} - -/* Base Layout */ -body { - background: #10131a; - color: #ffffff; - font-family: 'Segoe UI', 'Helvetica Neue', Arial, sans-serif; - width: 100%; - height: 100%; - max-width: 1024px; - margin: 1.5rem auto; - padding: 1.5rem; - box-sizing: border-box; - border-radius: 8px; -} - -header { - background: #1a1e29; - margin: 1.5rem; - padding: 1.5rem; - display: flex; - flex-wrap: wrap; - align-items: center; - justify-content: space-between; - border-radius: 8px; - margin: 0 auto; -} - -header h1, header h1 a { - margin: 0; - font-size: 1.6rem; - font-weight: 900; - color: #ffffff; - text-decoration: none; - padding: 0; - transition: color 0.4s ease-in-out; -} - -header h1:hover, header h1:focus, header h1 a:hover, header h1 a:focus { - color: #6fffd2; -} - -nav { - display: flex; - gap: 1.5rem; - align-items: center; -} - -nav ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - gap: 0.5rem; - flex-wrap: wrap; -} - -nav ul li { - margin: 0; - padding: 0; -} - -nav ul li a { - padding: 0.4rem 0.6rem; - border-radius: 8px; - background: #1a3e70; - color: #ffffff; - text-decoration: none; - font-weight: 500; - transition: background 0.4s ease-in-out; -} - -nav ul li a:hover, nav ul li a:focus { - background: #00897b; - color: #ffffff; -} - -@media (max-width: 600px) { - header { - flex-direction: column; - align-items: flex-start; - gap: 1.5rem; - } - nav { - width: 100%; - justify-content: flex-start; - margin-top: 1.5rem; - } -} - -main { - margin: 1.5rem 0; - padding: 1.5rem; -} - -footer { - background: #1a1e29; - margin: 1.5rem; - padding: 1.5rem; - border-radius: 8px; - margin: 0 auto; - text-align: center; -} - -footer p { - margin: 0; - font-size: 0.9rem; - color: #bfc9e6; - text-align: center; -} - -section { - border-bottom: 3px solid #1a1e29; - margin: 2rem 0; - padding-bottom: 2rem; -} - -#page-header { - border-bottom: 3px solid #1a1e29; - margin: 2rem 0; - padding-bottom: 2rem; - text-align: center; -} - -#page-header h1 { - margin: 0; - width: 100%; - font-size: 3rem; - word-break: break-word; -} - -#page-header .subtitle { - margin: 0; - width: 100%; - font-size: 1.2rem; - font-weight: 300; - color: #bfc9e6; -} - -.time { - font-size: 0.8rem; - color: #bfc9e6; - text-align: center; -} - -#tool-cards { - display: flex; - flex-wrap: wrap; - gap: 1.5rem; - justify-content: space-between; -} - -#tool-cards > article { - flex: 1 1 48%; - min-width: 300px; - max-width: 48%; - box-sizing: border-box; -} - -@media (max-width: 900px) { - #tool-cards > article { - flex-basis: 100%; - max-width: 100%; - } -} - -article { - background: #1a1e29; - border-radius: 8px; - padding: 1.5rem; - position: relative; - transition: background 0.5s ease-in-out; -} - -article:hover, article:focus { - background: #1a3e70; -} - -article h3 { - margin: 0; - font-size: 1.5rem; - font-weight: 700; - color: #ffffff; -} - -article a { - color: #ffffff; - position: absolute; - top: 0; - left: 0; - width: 100%; - height: 100%; - z-index: 1; - text-indent: -9999px; - overflow: hidden; - text-decoration: none; - transition: color 0.3s ease-in-out; -} - -article a:hover, article a:focus { - color: #6fffd2; -} - -article:not(a) { - position: relative; - z-index: 2; -} - -article p { - margin: 0.5rem 0; - font-size: 1rem; - color: #ffffff; - font-weight: 300; -} - -article .subtitle { - margin: 0 0 0 0.5rem; - width: 100%; - font-size: 1.1rem; - font-weight: 300; - color: #bfc9e6; -} - -.term-title { - font-weight: 700; - padding: 0.3rem 0.8rem; - margin-bottom: 0.5rem; - border-radius: 8px; -} - -p code { - background: #102747; - margin: 0 0.2rem; - padding: 0.2rem 0.4rem; - border-radius: 5px; - font-size: 0.8rem; -} - -pre { - padding: 0.5rem; - border-radius: 5px; - overflow-x: auto; -} - -pre code { - font-size: 0.8rem; -} - -.banner { - position: fixed; - top: 0; - width: 100%; - max-width: 1024px; - background-color: #1de9b6; - color: #0a0c11; - padding: 5px 0; - font-weight: 400; - text-align: center; - font-size: 1.1em; - border-radius: 0 0 8px 8px; - z-index: 1000; - font-size: 0.9rem; - height: 1.3rem; - margin-left: calc(0% - 1.5rem); -} - -.banner a { - color: #0a0c11; - text-decoration: underline; - font-weight: 700; - transition: color 0.3s ease-in-out; -} - -.banner a:hover, .banner a:focus { - color: #1a3e70; -} - -body:has(.banner) { - margin-top: 2.6rem; -} - -@media (max-width: 600px) { - .banner { - position: absolute; - top: 0; - width: calc(100% - 1.5rem); - max-width: 1024px; - background-color: #1de9b6; - color: #0a0c11; - padding: 5px; - font-weight: 400; - text-align: center; - font-size: 1.1em; - border-radius: 0 0 8px 8px; - z-index: 1000; - font-size: 0.9rem; - height: 4.3rem; - margin-left: calc(0% - 1.5rem); - } - .banner .banner-text { - display: block; - margin: 0 5px; - } - body:has(.banner) { - margin-top: 5.6rem; - } -} - -table#taxonomy-table { - width: 100%; - border-collapse: collapse; - box-sizing: border-box; - background: #1a1e29; - text-align: left; -} - -table#taxonomy-table tr { - border-bottom: 3px solid #10131a; -} - -table#taxonomy-table tr:nth-child(even) { - background: #161923; - transition: background 0.4s ease-in-out; -} - -table#taxonomy-table tr:nth-child(odd) { - background: #202532; - transition: background 0.4s ease-in-out; -} - -table#taxonomy-table tr:hover, table#taxonomy-table tr:focus { - background: #3a4054; -} - -table#taxonomy-table thead { - text-align: left; - border: none; - border-radius: 8px 8px 0 0; -} - -table#taxonomy-table th { - color: #ffffff; - background: #0a0c11 !important; - padding: 0.6rem 0.6rem; - text-align: left; - font-weight: 600; - border: none; -} - -table#taxonomy-table td { - padding: 0.3rem 0.6rem; - text-align: left; - font-weight: 600; - border: none; -} - -table#taxonomy-table td.description { - font-weight: 300; - color: #bfc9e6; -} - -table#taxonomy-table td.tool { - min-width: 100px; -} - -table#taxonomy-table a.term-link { - padding: 0.2rem 0.6rem; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - color: #ffffff; - transition: color 0.4s ease-in-out, background 0.4s ease-in-out; -} - -table#taxonomy-table a.term-link:hover, table#taxonomy-table a.term-link:focus { - color: #0a0c11 !important; - background: #bfc9e6 !important; -} - -table#taxonomy-table a.taxonomy-name { - padding: 0; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - color: #ffffff; - transition: color 0.4s ease-in-out; -} - -table#taxonomy-table a.taxonomy-name:hover, table#taxonomy-table a.taxonomy-name:focus { - color: #6fffd2; -} - -table#taxonomy-table a { - color: #ffffff; - text-decoration: none; -} - -table#taxonomy-table a:hover, table#taxonomy-table a:focus { - color: #1de9b6; -} - -#taxonomy-page a.term-link { - padding: 0.3rem 1.2rem; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - font-size: 1.2rem; - color: #ffffff; - transition: color 0.4s ease-in-out, background 0.4s ease-in-out; -} - -#taxonomy-page a.term-link:hover, #taxonomy-page a.term-link:focus { - color: #0a0c11 !important; - background: #bfc9e6 !important; -} - -/* _text.sass */ -a { - color: #6fffd2; - text-decoration: underline; - transition: color 0.3s ease-in-out; -} - -a:hover, a:focus { - color: #3380ff; -} - -#quick-links { - text-align: left; -} - -#link-list { - display: flex; - gap: 1.5rem; - align-items: center; - flex-wrap: wrap; - margin: 2rem 0 1.5rem 0; - justify-content: center; -} - -#link-list h2 { - flex: none; -} - -#link-list ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - gap: 1rem; - flex-wrap: wrap; -} - -#link-list ul li { - margin: 0; - padding: 0; -} - -#link-list ul li a { - padding: 0.3rem 0.6rem; - border-radius: 8px; - background: #8fc6ff; - color: #0a0c11; - text-decoration: none; - font-weight: 500; - transition: background 0.3s ease-in-out; -} - -#link-list ul li a:hover, #link-list ul li a:focus { - background: #6fffd2; -} - -a.button { - padding: 0.3rem 0.6rem; - margin: 0 0.2rem; - border-radius: 8px; - background: #8fc6ff; - color: #0a0c11; - text-decoration: none; - font-weight: 500; - transition: background 0.3s ease-in-out; -} - -a.button:hover, a.button:focus { - background: #6fffd2; -} - -#publications { - font-weight: 300; -} - -#publications ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - flex-direction: column; - gap: 1em; -} - -#publications ul li { - background: #1a1e29; - border-radius: 8px; - padding: 1em 1.5em; -} - -#publications a { - color: #8fc6ff; - text-decoration: none; - font-weight: 100; - transition: color 0.3s ease-in-out; -} - -#publications a:hover, #publications a:focus { - color: #6fffd2; -} - -/*# sourceMappingURL=styles.css.map */ \ No newline at end of file diff --git a/css/styles.cccc9b579e6530591e43f498830c7b929d88df3c45da07b91ea167e31179e0d72afe23418c5c10ee0ba73ddb8c3a1c3a8a5d75ebfc83e160333112e4f33d68d8.css b/css/styles.cccc9b579e6530591e43f498830c7b929d88df3c45da07b91ea167e31179e0d72afe23418c5c10ee0ba73ddb8c3a1c3a8a5d75ebfc83e160333112e4f33d68d8.css deleted file mode 100644 index d714509..0000000 --- a/css/styles.cccc9b579e6530591e43f498830c7b929d88df3c45da07b91ea167e31179e0d72afe23418c5c10ee0ba73ddb8c3a1c3a8a5d75ebfc83e160333112e4f33d68d8.css +++ /dev/null @@ -1,640 +0,0 @@ -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 100; - src: local("Source Sans 3 ExtraLight"), local("SourceSans3-ExtraLight"), url("/fonts/static/SourceSans3-ExtraLight.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraLight.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 200; - src: local("Source Sans 3 ExtraLight"), local("SourceSans3-ExtraLight"), url("/fonts/static/SourceSans3-ExtraLight.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraLight.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 300; - src: local("Source Sans 3 Light"), local("SourceSans3-Light"), url("/fonts/static/SourceSans3-Light.woff2") format("woff2"), url("/fonts/static/SourceSans3-Light.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 400; - src: local("Source Sans 3 Regular"), local("SourceSans3-Regular"), url("/fonts/static/SourceSans3-Regular.woff2") format("woff2"), url("/fonts/static/SourceSans3-Regular.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: italic; - font-display: swap; - font-weight: 400; - src: local("Source Sans 3 Italic"), local("SourceSans3-Italic"), url("/fonts/static/SourceSans3-Italic.woff2") format("woff2"), url("/fonts/static/SourceSans3-Italic.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 500; - src: local("Source Sans 3 Medium"), local("SourceSans3-Medium"), url("/fonts/static/SourceSans3-Medium.woff2") format("woff2"), url("/fonts/static/SourceSans3-Medium.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 600; - src: local("Source Sans 3 SemiBold"), local("SourceSans3-SemiBold"), url("/fonts/static/SourceSans3-SemiBold.woff2") format("woff2"), url("/fonts/static/SourceSans3-SemiBold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 700; - src: local("Source Sans 3 Bold"), local("SourceSans3-Bold"), url("/fonts/static/SourceSans3-Bold.woff2") format("woff2"), url("/fonts/static/SourceSans3-Bold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: italic; - font-display: swap; - font-weight: 700; - src: local("Source Sans 3 Bold Italic"), local("SourceSans3-BoldItalic"), url("/fonts/static/SourceSans3-BoldItalic.woff2") format("woff2"), url("/fonts/static/SourceSans3-BoldItalic.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 800; - src: local("Source Sans 3 ExtraBold"), local("SourceSans3-ExtraBold"), url("/fonts/static/SourceSans3-ExtraBold.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraBold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 900; - src: local("Source Sans 3 Black"), local("SourceSans3-Black"), url("/fonts/static/SourceSans3-Black.woff2") format("woff2"), url("/fonts/static/SourceSans3-Black.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Code Pro'; - font-style: normal; - font-display: swap; - font-weight: 600; - src: local("Source Code Pro Medium"), local("SourceCodePro-Medium"), url("/fonts/static/SourceCodePro-Medium.woff2") format("woff2"), url("/fonts/static/SourceCodePro-Medium.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Code Pro'; - font-style: italic; - font-display: swap; - font-weight: 600; - src: local("Source Code Pro Medium Italic"), local("SourceCodePro-MediumItalic"), url("/fonts/static/SourceCodePro-MediumItalic.woff2") format("woff2"), url("/fonts/static/SourceCodePro-MediumItalic.ttf") format("truetype"); -} - -* { - font-family: 'Source Sans 3', sans-serif; -} - -code { - font-family: 'Source Code Pro', monospace; -} - -/* _layout.sass */ -/* Variables */ -html { - background: #0a0c11; -} - -/* Base Layout */ -body { - background: #10131a; - color: #ffffff; - font-family: 'Segoe UI', 'Helvetica Neue', Arial, sans-serif; - width: 100%; - height: 100%; - max-width: 1024px; - margin: 1.5rem auto; - padding: 1.5rem; - box-sizing: border-box; - border-radius: 8px; -} - -header { - background: #1a1e29; - margin: 1.5rem; - padding: 1.5rem; - display: flex; - flex-wrap: wrap; - align-items: center; - justify-content: space-between; - border-radius: 8px; - margin: 0 auto; -} - -header h1, header h1 a { - margin: 0; - font-size: 1.6rem; - font-weight: 900; - color: #ffffff; - text-decoration: none; - padding: 0; - transition: color 0.4s ease-in-out; -} - -header h1:hover, header h1:focus, header h1 a:hover, header h1 a:focus { - color: #6fffd2; -} - -nav { - display: flex; - gap: 1.5rem; - align-items: center; -} - -nav ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - gap: 0.5rem; - flex-wrap: wrap; -} - -nav ul li { - margin: 0; - padding: 0; -} - -nav ul li a { - padding: 0.4rem 0.6rem; - border-radius: 8px; - background: #1a3e70; - color: #ffffff; - text-decoration: none; - font-weight: 500; - transition: background 0.4s ease-in-out; -} - -nav ul li a:hover, nav ul li a:focus { - background: #00897b; - color: #ffffff; -} - -@media (max-width: 600px) { - header { - flex-direction: column; - align-items: flex-start; - gap: 1.5rem; - } - nav { - width: 100%; - justify-content: flex-start; - margin-top: 1.5rem; - } -} - -main { - margin: 1.5rem 0; - padding: 1.5rem; -} - -footer { - background: #1a1e29; - margin: 1.5rem; - padding: 1.5rem; - border-radius: 8px; - margin: 0 auto; - text-align: center; -} - -footer p { - margin: 0; - font-size: 0.9rem; - color: #bfc9e6; - text-align: center; -} - -section { - border-bottom: 3px solid #1a1e29; - margin: 2rem 0; - padding-bottom: 2rem; -} - -#page-header { - border-bottom: 3px solid #1a1e29; - margin: 2rem 0; - padding-bottom: 2rem; - text-align: center; -} - -#page-header h1 { - margin: 0; - width: 100%; - font-size: 3rem; - word-break: break-word; -} - -#page-header .subtitle { - margin: 0; - width: 100%; - font-size: 1.2rem; - font-weight: 300; - color: #bfc9e6; -} - -.time { - font-size: 0.8rem; - color: #bfc9e6; - text-align: center; -} - -#tool-cards { - display: flex; - flex-wrap: wrap; - gap: 1.5rem; - justify-content: space-between; -} - -#tool-cards > article { - flex: 1 1 50%; - min-width: 300px; - max-width: 50%; - box-sizing: border-box; -} - -@media (max-width: 900px) { - #tool-cards > article { - flex-basis: 100%; - max-width: 100%; - } -} - -article { - background: #1a1e29; - border-radius: 8px; - padding: 1rem 1.5rem; - position: relative; - transition: background 0.5s ease-in-out; -} - -article:hover, article:focus { - background: #1a3e70; -} - -article h3 { - margin: 0; - font-size: 1.5rem; - font-weight: 700; - color: #ffffff; -} - -article a { - color: #ffffff; - position: absolute; - top: 0; - left: 0; - width: 100%; - height: 100%; - z-index: 1; - text-indent: -9999px; - overflow: hidden; - text-decoration: none; - transition: color 0.3s ease-in-out; -} - -article a:hover, article a:focus { - color: #6fffd2; -} - -article:not(a) { - position: relative; - z-index: 2; -} - -article p { - margin: 0.5rem 0; - font-size: 1rem; - color: #ffffff; - font-weight: 300; -} - -article .subtitle { - margin: 0 0 0 0.5rem; - width: 100%; - font-size: 1.1rem; - font-weight: 300; - color: #bfc9e6; -} - -.term-title { - font-weight: 700; - padding: 0.3rem 0.8rem; - margin-bottom: 0.5rem; - border-radius: 8px; -} - -p code { - background: #102747; - margin: 0 0.2rem; - padding: 0.2rem 0.4rem; - border-radius: 5px; - font-size: 0.8rem; -} - -pre { - padding: 0.5rem; - border-radius: 5px; - overflow-x: auto; -} - -pre code { - font-size: 0.8rem; -} - -.banner { - position: fixed; - top: 0; - width: 100%; - max-width: 1024px; - background-color: #1de9b6; - color: #0a0c11; - padding: 5px 0; - font-weight: 400; - text-align: center; - font-size: 1.1em; - border-radius: 0 0 8px 8px; - z-index: 1000; - font-size: 0.9rem; - height: 1.3rem; - margin-left: calc(0% - 1.5rem); -} - -.banner a { - color: #0a0c11; - text-decoration: underline; - font-weight: 700; - transition: color 0.3s ease-in-out; -} - -.banner a:hover, .banner a:focus { - color: #1a3e70; -} - -body:has(.banner) { - margin-top: 2.6rem; -} - -@media (max-width: 600px) { - .banner { - position: absolute; - top: 0; - width: calc(100% - 1.5rem); - max-width: 1024px; - background-color: #1de9b6; - color: #0a0c11; - padding: 5px; - font-weight: 400; - text-align: center; - font-size: 1.1em; - border-radius: 0 0 8px 8px; - z-index: 1000; - font-size: 0.9rem; - height: 4.3rem; - margin-left: calc(0% - 1.5rem); - } - .banner .banner-text { - display: block; - margin: 0 5px; - } - body:has(.banner) { - margin-top: 5.6rem; - } -} - -table#taxonomy-table { - width: 100%; - border-collapse: collapse; - box-sizing: border-box; - background: #1a1e29; - text-align: left; -} - -table#taxonomy-table tr { - border-bottom: 3px solid #10131a; -} - -table#taxonomy-table tr:nth-child(even) { - background: #161923; - transition: background 0.4s ease-in-out; -} - -table#taxonomy-table tr:nth-child(odd) { - background: #202532; - transition: background 0.4s ease-in-out; -} - -table#taxonomy-table tr:hover, table#taxonomy-table tr:focus { - background: #3a4054; -} - -table#taxonomy-table thead { - text-align: left; - border: none; - border-radius: 8px 8px 0 0; -} - -table#taxonomy-table th { - color: #ffffff; - background: #0a0c11 !important; - padding: 0.6rem 0.6rem; - text-align: left; - font-weight: 600; - border: none; -} - -table#taxonomy-table td { - padding: 0.3rem 0.6rem; - text-align: left; - font-weight: 600; - border: none; -} - -table#taxonomy-table td.description { - font-weight: 300; - color: #bfc9e6; -} - -table#taxonomy-table td.tool { - min-width: 100px; -} - -table#taxonomy-table a.term-link { - padding: 0.2rem 0.6rem; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - color: #ffffff; - transition: color 0.4s ease-in-out, background 0.4s ease-in-out; -} - -table#taxonomy-table a.term-link:hover, table#taxonomy-table a.term-link:focus { - color: #0a0c11 !important; - background: #bfc9e6 !important; -} - -table#taxonomy-table a.taxonomy-name { - padding: 0; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - color: #ffffff; - transition: color 0.4s ease-in-out; -} - -table#taxonomy-table a.taxonomy-name:hover, table#taxonomy-table a.taxonomy-name:focus { - color: #6fffd2; -} - -table#taxonomy-table a { - color: #ffffff; - text-decoration: none; -} - -table#taxonomy-table a:hover, table#taxonomy-table a:focus { - color: #1de9b6; -} - -#taxonomy-page a.term-link { - padding: 0.3rem 1.2rem; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - font-size: 1.2rem; - color: #ffffff; - transition: color 0.4s ease-in-out, background 0.4s ease-in-out; -} - -#taxonomy-page a.term-link:hover, #taxonomy-page a.term-link:focus { - color: #0a0c11 !important; - background: #bfc9e6 !important; -} - -/* _text.sass */ -a { - color: #6fffd2; - text-decoration: underline; - transition: color 0.3s ease-in-out; -} - -a:hover, a:focus { - color: #3380ff; -} - -#quick-links { - text-align: left; -} - -#link-list { - display: flex; - gap: 1.5rem; - align-items: center; - flex-wrap: wrap; - margin: 2rem 0 1.5rem 0; - justify-content: center; -} - -#link-list h2 { - flex: none; -} - -#link-list ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - gap: 1rem; - flex-wrap: wrap; -} - -#link-list ul li { - margin: 0; - padding: 0; -} - -#link-list ul li a { - padding: 0.3rem 0.6rem; - border-radius: 8px; - background: #8fc6ff; - color: #0a0c11; - text-decoration: none; - font-weight: 500; - transition: background 0.3s ease-in-out; -} - -#link-list ul li a:hover, #link-list ul li a:focus { - background: #6fffd2; -} - -a.button { - padding: 0.3rem 0.6rem; - margin: 0 0.2rem; - border-radius: 8px; - background: #8fc6ff; - color: #0a0c11; - text-decoration: none; - font-weight: 500; - transition: background 0.3s ease-in-out; -} - -a.button:hover, a.button:focus { - background: #6fffd2; -} - -#publications { - font-weight: 300; -} - -#publications ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - flex-direction: column; - gap: 1em; -} - -#publications ul li { - background: #1a1e29; - border-radius: 8px; - padding: 1em 1.5em; -} - -#publications a { - color: #8fc6ff; - text-decoration: none; - font-weight: 100; - transition: color 0.3s ease-in-out; -} - -#publications a:hover, #publications a:focus { - color: #6fffd2; -} - -/*# sourceMappingURL=styles.css.map */ \ No newline at end of file diff --git a/css/styles.d4f303f1ff2cc812b2e0b183220644579ba7aa860938854dafccb29277d93943d3561dee6700ff044cb4325f6f998f7c8bcdc05825337eef616dbd49e7328e3e.css b/css/styles.d4f303f1ff2cc812b2e0b183220644579ba7aa860938854dafccb29277d93943d3561dee6700ff044cb4325f6f998f7c8bcdc05825337eef616dbd49e7328e3e.css deleted file mode 100644 index f1862cd..0000000 --- a/css/styles.d4f303f1ff2cc812b2e0b183220644579ba7aa860938854dafccb29277d93943d3561dee6700ff044cb4325f6f998f7c8bcdc05825337eef616dbd49e7328e3e.css +++ /dev/null @@ -1,639 +0,0 @@ -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 100; - src: local("Source Sans 3 ExtraLight"), local("SourceSans3-ExtraLight"), url("/fonts/static/SourceSans3-ExtraLight.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraLight.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 200; - src: local("Source Sans 3 ExtraLight"), local("SourceSans3-ExtraLight"), url("/fonts/static/SourceSans3-ExtraLight.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraLight.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 300; - src: local("Source Sans 3 Light"), local("SourceSans3-Light"), url("/fonts/static/SourceSans3-Light.woff2") format("woff2"), url("/fonts/static/SourceSans3-Light.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 400; - src: local("Source Sans 3 Regular"), local("SourceSans3-Regular"), url("/fonts/static/SourceSans3-Regular.woff2") format("woff2"), url("/fonts/static/SourceSans3-Regular.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: italic; - font-display: swap; - font-weight: 400; - src: local("Source Sans 3 Italic"), local("SourceSans3-Italic"), url("/fonts/static/SourceSans3-Italic.woff2") format("woff2"), url("/fonts/static/SourceSans3-Italic.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 500; - src: local("Source Sans 3 Medium"), local("SourceSans3-Medium"), url("/fonts/static/SourceSans3-Medium.woff2") format("woff2"), url("/fonts/static/SourceSans3-Medium.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 600; - src: local("Source Sans 3 SemiBold"), local("SourceSans3-SemiBold"), url("/fonts/static/SourceSans3-SemiBold.woff2") format("woff2"), url("/fonts/static/SourceSans3-SemiBold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 700; - src: local("Source Sans 3 Bold"), local("SourceSans3-Bold"), url("/fonts/static/SourceSans3-Bold.woff2") format("woff2"), url("/fonts/static/SourceSans3-Bold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: italic; - font-display: swap; - font-weight: 700; - src: local("Source Sans 3 Bold Italic"), local("SourceSans3-BoldItalic"), url("/fonts/static/SourceSans3-BoldItalic.woff2") format("woff2"), url("/fonts/static/SourceSans3-BoldItalic.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 800; - src: local("Source Sans 3 ExtraBold"), local("SourceSans3-ExtraBold"), url("/fonts/static/SourceSans3-ExtraBold.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraBold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 900; - src: local("Source Sans 3 Black"), local("SourceSans3-Black"), url("/fonts/static/SourceSans3-Black.woff2") format("woff2"), url("/fonts/static/SourceSans3-Black.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Code Pro'; - font-style: normal; - font-display: swap; - font-weight: 600; - src: local("Source Code Pro Medium"), local("SourceCodePro-Medium"), url("/fonts/static/SourceCodePro-Medium.woff2") format("woff2"), url("/fonts/static/SourceCodePro-Medium.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Code Pro'; - font-style: italic; - font-display: swap; - font-weight: 600; - src: local("Source Code Pro Medium Italic"), local("SourceCodePro-MediumItalic"), url("/fonts/static/SourceCodePro-MediumItalic.woff2") format("woff2"), url("/fonts/static/SourceCodePro-MediumItalic.ttf") format("truetype"); -} - -* { - font-family: 'Source Sans 3', sans-serif; -} - -code { - font-family: 'Source Code Pro', monospace; -} - -/* _layout.sass */ -/* Variables */ -html { - background: #0a0c11; -} - -/* Base Layout */ -body { - background: #10131a; - color: #ffffff; - font-family: 'Segoe UI', 'Helvetica Neue', Arial, sans-serif; - width: 100%; - height: 100%; - max-width: 1024px; - margin: 1.5rem auto; - padding: 1.5rem; - box-sizing: border-box; - border-radius: 8px; -} - -header { - background: #1a1e29; - margin: 1.5rem; - padding: 1.5rem; - display: flex; - flex-wrap: wrap; - align-items: center; - justify-content: space-between; - border-radius: 8px; - margin: 0 auto; -} - -header h1, header h1 a { - margin: 0; - font-size: 1.6rem; - font-weight: 900; - color: #ffffff; - text-decoration: none; - padding: 0; - transition: color 0.4s ease-in-out; -} - -header h1:hover, header h1:focus, header h1 a:hover, header h1 a:focus { - color: #6fffd2; -} - -nav { - display: flex; - gap: 1.5rem; - align-items: center; -} - -nav ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - gap: 0.5rem; - flex-wrap: wrap; -} - -nav ul li { - margin: 0; - padding: 0; -} - -nav ul li a { - padding: 0.4rem 0.6rem; - border-radius: 8px; - background: #1a3e70; - color: #ffffff; - text-decoration: none; - font-weight: 500; - transition: background 0.4s ease-in-out; -} - -nav ul li a:hover, nav ul li a:focus { - background: #00897b; - color: #ffffff; -} - -@media (max-width: 600px) { - header { - flex-direction: column; - align-items: flex-start; - gap: 1.5rem; - } - nav { - width: 100%; - justify-content: flex-start; - margin-top: 1.5rem; - } -} - -main { - margin: 1.5rem 0; - padding: 1.5rem; -} - -footer { - background: #1a1e29; - margin: 1.5rem; - padding: 1.5rem; - border-radius: 8px; - margin: 0 auto; - text-align: center; -} - -footer p { - margin: 0; - font-size: 0.9rem; - color: #bfc9e6; - text-align: center; -} - -section { - border-bottom: 3px solid #1a1e29; - margin: 2rem 0; - padding-bottom: 2rem; -} - -#page-header { - border-bottom: 3px solid #1a1e29; - margin: 2rem 0; - padding-bottom: 2rem; - text-align: center; -} - -#page-header h1 { - margin: 0; - width: 100%; - font-size: 3rem; - word-break: break-word; -} - -#page-header .subtitle { - margin: 0; - width: 100%; - font-size: 1.2rem; - font-weight: 300; - color: #bfc9e6; -} - -.time { - font-size: 0.8rem; - color: #bfc9e6; - text-align: center; -} - -#tool-cards { - display: flex; - flex-wrap: wrap; - gap: 1.5rem; - justify-content: space-between; -} - -#tool-cards > article { - flex: 1 1 48%; - min-width: 300px; - max-width: 48%; - box-sizing: border-box; -} - -@media (max-width: 900px) { - #tool-cards > article { - flex-basis: 100%; - max-width: 100%; - } -} - -article { - background: #1a1e29; - border-radius: 8px; - padding: 1rem 1.5rem; - transition: background 0.5s ease-in-out; -} - -article:hover, article:focus { - background: #1a3e70; -} - -article h3 { - margin: 0; - font-size: 1.5rem; - font-weight: 700; - color: #ffffff; -} - -article a { - color: #ffffff; - position: absolute; - top: 0; - left: 0; - width: 100%; - height: 100%; - z-index: 1; - text-indent: -9999px; - overflow: hidden; - text-decoration: none; - transition: color 0.3s ease-in-out; -} - -article a:hover, article a:focus { - color: #6fffd2; -} - -article:not(a) { - position: relative; - z-index: 2; -} - -article p { - margin: 0.5rem 0; - font-size: 1rem; - color: #ffffff; - font-weight: 300; -} - -article .subtitle { - margin: 0 0 0 0.5rem; - width: 100%; - font-size: 1.1rem; - font-weight: 300; - color: #bfc9e6; -} - -.term-title { - font-weight: 700; - padding: 0.3rem 0.8rem; - margin-bottom: 0.5rem; - border-radius: 8px; -} - -p code { - background: #102747; - margin: 0 0.2rem; - padding: 0.2rem 0.4rem; - border-radius: 5px; - font-size: 0.8rem; -} - -pre { - padding: 0.5rem; - border-radius: 5px; - overflow-x: auto; -} - -pre code { - font-size: 0.8rem; -} - -.banner { - position: fixed; - top: 0; - width: 100%; - max-width: 1024px; - background-color: #1de9b6; - color: #0a0c11; - padding: 5px 0; - font-weight: 400; - text-align: center; - font-size: 1.1em; - border-radius: 0 0 8px 8px; - z-index: 1000; - font-size: 0.9rem; - height: 1.3rem; - margin-left: calc(0% - 1.5rem); -} - -.banner a { - color: #0a0c11; - text-decoration: underline; - font-weight: 700; - transition: color 0.3s ease-in-out; -} - -.banner a:hover, .banner a:focus { - color: #1a3e70; -} - -body:has(.banner) { - margin-top: 2.6rem; -} - -@media (max-width: 600px) { - .banner { - position: absolute; - top: 0; - width: calc(100% - 1.5rem); - max-width: 1024px; - background-color: #1de9b6; - color: #0a0c11; - padding: 5px; - font-weight: 400; - text-align: center; - font-size: 1.1em; - border-radius: 0 0 8px 8px; - z-index: 1000; - font-size: 0.9rem; - height: 4.3rem; - margin-left: calc(0% - 1.5rem); - } - .banner .banner-text { - display: block; - margin: 0 5px; - } - body:has(.banner) { - margin-top: 5.6rem; - } -} - -table#taxonomy-table { - width: 100%; - border-collapse: collapse; - box-sizing: border-box; - background: #1a1e29; - text-align: left; -} - -table#taxonomy-table tr { - border-bottom: 3px solid #10131a; -} - -table#taxonomy-table tr:nth-child(even) { - background: #161923; - transition: background 0.4s ease-in-out; -} - -table#taxonomy-table tr:nth-child(odd) { - background: #202532; - transition: background 0.4s ease-in-out; -} - -table#taxonomy-table tr:hover, table#taxonomy-table tr:focus { - background: #3a4054; -} - -table#taxonomy-table thead { - text-align: left; - border: none; - border-radius: 8px 8px 0 0; -} - -table#taxonomy-table th { - color: #ffffff; - background: #0a0c11 !important; - padding: 0.6rem 0.6rem; - text-align: left; - font-weight: 600; - border: none; -} - -table#taxonomy-table td { - padding: 0.3rem 0.6rem; - text-align: left; - font-weight: 600; - border: none; -} - -table#taxonomy-table td.description { - font-weight: 300; - color: #bfc9e6; -} - -table#taxonomy-table td.tool { - min-width: 100px; -} - -table#taxonomy-table a.term-link { - padding: 0.2rem 0.6rem; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - color: #ffffff; - transition: color 0.4s ease-in-out, background 0.4s ease-in-out; -} - -table#taxonomy-table a.term-link:hover, table#taxonomy-table a.term-link:focus { - color: #0a0c11 !important; - background: #bfc9e6 !important; -} - -table#taxonomy-table a.taxonomy-name { - padding: 0; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - color: #ffffff; - transition: color 0.4s ease-in-out; -} - -table#taxonomy-table a.taxonomy-name:hover, table#taxonomy-table a.taxonomy-name:focus { - color: #6fffd2; -} - -table#taxonomy-table a { - color: #ffffff; - text-decoration: none; -} - -table#taxonomy-table a:hover, table#taxonomy-table a:focus { - color: #1de9b6; -} - -#taxonomy-page a.term-link { - padding: 0.3rem 1.2rem; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - font-size: 1.2rem; - color: #ffffff; - transition: color 0.4s ease-in-out, background 0.4s ease-in-out; -} - -#taxonomy-page a.term-link:hover, #taxonomy-page a.term-link:focus { - color: #0a0c11 !important; - background: #bfc9e6 !important; -} - -/* _text.sass */ -a { - color: #6fffd2; - text-decoration: underline; - transition: color 0.3s ease-in-out; -} - -a:hover, a:focus { - color: #3380ff; -} - -#quick-links { - text-align: left; -} - -#link-list { - display: flex; - gap: 1.5rem; - align-items: center; - flex-wrap: wrap; - margin: 2rem 0 1.5rem 0; - justify-content: center; -} - -#link-list h2 { - flex: none; -} - -#link-list ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - gap: 1rem; - flex-wrap: wrap; -} - -#link-list ul li { - margin: 0; - padding: 0; -} - -#link-list ul li a { - padding: 0.3rem 0.6rem; - border-radius: 8px; - background: #8fc6ff; - color: #0a0c11; - text-decoration: none; - font-weight: 500; - transition: background 0.3s ease-in-out; -} - -#link-list ul li a:hover, #link-list ul li a:focus { - background: #6fffd2; -} - -a.button { - padding: 0.3rem 0.6rem; - margin: 0 0.2rem; - border-radius: 8px; - background: #8fc6ff; - color: #0a0c11; - text-decoration: none; - font-weight: 500; - transition: background 0.3s ease-in-out; -} - -a.button:hover, a.button:focus { - background: #6fffd2; -} - -#publications { - font-weight: 300; -} - -#publications ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - flex-direction: column; - gap: 1em; -} - -#publications ul li { - background: #1a1e29; - border-radius: 8px; - padding: 1em 1.5em; -} - -#publications a { - color: #8fc6ff; - text-decoration: none; - font-weight: 100; - transition: color 0.3s ease-in-out; -} - -#publications a:hover, #publications a:focus { - color: #6fffd2; -} - -/*# sourceMappingURL=styles.css.map */ \ No newline at end of file diff --git a/css/styles.ebf2566cba8f43f92944cd7386e2406d102cd1549d0eb96c8aad4719a336e4ee8b4e1b4171a11d912b19a8a176340f395c49749fe3a4e11392fe59be5f941282.css b/css/styles.ebf2566cba8f43f92944cd7386e2406d102cd1549d0eb96c8aad4719a336e4ee8b4e1b4171a11d912b19a8a176340f395c49749fe3a4e11392fe59be5f941282.css deleted file mode 100644 index 6915161..0000000 --- a/css/styles.ebf2566cba8f43f92944cd7386e2406d102cd1549d0eb96c8aad4719a336e4ee8b4e1b4171a11d912b19a8a176340f395c49749fe3a4e11392fe59be5f941282.css +++ /dev/null @@ -1,627 +0,0 @@ -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 100; - src: local("Source Sans 3 ExtraLight"), local("SourceSans3-ExtraLight"), url("/fonts/static/SourceSans3-ExtraLight.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraLight.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 200; - src: local("Source Sans 3 ExtraLight"), local("SourceSans3-ExtraLight"), url("/fonts/static/SourceSans3-ExtraLight.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraLight.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 300; - src: local("Source Sans 3 Light"), local("SourceSans3-Light"), url("/fonts/static/SourceSans3-Light.woff2") format("woff2"), url("/fonts/static/SourceSans3-Light.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 400; - src: local("Source Sans 3 Regular"), local("SourceSans3-Regular"), url("/fonts/static/SourceSans3-Regular.woff2") format("woff2"), url("/fonts/static/SourceSans3-Regular.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: italic; - font-display: swap; - font-weight: 400; - src: local("Source Sans 3 Italic"), local("SourceSans3-Italic"), url("/fonts/static/SourceSans3-Italic.woff2") format("woff2"), url("/fonts/static/SourceSans3-Italic.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 500; - src: local("Source Sans 3 Medium"), local("SourceSans3-Medium"), url("/fonts/static/SourceSans3-Medium.woff2") format("woff2"), url("/fonts/static/SourceSans3-Medium.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 600; - src: local("Source Sans 3 SemiBold"), local("SourceSans3-SemiBold"), url("/fonts/static/SourceSans3-SemiBold.woff2") format("woff2"), url("/fonts/static/SourceSans3-SemiBold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 700; - src: local("Source Sans 3 Bold"), local("SourceSans3-Bold"), url("/fonts/static/SourceSans3-Bold.woff2") format("woff2"), url("/fonts/static/SourceSans3-Bold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: italic; - font-display: swap; - font-weight: 700; - src: local("Source Sans 3 Bold Italic"), local("SourceSans3-BoldItalic"), url("/fonts/static/SourceSans3-BoldItalic.woff2") format("woff2"), url("/fonts/static/SourceSans3-BoldItalic.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 800; - src: local("Source Sans 3 ExtraBold"), local("SourceSans3-ExtraBold"), url("/fonts/static/SourceSans3-ExtraBold.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraBold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 900; - src: local("Source Sans 3 Black"), local("SourceSans3-Black"), url("/fonts/static/SourceSans3-Black.woff2") format("woff2"), url("/fonts/static/SourceSans3-Black.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Code Pro'; - font-style: normal; - font-display: swap; - font-weight: 600; - src: local("Source Code Pro Medium"), local("SourceCodePro-Medium"), url("/fonts/static/SourceCodePro-Medium.woff2") format("woff2"), url("/fonts/static/SourceCodePro-Medium.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Code Pro'; - font-style: italic; - font-display: swap; - font-weight: 600; - src: local("Source Code Pro Medium Italic"), local("SourceCodePro-MediumItalic"), url("/fonts/static/SourceCodePro-MediumItalic.woff2") format("woff2"), url("/fonts/static/SourceCodePro-MediumItalic.ttf") format("truetype"); -} - -* { - font-family: 'Source Sans 3', sans-serif; -} - -code { - font-family: 'Source Code Pro', monospace; -} - -/* _layout.sass */ -/* Variables */ -html { - background: #0a0c11; -} - -/* Base Layout */ -body { - background: #10131a; - color: #ffffff; - font-family: 'Segoe UI', 'Helvetica Neue', Arial, sans-serif; - width: 100%; - height: 100%; - max-width: 1024px; - margin: 1.5rem auto; - padding: 1.5rem; - box-sizing: border-box; - border-radius: 8px; -} - -header { - background: #1a1e29; - margin: 1.5rem; - padding: 1.5rem; - display: flex; - flex-wrap: wrap; - align-items: center; - justify-content: space-between; - border-radius: 8px; - margin: 0 auto; -} - -header h1, header h1 a { - margin: 0; - font-size: 1.6rem; - font-weight: 900; - color: #ffffff; - text-decoration: none; - padding: 0; - transition: color 0.4s ease-in-out; -} - -header h1:hover, header h1:focus, header h1 a:hover, header h1 a:focus { - color: #6fffd2; -} - -nav { - display: flex; - gap: 1.5rem; - align-items: center; -} - -nav ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - gap: 0.5rem; - flex-wrap: wrap; -} - -nav ul li { - margin: 0; - padding: 0; -} - -nav ul li a { - padding: 0.4rem 0.6rem; - border-radius: 8px; - background: #1a3e70; - color: #ffffff; - text-decoration: none; - font-weight: 500; - transition: background 0.4s ease-in-out; -} - -nav ul li a:hover, nav ul li a:focus { - background: #00897b; - color: #ffffff; -} - -@media (max-width: 600px) { - header { - flex-direction: column; - align-items: flex-start; - gap: 1.5rem; - } - nav { - width: 100%; - justify-content: flex-start; - margin-top: 1.5rem; - } -} - -main { - margin: 1.5rem 0; - padding: 1.5rem; -} - -footer { - background: #1a1e29; - margin: 1.5rem; - padding: 1.5rem; - border-radius: 8px; - margin: 0 auto; - text-align: center; -} - -footer p { - margin: 0; - font-size: 0.9rem; - color: #bfc9e6; - text-align: center; -} - -section { - border-bottom: 3px solid #1a1e29; - margin: 2rem 0; - padding-bottom: 2rem; -} - -#page-header { - border-bottom: 3px solid #1a1e29; - margin: 2rem 0; - padding-bottom: 2rem; - text-align: center; -} - -#page-header h1 { - margin: 0; - width: 100%; - font-size: 3rem; - word-break: break-word; -} - -#page-header .subtitle { - margin: 0; - width: 100%; - font-size: 1.2rem; - font-weight: 300; - color: #bfc9e6; -} - -.time { - font-size: 0.8rem; - color: #bfc9e6; - text-align: center; -} - -#tool-cards { - display: flex; - flex-wrap: wrap; - gap: 1.5rem; - justify-content: center; -} - -article { - background: #1a1e29; - border-radius: 8px; - padding: 1.5rem; - margin: 1.5rem 0; - position: relative; - transition: background 0.5s ease-in-out; -} - -article:hover, article:focus { - background: #1a3e70; -} - -article h3 { - margin: 0; - font-size: 1.5rem; - font-weight: 700; - color: #ffffff; -} - -article a { - color: #ffffff; - position: absolute; - top: 0; - left: 0; - width: 100%; - height: 100%; - z-index: 1; - text-indent: -9999px; - overflow: hidden; - text-decoration: none; - transition: color 0.3s ease-in-out; -} - -article a:hover, article a:focus { - color: #6fffd2; -} - -article:not(a) { - position: relative; - z-index: 2; -} - -article p { - margin: 0.5rem 0; - font-size: 1rem; - color: #ffffff; - font-weight: 300; -} - -article .subtitle { - margin: 0 0 0 0.5rem; - width: 100%; - font-size: 1.1rem; - font-weight: 300; - color: #bfc9e6; -} - -.term-title { - font-weight: 700; - padding: 0.3rem 0.8rem; - margin-bottom: 0.5rem; - border-radius: 8px; -} - -p code { - background: #102747; - margin: 0 0.2rem; - padding: 0.2rem 0.4rem; - border-radius: 5px; - font-size: 0.8rem; -} - -pre { - padding: 0.5rem; - border-radius: 5px; - overflow-x: auto; -} - -pre code { - font-size: 0.8rem; -} - -.banner { - position: fixed; - top: 0; - width: 100%; - max-width: 1024px; - background-color: #1de9b6; - color: #0a0c11; - padding: 5px 0; - font-weight: 400; - text-align: center; - font-size: 1.1em; - border-radius: 0 0 8px 8px; - z-index: 1000; - font-size: 0.9rem; - height: 1.3rem; - margin-left: calc(0% - 1.5rem); -} - -.banner a { - color: #0a0c11; - text-decoration: underline; - font-weight: 700; - transition: color 0.3s ease-in-out; -} - -.banner a:hover, .banner a:focus { - color: #1a3e70; -} - -body:has(.banner) { - margin-top: 2.6rem; -} - -@media (max-width: 600px) { - .banner { - position: absolute; - top: 0; - width: calc(100% - 1.5rem); - max-width: 1024px; - background-color: #1de9b6; - color: #0a0c11; - padding: 5px; - font-weight: 400; - text-align: center; - font-size: 1.1em; - border-radius: 0 0 8px 8px; - z-index: 1000; - font-size: 0.9rem; - height: 4.3rem; - margin-left: calc(0% - 1.5rem); - } - .banner .banner-text { - display: block; - margin: 0 5px; - } - body:has(.banner) { - margin-top: 5.6rem; - } -} - -table#taxonomy-table { - width: 100%; - border-collapse: collapse; - box-sizing: border-box; - background: #1a1e29; - text-align: left; -} - -table#taxonomy-table tr { - border-bottom: 3px solid #10131a; -} - -table#taxonomy-table tr:nth-child(even) { - background: #161923; - transition: background 0.4s ease-in-out; -} - -table#taxonomy-table tr:nth-child(odd) { - background: #202532; - transition: background 0.4s ease-in-out; -} - -table#taxonomy-table tr:hover, table#taxonomy-table tr:focus { - background: #3a4054; -} - -table#taxonomy-table thead { - text-align: left; - border: none; - border-radius: 8px 8px 0 0; -} - -table#taxonomy-table th { - color: #ffffff; - background: #0a0c11 !important; - padding: 0.6rem 0.6rem; - text-align: left; - font-weight: 600; - border: none; -} - -table#taxonomy-table td { - padding: 0.3rem 0.6rem; - text-align: left; - font-weight: 600; - border: none; -} - -table#taxonomy-table td.description { - font-weight: 300; - color: #bfc9e6; -} - -table#taxonomy-table td.tool { - min-width: 100px; -} - -table#taxonomy-table a.term-link { - padding: 0.2rem 0.6rem; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - color: #ffffff; - transition: color 0.4s ease-in-out, background 0.4s ease-in-out; -} - -table#taxonomy-table a.term-link:hover, table#taxonomy-table a.term-link:focus { - color: #0a0c11 !important; - background: #bfc9e6 !important; -} - -table#taxonomy-table a.taxonomy-name { - padding: 0; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - color: #ffffff; - transition: color 0.4s ease-in-out; -} - -table#taxonomy-table a.taxonomy-name:hover, table#taxonomy-table a.taxonomy-name:focus { - color: #6fffd2; -} - -table#taxonomy-table a { - color: #ffffff; - text-decoration: none; -} - -table#taxonomy-table a:hover, table#taxonomy-table a:focus { - color: #1de9b6; -} - -#taxonomy-page a.term-link { - padding: 0.3rem 1.2rem; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - font-size: 1.2rem; - color: #ffffff; - transition: color 0.4s ease-in-out, background 0.4s ease-in-out; -} - -#taxonomy-page a.term-link:hover, #taxonomy-page a.term-link:focus { - color: #0a0c11 !important; - background: #bfc9e6 !important; -} - -/* _text.sass */ -a { - color: #6fffd2; - text-decoration: underline; - transition: color 0.3s ease-in-out; -} - -a:hover, a:focus { - color: #3380ff; -} - -#quick-links { - text-align: left; -} - -#link-list { - display: flex; - gap: 1.5rem; - align-items: center; - flex-wrap: wrap; - margin: 2rem 0 1.5rem 0; - justify-content: center; -} - -#link-list h2 { - flex: none; -} - -#link-list ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - gap: 1rem; - flex-wrap: wrap; -} - -#link-list ul li { - margin: 0; - padding: 0; -} - -#link-list ul li a { - padding: 0.3rem 0.6rem; - border-radius: 8px; - background: #8fc6ff; - color: #0a0c11; - text-decoration: none; - font-weight: 500; - transition: background 0.3s ease-in-out; -} - -#link-list ul li a:hover, #link-list ul li a:focus { - background: #6fffd2; -} - -a.button { - padding: 0.3rem 0.6rem; - margin: 0 0.2rem; - border-radius: 8px; - background: #8fc6ff; - color: #0a0c11; - text-decoration: none; - font-weight: 500; - transition: background 0.3s ease-in-out; -} - -a.button:hover, a.button:focus { - background: #6fffd2; -} - -#publications { - font-weight: 300; -} - -#publications ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - flex-direction: column; - gap: 1em; -} - -#publications ul li { - background: #1a1e29; - border-radius: 8px; - padding: 1em 1.5em; -} - -#publications a { - color: #8fc6ff; - text-decoration: none; - font-weight: 100; - transition: color 0.3s ease-in-out; -} - -#publications a:hover, #publications a:focus { - color: #6fffd2; -} - -/*# sourceMappingURL=styles.css.map */ \ No newline at end of file diff --git a/css/styles.fc75b23e06647821502a4513924807f5f51292b031cbb185dac8461df71993ee1b734acd2a13cc0e7e8b3c992e47232d75c2370b5f1d25ab55a532e03f6ba419.css b/css/styles.fc75b23e06647821502a4513924807f5f51292b031cbb185dac8461df71993ee1b734acd2a13cc0e7e8b3c992e47232d75c2370b5f1d25ab55a532e03f6ba419.css deleted file mode 100644 index 09b9c00..0000000 --- a/css/styles.fc75b23e06647821502a4513924807f5f51292b031cbb185dac8461df71993ee1b734acd2a13cc0e7e8b3c992e47232d75c2370b5f1d25ab55a532e03f6ba419.css +++ /dev/null @@ -1,641 +0,0 @@ -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 100; - src: local("Source Sans 3 ExtraLight"), local("SourceSans3-ExtraLight"), url("/fonts/static/SourceSans3-ExtraLight.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraLight.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 200; - src: local("Source Sans 3 ExtraLight"), local("SourceSans3-ExtraLight"), url("/fonts/static/SourceSans3-ExtraLight.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraLight.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 300; - src: local("Source Sans 3 Light"), local("SourceSans3-Light"), url("/fonts/static/SourceSans3-Light.woff2") format("woff2"), url("/fonts/static/SourceSans3-Light.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 400; - src: local("Source Sans 3 Regular"), local("SourceSans3-Regular"), url("/fonts/static/SourceSans3-Regular.woff2") format("woff2"), url("/fonts/static/SourceSans3-Regular.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: italic; - font-display: swap; - font-weight: 400; - src: local("Source Sans 3 Italic"), local("SourceSans3-Italic"), url("/fonts/static/SourceSans3-Italic.woff2") format("woff2"), url("/fonts/static/SourceSans3-Italic.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 500; - src: local("Source Sans 3 Medium"), local("SourceSans3-Medium"), url("/fonts/static/SourceSans3-Medium.woff2") format("woff2"), url("/fonts/static/SourceSans3-Medium.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 600; - src: local("Source Sans 3 SemiBold"), local("SourceSans3-SemiBold"), url("/fonts/static/SourceSans3-SemiBold.woff2") format("woff2"), url("/fonts/static/SourceSans3-SemiBold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 700; - src: local("Source Sans 3 Bold"), local("SourceSans3-Bold"), url("/fonts/static/SourceSans3-Bold.woff2") format("woff2"), url("/fonts/static/SourceSans3-Bold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: italic; - font-display: swap; - font-weight: 700; - src: local("Source Sans 3 Bold Italic"), local("SourceSans3-BoldItalic"), url("/fonts/static/SourceSans3-BoldItalic.woff2") format("woff2"), url("/fonts/static/SourceSans3-BoldItalic.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 800; - src: local("Source Sans 3 ExtraBold"), local("SourceSans3-ExtraBold"), url("/fonts/static/SourceSans3-ExtraBold.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraBold.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Sans 3'; - font-style: normal; - font-display: swap; - font-weight: 900; - src: local("Source Sans 3 Black"), local("SourceSans3-Black"), url("/fonts/static/SourceSans3-Black.woff2") format("woff2"), url("/fonts/static/SourceSans3-Black.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Code Pro'; - font-style: normal; - font-display: swap; - font-weight: 600; - src: local("Source Code Pro Medium"), local("SourceCodePro-Medium"), url("/fonts/static/SourceCodePro-Medium.woff2") format("woff2"), url("/fonts/static/SourceCodePro-Medium.ttf") format("truetype"); -} - -@font-face { - font-family: 'Source Code Pro'; - font-style: italic; - font-display: swap; - font-weight: 600; - src: local("Source Code Pro Medium Italic"), local("SourceCodePro-MediumItalic"), url("/fonts/static/SourceCodePro-MediumItalic.woff2") format("woff2"), url("/fonts/static/SourceCodePro-MediumItalic.ttf") format("truetype"); -} - -* { - font-family: 'Source Sans 3', sans-serif; -} - -code { - font-family: 'Source Code Pro', monospace; -} - -/* _layout.sass */ -/* Variables */ -html { - background: #0a0c11; -} - -/* Base Layout */ -body { - background: #10131a; - color: #ffffff; - font-family: 'Segoe UI', 'Helvetica Neue', Arial, sans-serif; - width: 100%; - height: 100%; - max-width: 1024px; - margin: 1.5rem auto; - padding: 1.5rem; - box-sizing: border-box; - border-radius: 8px; -} - -header { - background: #1a1e29; - margin: 1.5rem; - padding: 1.5rem; - display: flex; - flex-wrap: wrap; - align-items: center; - justify-content: space-between; - border-radius: 8px; - margin: 0 auto; -} - -header h1, header h1 a { - margin: 0; - font-size: 1.6rem; - font-weight: 900; - color: #ffffff; - text-decoration: none; - padding: 0; - transition: color 0.4s ease-in-out; -} - -header h1:hover, header h1:focus, header h1 a:hover, header h1 a:focus { - color: #6fffd2; -} - -nav { - display: flex; - gap: 1.5rem; - align-items: center; -} - -nav ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - gap: 0.5rem; - flex-wrap: wrap; -} - -nav ul li { - margin: 0; - padding: 0; -} - -nav ul li a { - padding: 0.4rem 0.6rem; - border-radius: 8px; - background: #1a3e70; - color: #ffffff; - text-decoration: none; - font-weight: 500; - transition: background 0.4s ease-in-out; -} - -nav ul li a:hover, nav ul li a:focus { - background: #00897b; - color: #ffffff; -} - -@media (max-width: 600px) { - header { - flex-direction: column; - align-items: flex-start; - gap: 1.5rem; - } - nav { - width: 100%; - justify-content: flex-start; - margin-top: 1.5rem; - } -} - -main { - margin: 1.5rem 0; - padding: 1.5rem; -} - -footer { - background: #1a1e29; - margin: 1.5rem; - padding: 1.5rem; - border-radius: 8px; - margin: 0 auto; - text-align: center; -} - -footer p { - margin: 0; - font-size: 0.9rem; - color: #bfc9e6; - text-align: center; -} - -section { - border-bottom: 3px solid #1a1e29; - margin: 2rem 0; - padding-bottom: 2rem; -} - -#page-header { - border-bottom: 3px solid #1a1e29; - margin: 2rem 0; - padding-bottom: 2rem; - text-align: center; -} - -#page-header h1 { - margin: 0; - width: 100%; - font-size: 3rem; - word-break: break-word; -} - -#page-header .subtitle { - margin: 0; - width: 100%; - font-size: 1.2rem; - font-weight: 300; - color: #bfc9e6; -} - -.time { - font-size: 0.8rem; - color: #bfc9e6; - text-align: center; -} - -#tool-cards { - display: flex; - flex-wrap: wrap; - gap: 1.5rem; - justify-content: space-between; -} - -#tool-cards > article { - flex: 1 1 48%; - min-width: 300px; - max-width: 48%; - box-sizing: border-box; -} - -@media (max-width: 900px) { - #tool-cards > article { - flex-basis: 100%; - max-width: 100%; - } -} - -article { - background: #1a1e29; - border-radius: 8px; - padding: 1.5rem; - margin: 1.5rem 0; - position: relative; - transition: background 0.5s ease-in-out; -} - -article:hover, article:focus { - background: #1a3e70; -} - -article h3 { - margin: 0; - font-size: 1.5rem; - font-weight: 700; - color: #ffffff; -} - -article a { - color: #ffffff; - position: absolute; - top: 0; - left: 0; - width: 100%; - height: 100%; - z-index: 1; - text-indent: -9999px; - overflow: hidden; - text-decoration: none; - transition: color 0.3s ease-in-out; -} - -article a:hover, article a:focus { - color: #6fffd2; -} - -article:not(a) { - position: relative; - z-index: 2; -} - -article p { - margin: 0.5rem 0; - font-size: 1rem; - color: #ffffff; - font-weight: 300; -} - -article .subtitle { - margin: 0 0 0 0.5rem; - width: 100%; - font-size: 1.1rem; - font-weight: 300; - color: #bfc9e6; -} - -.term-title { - font-weight: 700; - padding: 0.3rem 0.8rem; - margin-bottom: 0.5rem; - border-radius: 8px; -} - -p code { - background: #102747; - margin: 0 0.2rem; - padding: 0.2rem 0.4rem; - border-radius: 5px; - font-size: 0.8rem; -} - -pre { - padding: 0.5rem; - border-radius: 5px; - overflow-x: auto; -} - -pre code { - font-size: 0.8rem; -} - -.banner { - position: fixed; - top: 0; - width: 100%; - max-width: 1024px; - background-color: #1de9b6; - color: #0a0c11; - padding: 5px 0; - font-weight: 400; - text-align: center; - font-size: 1.1em; - border-radius: 0 0 8px 8px; - z-index: 1000; - font-size: 0.9rem; - height: 1.3rem; - margin-left: calc(0% - 1.5rem); -} - -.banner a { - color: #0a0c11; - text-decoration: underline; - font-weight: 700; - transition: color 0.3s ease-in-out; -} - -.banner a:hover, .banner a:focus { - color: #1a3e70; -} - -body:has(.banner) { - margin-top: 2.6rem; -} - -@media (max-width: 600px) { - .banner { - position: absolute; - top: 0; - width: calc(100% - 1.5rem); - max-width: 1024px; - background-color: #1de9b6; - color: #0a0c11; - padding: 5px; - font-weight: 400; - text-align: center; - font-size: 1.1em; - border-radius: 0 0 8px 8px; - z-index: 1000; - font-size: 0.9rem; - height: 4.3rem; - margin-left: calc(0% - 1.5rem); - } - .banner .banner-text { - display: block; - margin: 0 5px; - } - body:has(.banner) { - margin-top: 5.6rem; - } -} - -table#taxonomy-table { - width: 100%; - border-collapse: collapse; - box-sizing: border-box; - background: #1a1e29; - text-align: left; -} - -table#taxonomy-table tr { - border-bottom: 3px solid #10131a; -} - -table#taxonomy-table tr:nth-child(even) { - background: #161923; - transition: background 0.4s ease-in-out; -} - -table#taxonomy-table tr:nth-child(odd) { - background: #202532; - transition: background 0.4s ease-in-out; -} - -table#taxonomy-table tr:hover, table#taxonomy-table tr:focus { - background: #3a4054; -} - -table#taxonomy-table thead { - text-align: left; - border: none; - border-radius: 8px 8px 0 0; -} - -table#taxonomy-table th { - color: #ffffff; - background: #0a0c11 !important; - padding: 0.6rem 0.6rem; - text-align: left; - font-weight: 600; - border: none; -} - -table#taxonomy-table td { - padding: 0.3rem 0.6rem; - text-align: left; - font-weight: 600; - border: none; -} - -table#taxonomy-table td.description { - font-weight: 300; - color: #bfc9e6; -} - -table#taxonomy-table td.tool { - min-width: 100px; -} - -table#taxonomy-table a.term-link { - padding: 0.2rem 0.6rem; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - color: #ffffff; - transition: color 0.4s ease-in-out, background 0.4s ease-in-out; -} - -table#taxonomy-table a.term-link:hover, table#taxonomy-table a.term-link:focus { - color: #0a0c11 !important; - background: #bfc9e6 !important; -} - -table#taxonomy-table a.taxonomy-name { - padding: 0; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - color: #ffffff; - transition: color 0.4s ease-in-out; -} - -table#taxonomy-table a.taxonomy-name:hover, table#taxonomy-table a.taxonomy-name:focus { - color: #6fffd2; -} - -table#taxonomy-table a { - color: #ffffff; - text-decoration: none; -} - -table#taxonomy-table a:hover, table#taxonomy-table a:focus { - color: #1de9b6; -} - -#taxonomy-page a.term-link { - padding: 0.3rem 1.2rem; - margin: 0.2rem; - display: inline-block; - border-radius: 8px; - text-decoration: none; - font-weight: 500; - font-size: 1.2rem; - color: #ffffff; - transition: color 0.4s ease-in-out, background 0.4s ease-in-out; -} - -#taxonomy-page a.term-link:hover, #taxonomy-page a.term-link:focus { - color: #0a0c11 !important; - background: #bfc9e6 !important; -} - -/* _text.sass */ -a { - color: #6fffd2; - text-decoration: underline; - transition: color 0.3s ease-in-out; -} - -a:hover, a:focus { - color: #3380ff; -} - -#quick-links { - text-align: left; -} - -#link-list { - display: flex; - gap: 1.5rem; - align-items: center; - flex-wrap: wrap; - margin: 2rem 0 1.5rem 0; - justify-content: center; -} - -#link-list h2 { - flex: none; -} - -#link-list ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - gap: 1rem; - flex-wrap: wrap; -} - -#link-list ul li { - margin: 0; - padding: 0; -} - -#link-list ul li a { - padding: 0.3rem 0.6rem; - border-radius: 8px; - background: #8fc6ff; - color: #0a0c11; - text-decoration: none; - font-weight: 500; - transition: background 0.3s ease-in-out; -} - -#link-list ul li a:hover, #link-list ul li a:focus { - background: #6fffd2; -} - -a.button { - padding: 0.3rem 0.6rem; - margin: 0 0.2rem; - border-radius: 8px; - background: #8fc6ff; - color: #0a0c11; - text-decoration: none; - font-weight: 500; - transition: background 0.3s ease-in-out; -} - -a.button:hover, a.button:focus { - background: #6fffd2; -} - -#publications { - font-weight: 300; -} - -#publications ul { - list-style: none; - margin: 0; - padding: 0; - display: flex; - flex-direction: column; - gap: 1em; -} - -#publications ul li { - background: #1a1e29; - border-radius: 8px; - padding: 1em 1.5em; -} - -#publications a { - color: #8fc6ff; - text-decoration: none; - font-weight: 100; - transition: color 0.3s ease-in-out; -} - -#publications a:hover, #publications a:focus { - color: #6fffd2; -} - -/*# sourceMappingURL=styles.css.map */ \ No newline at end of file diff --git a/favicon copy.ico b/favicon copy.ico deleted file mode 100644 index 674ca8e7aa746cc14c7ed2dda1c27308fd8a7595..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 15406 zcmeI$Ar1mT3z8=yu#3S k(SSj1(Zv!2i9-wwYBLxFmkVE;2vo`7>FVdQ&MBb@069<=IsgCw diff --git a/favicon-32x32 copy.png b/favicon-32x32 copy.png deleted file mode 100644 index 54c77a6a0e9e7b81d4eaf1cf97c1c48970e50f3a..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 102 zcmeAS@N?(olHy`uVBq!ia0vp^3LwnE1|*BCs=fdzT~8OskO=p;7aRqFJVwV~)5Q*_ si&|_xTWS0KF#{tL3x|M$Lj#myAZ5>>_~KpQU!YP3Pgg&ebxsLQ0CQUy@&Et; diff --git a/favicon_io/android-chrome-192x192.png b/favicon_io/android-chrome-192x192.png deleted file mode 100644 index c414e349d5665604ce13409411a8973235a12a6b..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 1005 zcmeAS@N?(olHy`uVBq!ia0vp^2SAvE4M+yv$zf+;VBX^C;uum9_x3U)BLf3Rv%&rS zTO4QbKG;;u)55EBhHq}8aD%#sw17iZ-3O)*%$dwg9_RVv80r*q9T;BzJji{3e+e&# zf~|c8jU;nY%CMz$?swK<8Z5i;nL@3@do)(!$!kw gG-*(ho&GRy{mO9g`MmZ`z--Lm>FVdQ&MBb@0I5%XVgLXD diff --git a/favicon_io/android-chrome-512x512.png b/favicon_io/android-chrome-512x512.png deleted file mode 100644 index 4beec017eddcfe6ee6627996f8c1f4e5ffcfa836..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 5617 zcmeAS@N?(olHy`uVBq!ia0y~yU;;9k7&zE~)R&4YzZe)qcX+xuhE&A8z2?Zsz`(&| z_%i;Mg1NLo&4ywY4gm#+1_!@{oky62fh-0_rgVl1CMJ-$fQSJ@)6#AqkRS^WgFRT5 zrHP5nVMED8PLRF^#s};W0|E{(a7@!P0xIMXFktut(!n9X!6m_P@RF+v3}z^3Brvdei_ZjWlwha>+sVPg%F~eWQVHTP<^%j7I~f`mG%yP2 z#HN7Vn85G@Y}Ke^fgv{Z~!pA8(!W$<+Mb6Mw< G&;$SjXL1Pu diff --git a/favicon_io/apple-touch-icon.png b/favicon_io/apple-touch-icon.png deleted file mode 100644 index 8d102f5391960e86a9de68387c7d64a5843bb3c9..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 6923 zcmcJUXEa>z*Y}4J4ACPYjFO2i45Igm5WSb^gG3jdL}&bv=xy{GA<=t_F-V9ICIq7s zM2+4VbIzYu;m$J_v@{VLzhEx3W|$HdeWlDuPW}Ek=LfgSdXF+)lqosjcP^ z22M^fXXv*sTmEUc8u0b<8u@kh75a!c;CwOgj#8|4$gd=MDS^YpwB&V+;PglLiWVN$5W&hs2$F~T2GPGdpf&Hb3s*WAA6cK4l={$t|vJ2xew{8%gX(=x8! zj(Uxm(uZBkg`E}pX06l@g1W>5{#HdbcD&GUZTuvlwNXVu7Vx2q99lg4jsrQ$Pw@FU zBlWIU5S=Zo^`5d&p)o;f4Xlgj1@R0r__NYxZLzZqvDOLxces0a!c~K z`}v)kUAHeC+&FiWE~eBHV;@yjYR;^F;rGH7q1e|(<-|M4M>cK{i1$b;iN?t#yL8dMfNAbb=}9kmSN^} zv8=_yq7^r-Uf*9~bHu!{()BVlf7M1fwx*m$t{c>@j~Y+=P47$udwk(p{YulfzGZl1 zT0L(ZR?1#>EC1dOjmO=~g(2T5Nqo8@e1PX9+BxB& zPlsk0G2-;C{lEx+)^g)F+_#9A9hknbli z?htYNsxGhh8zul4WF}(0LzoG9&euQxA2a$DG@F4d^;o$+&vBwk->yXPla3{&H%m-o zz^kbgg}~o_{$E{$!O-GsswqyZeY!DVZrdWWhwwvT`8uS6R0^9}M)`P(5LT0>YK(zq z!&P`D;uxKS`4kzt00PrseH*&6{M#?WGeY=xtWelLnH6O5eym|O+kHBs%(U}ukz6f0kSa5Zyi^=;4rlU;$>oj=QV+< z3oQR9F?Z!blXK2mi+k%g8aLT*_p}DD(Oz-e1=UA5jn2q#b&S9H7x%s>h1%w$TAwN` zWnM(+7v-_80=ZX;Y!*_gcTn|D5!Yy$68^9{gf?oPAMCk(jQ(_!W~b@YT0dI7D5%Ic zW!*5_2pLVKCP91AbpS60tP+?AG{xTfT-x4Q5nkxip|w9#Z6#xDVWv=RS?np;xXDmu8o`-bHrK1tG+(WzVzGcuu@ zVAgy(qO{-ukQ4yS9kh(!M^=*d73vx;>fG8FrgXdHSJ+E2ZqD7KT8;3C+djBVb6-o$ z#*~6UEpdk|Eq~%!{dKBzWF2ynm=eWgJVvg6a5=M zAi%Q|kormz>A>AaHMy>NMAX zOuVbst*%ED+G77I_hFUnr~j^UZP-#?lcERhWKv8@NUF4>`@W>#^Bo=Yj(&s=MN{k5Mf1;_?8N*!SHt3FFf4M4!gU z6wkK03mPs@XS+?#bh5(Ej-u46r1!7Jf;uNdS)Z{7Bjm=nhO8C~yiF z#OAt`zdW^8yr%K8v}`yx78MHi*{xVak8j4B|d4cdZ5l_$I13wX}qj zC#L;L0*-$7^yPNHgG@7jq3%3{4I%dTEZu{H4rT(U?7wc;ookVJMEILKwkaCmxPP*i zknwp8=h90mwhy%Ig*7>>&g|XAy``4N9lKY${JEah?rHcc322>|Mk;k_!`KDT!HSS% zbpis}DuuH;(gXz3pL}P0Nl!q4`{#O#VIl#6wPf$;Y!w0m>c{PW)BkN5((f(d-2b)= z`VbGt0$e-wU-Wd-iB90by_MS zWhMLLW4>QSm4%n^vCpfb!hFo=lflrpFZK78YMN*mDYny2#+coOl-gHMASb44_Wv~c zd&ob3P?*Q;emq{gp81mhT+mbsc>i0|KPf&f(V=XDnoA}}(#z#Wch31TuEtAC@=I*5 zI5zX%O6n*y~*`>anhgN*B^fhFWx$hC~Y#nS+7Zyv+sV=`tk6) z0z^ph`qu|!Ql}!gqUca^q3h~6(9lqLF^o*&wFJEZ(r~l@WU*GBc!tIW&0iTSxIvuA zg7=spO&a72)w8}com01zxNh(L1X7dk6x8Jgvw%8+9_|GYZ4rgfZG$%#GgbMeT%pq? z>Spc9Ei@jSKI{r{avzeb7ONqSZp_)jrW!$SO6xMukRu^fy?N2w6F(g0Gc-pixyD#+ zqN_p4*AtV7E(6p;%JpbpW^`_+=GD{lBia@RIim+vLrc0=aZS6Q=uc%;GWiB~AHEkS zwzw0IY>AER@FBw7ZEyqVPd=>vy^D|s69>t>m)9R-0fWL-Y$q7Ip~3Lf#?|rb8U3^*jlziD{X-F^y!b5Q)$pr>RpGug#V$lug7KJjVv75OjPs(5wi(b?Qv2>?!x|Ia5MrV^ zbw_H~qAh(V8=Lo{iYG`7^87W{vZ-7@Yj61+4#^fH1+5>bI)}cZl@3%BDcA5WVCGZ8$`B=Vy z=VI9_B0j5uVgmwLF6=EsJ;h&PT*OAEyu;SpsW`*VwS_*T$Hfs<3*=6vl53e;R=#7| z)x>YZUew7(ao`T{vtFap8)py>j1Fh2M63wo7m!ZGc+R&DX;Z9lZYWliF zY8LqeMbPh%r>oPemMDv?l^{*$$0@wqLU}{_?AIx(jp2{-2Ll1WcAw(j5=Ek-$W}Bz zd-DcQ2n>XNHu&<7`fD#bncH##2Nd+OQ;o{MzH;m;h_C!6x|)~SWF;x6FUFHVvG+ zEaS-7Xm-8l6iuETDQI1Y2V#&b$~hEa?7c$YUCxi_E`tCE{_gbb%Z%iBacz2kp3nU8 z9GfUn4u$;iSv@SfIJxU2)Y%j`)v0%bvOq}tbN!~lPYC>C*bk$>#sROxNN=bofW$j6 z?EX|BD54U$-2aPms9*oL8Ine+&gzgOaefIC7_YS}o8?;|K=(30ncsPDQl>@*~#e8^Ru1OTPIA; z)Fr5%ids|7mW+}pNBf5?k+}LgpUjf3y_HK2OU36_F(DGf>84K`UX|W4tk3u5Cr*tC zKY5By$3cl})NBFXWS0k&=NYUiWjM+v#rrgv0dga}#&WP|_V7;*G+9~ieIw5N8D|Hf zCrafIG|Tdt)91cNeO@xE-Y=5WIOu0J4*-vQ!*Bp1wFt6`qS#@^?XnOu&mBtGW8zlE zz@=TKkdTSkq*J7^{TE@b_;X^3=R=sAW6`O^;<*y^ZCbTX7u77Qhk`sJ5Zad{am+-4 zOA+7tyl4_pxV^x--GAnp#Yk`B#Z8?odPx=PxPDItl|L>o%5$Y0y*pwsCkZ@Vkp+px zORhLs{E#9Rqh>Q3mU^;uCXTJWcI&-cC&IAFtS%$q)g|eMQ5n@kb+I6>@3dKwlqB|r zA85W<50cooh$8c)uc__x6OR&KxjaE7T&>hi4Eu2X4kj95d7`|r3i6it$VVgjIeJAh zMmu6PFY>54i~f}g5cqRnLd&^XYT@?P<2iiLo8>D?l)!&qsOnWqi^3aGE27Td}+NTIBd2QdS%vwskMvp+M+c zdq2x-_P%&g639H`#`?*|s0*Nj?&R*9soZxeJ+py&wOMbsbu}E%J>;NW(LOwhTwP`3 zERZdZVY!-wn@v8pGf9yA*H>sS2GvA?{Uz&2vO{+{+R<90znwQ9O>=BMrF0qP^c|q9 zh!k{-*^flhtfEXK%QmJA+Z5Q>YGCbD*00YpBJ$kpOjoYmrKl}Iuo65aCTy|0_=Qnj zTWX#uruMH3-j6SPs#oZEM!2W{+%;m{JpNZ<@pVjDZ=Mxj{-fBT*4P2kIlSSEQuf6X zn|ZGr(l0BfQj;r}&@UFVZPrPli9NWBip8^6)TeNpc>nGwMTL9DDLynWpRoWF7H?d$ z;O^;oYSMzI#=XqMdH*ckH1mJgpSZJVXHiLCvgcntle*~>zL6I(#WEkrGTE;>- zJn(#jjQb+I^5zXqlPs(eV88iqQ+d%6(^R7RQT#WZkuNl zbu?uk;t!d0uN`QZcQ9^WRyD;wJ<20UxU%j#G@|Q|n9Khwy`309V z55a+Tf-UX&Lq_h)pUXh7Ecz0;V$HJrb1_7Y7luejtvdkz+LIkYX~R1XV?rb_o2}o7 z?aSCu!UwmXnsMjpbM7GhHC(B#f5NbbtA39V@Oc{$Ck;&MP1Ez7X!BT~XbCO^sH$|m z_@+B%qz>eK&zu5I!l`8oW`{BT#%w&Q?SL^Ullvf_SaII=N+-4nIEjXO$CpR9!369# zVh#E~YyjY5~j4Gi7KnA7wxRbxhmS zAgW%M7?g?ZuT7xV@6f2KJmEzD@Zr5VD!`m_?qFYoDs40Ejt!qEq!5C3i^ zjF~5fC)_${ruU~z7pYp&iN+3FiYWiG_@KERr6TPJ3#| zIz)@KbEAI4c;FokZCJ2z9=%le3GRvE*ilYrM;w;JHq3YVdQh|`(Wfa={S4m`0_oZe z>dTa{A4bQ*wG^*SFsSd1zbWAKu&i)e(q+oP_Li9(0NhRVd1>8=EeoRjhRIBUD6}+u zQGy&^4kH)y{~h<76p&7TDnTsAUxetQ;&RI~>3yI7?rpR|FD-_KcIg4&6MgL+TNMKh zY&EYW;H*=FDP3eIWP`F31jc+v)*_r)5I^wN%7T}P{&@r!AYgEBr1s0j0#k8@w*=#q6_=Jwr!uB50~#s% zfkbfgdWIp`l1t0(6&ZPaiZeJ-TB_g6n$o7th7Zn?K~=n^A&0%Ubj?j0%(@#yc@`E` z8oj;ZRrsoqxbxJ~+k;eJr|-hOAOy0-5_|5p7VLFP2(l%B~8r+31%_g2s ze8Uyp?M2*0z3fw1qJ*R25}r~;XL(BGKsJe*$}S${(r4GsApKpHi*X?Ar@gijltipd z06~X<4kIc?@3~lV-kvHa#`6p^CuV!nl19pU3HJQtjT&1ipq1jxFZT?#5U_D+q)dO0 z5dE;zU521bhiWaGgQ5Ft8$d@!3^}a7haLvB@ zhyd}zeMz{qoXXr{O;8-lE2w))2qBP#(^ZV#m=>##r%`UyAD7uhK|~i*8(!>7k0~)r zGT)Z2an>}HK7q&@pTPX#{@-(=-CJBu_s?`;^2p+X?6w<`8f4#|>(W_uffcD`O_ci* zQTJWomrAM7$dzz}c3p%pc@|Ac2*m^OWv6h@3-p;GYX;6|_|K6@<=()_Mb>3~`Jd*C z$QnJ1yWd4{D-&zYE!I&wt0$Q5Cxy@U+je)J5QZorBFk*eK*D@Q7QIq39YdI}T-o)? zyO0q^FaF^JPaA0n(&<-3&@XDjROT-r>D^0qg0%AvbXEZ-zgE=NO}!H7yy+tRz8=yu#3S k(SSj1(Zv!2i9-wwYBLxFmkVE;2vo`7>FVdQ&MBb@069<=IsgCw diff --git a/favicon_io/favicon-32x32.png b/favicon_io/favicon-32x32.png deleted file mode 100644 index 54c77a6a0e9e7b81d4eaf1cf97c1c48970e50f3a..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 102 zcmeAS@N?(olHy`uVBq!ia0vp^3LwnE1|*BCs=fdzT~8OskO=p;7aRqFJVwV~)5Q*_ si&|_xTWS0KF#{tL3x|M$Lj#myAZ5>>_~KpQU!YP3Pgg&ebxsLQ0CQUy@&Et; diff --git a/favicon_io/favicon.ico b/favicon_io/favicon.ico deleted file mode 100644 index 45c75ee5d9f75d4a75cc3d5fa22baa0f2d327139..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 15406 zcmeI$F>b;z6oBCeAw;DM9gsROWIz=oQl+kRqa;A`T&oUf;h4YI8+V_B5CF zNLGpDyLDaiLsyEavb?LBx65K4*GsT7F|ax`*ZX?xTJ3&se_4R9-C{QT?t7(nZauUt z%KiUor0&kX=UCm`h2uSL#2`hItZ zr|QWE{=uZbXHu)rR{i}%K>z^+5I_I{1Q0*~0R#|0009L4tAKweu}`$}VwLYChCo38 y0R#|0009ILKmY**5I_I{1Q0*~0R#|0009ILKmY**5I_I{1Q0*~0R#|e2z&#K3Yi=L diff --git a/favicon_io/site.webmanifest b/favicon_io/site.webmanifest deleted file mode 100644 index 45dc8a2..0000000 --- a/favicon_io/site.webmanifest +++ /dev/null @@ -1 +0,0 @@ -{"name":"","short_name":"","icons":[{"src":"/android-chrome-192x192.png","sizes":"192x192","type":"image/png"},{"src":"/android-chrome-512x512.png","sizes":"512x512","type":"image/png"}],"theme_color":"#ffffff","background_color":"#ffffff","display":"standalone"} \ No newline at end of file diff --git a/index.html b/index.html index 81b8fdd..3809683 100644 --- a/index.html +++ b/index.html @@ -122,14 +122,47 @@ Contribute

- Glucose + PRISM + + Probabilistic Model Checker + +

+

PRISM is a probabilistic model checker, a tool for formal modelling and analysis of systems that …

+ PRISM +
+ +
+

+ STAMINA + + Probabilistic Model Checker + +

+

A state-space truncation tool for Markov-Chains that can analyze infinite-sized models. Intefaces …

+ STAMINA +
+ +
+

+ E + + Theorem Prover + +

+

E is a theorem prover for full first-order logic (and now monomorphic higher-order logic) with …

+ E +
+ +
+

+ CaDiCaL SAT Solver

-

Glucose is a SAT solver. +

CaDiCaL is a simplified satisfiability solver.

- Glucose + CaDiCaL
@@ -145,35 +178,14 @@ Contribute

- PRISM + SMTInterpol - Probabilistic Model Checker + Interpolating SMT Solver

-

PRISM is a probabilistic model checker, a tool for formal modelling and analysis of systems that …

- PRISM -
- -
-

- OpenSMT - - SMT Solver - -

-

OpenSMT is a compact and open-source SMT-solver written in C++, with the main goal of making …

- OpenSMT -
- -
-

- veriT - - SMT Solver - -

-

veriT is an SMT solver developed by LORIA and ULiege. It supports a wide range of theories and is …

- veriT +

SMTInterpol is an SMT Solver that can compute Craig interpolants for various theories. +APIs and …

+ SMTInterpol
@@ -187,40 +199,6 @@ Contribute Alt-Ergo
-
-

- Zipperposition - - Theorem Prover - -

-

Zipperposition is an automated theorem prover for first-order logic with equality and theories. -

- Zipperposition -
- -
-

- Bitwuzla - - SMT Solver - -

-

Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size …

- Bitwuzla -
- -
-

- ParaFROST - - SMT Solver - -

-

ParaFROST is a parallel SAT solver with GPU-accelerated inprocessing capable of harnessing NVIDIA …

- ParaFROST -
-

cvc5 @@ -235,36 +213,68 @@ Contribute

- E - - Theorem Prover - -

-

E is a theorem prover for full first-order logic (and now monomorphic higher-order logic) with …

- E -
- -
-

- cvc4 - - Theorem Prover - -

-

[ Not Maintained Since 2021 ] cvc4 is an automatic theorem prover for SMT problems. It is succeeded …

- cvc4 -
- -
-

- Colibri + Q3B SMT Solver

-

Colibri is an SMT solver. -

- Colibri +

[ Not Maintained Since 2023 ] Q3B is an SMT solver for the quantified bit-vector formulas which …

+ Q3B +
+ +
+

+ OpenSMT + + SMT Solver + +

+

OpenSMT is a compact and open-source SMT-solver written in C++, with the main goal of making …

+ OpenSMT +
+ +
+

+ COMICS + + DTMC Counterexample Generator + +

+

COMICS is a stand-alone tool which performs model checking and the generation of counterexamples for …

+ COMICS +
+ +
+

+ veriT + + SMT Solver + +

+

veriT is an SMT solver developed by LORIA and ULiege. It supports a wide range of theories and is …

+ veriT +
+ +
+

+ ParaFROST + + SMT Solver + +

+

ParaFROST is a parallel SAT solver with GPU-accelerated inprocessing capable of harnessing NVIDIA …

+ ParaFROST +
+ +
+

+ MathSAT + + SMT Solver + +

+

[ Closed-Source Tool ]  MiniSat is a minimalistic, open-source SAT solver, developed to help …

+ MathSAT
@@ -281,13 +291,49 @@ Contribute

- Boolector + Storm + + Probabilistic Model Checker + +

+

Storm is a tool for the analysis of systems involving random or probabilistic phenomena. +

+ Storm +
+ +
+

+ MiniSat + + SAT Solver + +

+

[ Not Maintained Since 2013 ] MiniSat is a minimalistic, open-source SAT solver, developed to help …

+ MiniSat +
+ +
+

+ Colibri SMT Solver

-

[ Not Maintained Since 2024 ] Boolector is a Satisfiability Modulo Theories (SMT) solver for the …

- Boolector +

Colibri is an SMT solver. +

+ Colibri +
+ +
+

+ Riss + + SAT Tool Collection + +

+

[ Not Maintained Since 2017 ] Riss is a SAT solving tool collection. +

+ Riss
@@ -302,51 +348,6 @@ APIs and Bindings This …

Z3
-
-

- COMICS - - Probabilistic Model Checker - -

-

COMICS is a stand-alone tool which performs model checking and the generation of counterexamples for …

- COMICS -
- -
-

- MathSAT - - SMT Solver - -

-

[ Closed-Source Tool ]  MiniSat is a minimalistic, open-source SAT solver, developed to help …

- MathSAT -
- -
-

- Yices 2 - - SMT Solver - -

-

Yices is an SMT solver developed by SRI International. It is widely used for checking the …

- Yices 2 -
- -
-

- STP - - Simple Theorem Prover - -

-

STP is a constraint solver for quantifier-free bitvectors. -APIs and Bindings This tool is available …

- STP -
- @@ -362,7 +363,7 @@ APIs and Bindings This tool is available …

Made with ♥ using Hugo
- Rebuilt on + Built diff --git a/index.xml b/index.xml index 6476a88..4e2761b 100644 --- a/index.xml +++ b/index.xml @@ -8,6 +8,13 @@ en-us Sat, 07 Jun 2025 00:00:00 +0000 + + About + https://fmtools.fyi/about/ + Sat, 07 Jun 2025 00:00:00 +0000 + https://fmtools.fyi/about/ + <p>The Formal Methods Tools project is dedicated to developing, maintaining, and promoting tools that support the application of formal methods in software engineering. Our goal is to make formal verification, specification, and analysis techniques accessible and practical for both researchers and practitioners.</p> <h2 id="key-objectives">Key Objectives</h2> <ul> <li>Provide a comprehensive list of tools for formal methods.</li> <li>Group tools by rich metadata to support collaboration and boost tools&rsquo; strengths.</li> <li>Foster a collaborative community for tool development and support.</li> </ul> <h2 id="whos-behind-this">Who&rsquo;s Behind This?</h2> <p>Howdy. My name is Landon Taylor. I sometimes go by mossBiscuits. This is one of my hobby projects. I have a passion for formal methods. When I started learning about verification, there was a sharp barrier to entry due partially to the sprawl of content online. I wanted to solve this problem, so I have been chipping away at this website for a while now.</p> + Alt-Ergo https://fmtools.fyi/tools/sat-smt/alt-ergo/ @@ -50,6 +57,13 @@ https://fmtools.fyi/tools/prob/comics/ <p>COMICS is a stand-alone tool which performs model checking and the generation of counterexamples for discrete-time Markov Chains (DTMCs).</p> + + Contribute + https://fmtools.fyi/contribute/ + Sat, 07 Jun 2025 00:00:00 +0000 + https://fmtools.fyi/contribute/ + <p>Instructions coming soon. Please see <a href="https://gitmoss.fyi/fmtools/content/wiki/Contribute" target="_blank" >https://gitmoss.fyi/fmtools/content/wiki/Contribute</a> for temporary instructions.</p> <h2 id="quick-links">Quick Links</h2> <ul> <li>Request addding a tool: <a href="https://gitmoss.fyi/fmtools/content/issues/new?template=.gitea%2fissue_template%2fadd_tool.md" target="_blank" >Submit Git Issue</a></li> <li>Request fixing a tool: <a href="https://gitmoss.fyi/fmtools/content/issues/new?template=.gitea%2fissue_template%2ffix_tool.md" target="_blank" >Submit Git Issue</a></li> </ul> + CryptoMiniSat https://fmtools.fyi/tools/sat-smt/cryptominisat/ @@ -113,6 +127,13 @@ https://fmtools.fyi/tools/sat-smt/minisat/ <p> <div style="display: flex; align-items: center; gap: 8px;"> <span style="display: inline-block; width: 12px; height: 12px; border-radius: 50%; background: rgb(240, 85, 85);"></span> <span style="display:none">[</span> <span style="color: rgb(240, 85, 85); font-size: 1rem;">Not Maintained Since 2013</span> <span style="display:none">]</span> </div> MiniSat is a minimalistic, open-source SAT solver, developed to help researchers and developers alike to get started on SAT.</p> + + MIT License + https://fmtools.fyi/license/ + Sat, 07 Jun 2025 00:00:00 +0000 + https://fmtools.fyi/license/ + <p>MIT License</p> <p>Copyright (c) 2025 Landon Taylor.</p> <p>Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the &ldquo;Software&rdquo;), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions:</p> + OpenSMT https://fmtools.fyi/tools/sat-smt/opensmt/ @@ -134,6 +155,13 @@ https://fmtools.fyi/tools/prob/prism/ <p>PRISM is a probabilistic model checker, a tool for formal modelling and analysis of systems that exhibit random or probabilistic behaviour.</p> + + Privacy + https://fmtools.fyi/privacy/ + Sat, 07 Jun 2025 00:00:00 +0000 + https://fmtools.fyi/privacy/ + <p>This website does not collect or track any personal data from visitors. No cookies, personalized analytics, or tracking scripts are used. No ads are shown on this website, and there is no money to be made from this project.</p> <p>If you choose to contribute content (including emails, issues, and pull requests), any information you voluntarily provide may be stored as part of the website&rsquo;s content and source code. Only the data you explicitly submit will be saved, and data is not sold by the website&rsquo;s owner. Due to the public nature of its disclosure, this information is not considered private and may be used by the general public as allowed by respective laws and policies. Your privacy is respected, and no unnecessary data is collected or shared.</p> + Q3B https://fmtools.fyi/tools/sat-smt/q3b/ @@ -225,33 +253,5 @@ https://fmtools.fyi/tools/sat-smt/zipperposition/ <p>Zipperposition is an automated theorem prover for first-order logic with equality and theories.</p> - - About - https://fmtools.fyi/about/ - Mon, 01 Jan 0001 00:00:00 +0000 - https://fmtools.fyi/about/ - <p>The Formal Methods Tools project is dedicated to developing, maintaining, and promoting tools that support the application of formal methods in software engineering. Our goal is to make formal verification, specification, and analysis techniques accessible and practical for both researchers and practitioners.</p> <h2 id="key-objectives">Key Objectives</h2> <ul> <li>Provide a comprehensive list of tools for formal methods.</li> <li>Group tools by rich metadata to support collaboration and boost tools&rsquo; strengths.</li> <li>Foster a collaborative community for tool development and support.</li> </ul> <h2 id="whos-behind-this">Who&rsquo;s Behind This?</h2> <p>Howdy. My name is Landon Taylor. I sometimes go by mossBiscuits. This is one of my hobby projects. I have a passion for formal methods. When I started learning about verification, there was a sharp barrier to entry due partially to the sprawl of content online. I wanted to solve this problem, so I have been chipping away at this website for a while now.</p> - - - Contribute - https://fmtools.fyi/contribute/ - Mon, 01 Jan 0001 00:00:00 +0000 - https://fmtools.fyi/contribute/ - <p>Instructions coming soon. Please see <a href="https://gitmoss.fyi/fmtools/content/wiki/Contribute" target="_blank" >https://gitmoss.fyi/fmtools/content/wiki/Contribute</a> for temporary instructions.</p> <h2 id="quick-links">Quick Links</h2> <ul> <li>Request addding a tool: <a href="https://gitmoss.fyi/fmtools/content/issues/new?template=.gitea%2fissue_template%2fadd_tool.md" target="_blank" >Submit Git Issue</a></li> <li>Request fixing a tool: <a href="https://gitmoss.fyi/fmtools/content/issues/new?template=.gitea%2fissue_template%2ffix_tool.md" target="_blank" >Submit Git Issue</a></li> </ul> - - - MIT License - https://fmtools.fyi/license/ - Mon, 01 Jan 0001 00:00:00 +0000 - https://fmtools.fyi/license/ - <p>MIT License</p> <p>Copyright (c) 2025 Landon Taylor.</p> <p>Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the &ldquo;Software&rdquo;), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions:</p> - - - Privacy - https://fmtools.fyi/privacy/ - Mon, 01 Jan 0001 00:00:00 +0000 - https://fmtools.fyi/privacy/ - <p>This website does not collect or track any personal data from visitors. No cookies, personalized analytics, or tracking scripts are used. No ads are shown on this website, and there is no money to be made from this project.</p> <p>If you choose to contribute content (including emails, issues, and pull requests), any information you voluntarily provide may be stored as part of the website&rsquo;s content and source code. Only the data you explicitly submit will be saved, and data is not sold by the website&rsquo;s owner. Due to the public nature of its disclosure, this information is not considered private and may be used by the general public as allowed by respective laws and policies. Your privacy is respected, and no unnecessary data is collected or shared.</p> - diff --git a/license/index.html b/license/index.html index 588cc9f..c37687c 100644 --- a/license/index.html +++ b/license/index.html @@ -102,7 +102,21 @@ Permission is hereby granted, free of charge, to any person obtaining a copy of +
+
+ Help improve this page!
+ Submit an + issue or + pull request. +
+
+ + + Updated +
+ +
diff --git a/maintenance/unknown/index.html b/maintenance/unknown/index.html deleted file mode 100644 index bc6f8d9..0000000 --- a/maintenance/unknown/index.html +++ /dev/null @@ -1,122 +0,0 @@ - - - - - - - - -Unknown | Formal Methods Tools - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
-

Formal Methods Tools

- - - - -
-
- -

- - - - - - - Unknown - -

- -
- - - - - - - - - - - - -
ToolDescription
- -
- - - diff --git a/maintenance/unknown/index.xml b/maintenance/unknown/index.xml deleted file mode 100644 index c2689b8..0000000 --- a/maintenance/unknown/index.xml +++ /dev/null @@ -1,11 +0,0 @@ - - - - Unknown on Formal Methods Tools - http://localhost:1313/maintenance/unknown/ - Recent content in Unknown on Formal Methods Tools - Hugo - en-us - - - diff --git a/privacy/index.html b/privacy/index.html index 3ef9f95..cf716c2 100644 --- a/privacy/index.html +++ b/privacy/index.html @@ -99,7 +99,21 @@ +
+
+ Help improve this page!
+ Submit an + issue or + pull request. +
+
+ + + Updated +
+ +
diff --git a/site.webmanifest b/site.webmanifest deleted file mode 100644 index 45dc8a2..0000000 --- a/site.webmanifest +++ /dev/null @@ -1 +0,0 @@ -{"name":"","short_name":"","icons":[{"src":"/android-chrome-192x192.png","sizes":"192x192","type":"image/png"},{"src":"/android-chrome-512x512.png","sizes":"512x512","type":"image/png"}],"theme_color":"#ffffff","background_color":"#ffffff","display":"standalone"} \ No newline at end of file diff --git a/sitemap.xml b/sitemap.xml index d3a226e..9cb46ca 100644 --- a/sitemap.xml +++ b/sitemap.xml @@ -4,6 +4,9 @@ https://fmtools.fyi/interfaces/.net/ 2025-06-07T00:00:00+00:00 + + https://fmtools.fyi/about/ + 2025-06-07T00:00:00+00:00 https://fmtools.fyi/maintenance/actively-maintained/ 2025-06-07T00:00:00+00:00 @@ -67,6 +70,9 @@ https://fmtools.fyi/applications/constraint-solver/ 2025-06-07T00:00:00+00:00 + + https://fmtools.fyi/contribute/ + 2025-06-07T00:00:00+00:00 https://fmtools.fyi/applications/counterexample-generator/ 2025-06-07T00:00:00+00:00 @@ -175,6 +181,9 @@ https://fmtools.fyi/licenses/mit/ 2025-06-07T00:00:00+00:00 + + https://fmtools.fyi/license/ + 2025-06-07T00:00:00+00:00 https://fmtools.fyi/applications/model-checker/ 2025-06-07T00:00:00+00:00 @@ -223,6 +232,9 @@ https://fmtools.fyi/tools/prob/prism/ 2025-06-07T00:00:00+00:00 + + https://fmtools.fyi/privacy/ + 2025-06-07T00:00:00+00:00 https://fmtools.fyi/applications/probabilistic-model-checker/ 2025-06-07T00:00:00+00:00 @@ -337,17 +349,9 @@ https://fmtools.fyi/tools/sat-smt/zipperposition/ 2025-06-07T00:00:00+00:00 - - https://fmtools.fyi/about/ https://fmtools.fyi/taxonomies/ - - https://fmtools.fyi/contribute/ https://fmtools.fyi/domains/ - - https://fmtools.fyi/license/ - - https://fmtools.fyi/privacy/ diff --git a/tools/prob/comics/index.html b/tools/prob/comics/index.html index efd7456..1853b48 100644 --- a/tools/prob/comics/index.html +++ b/tools/prob/comics/index.html @@ -86,7 +86,7 @@

COMICS

- Probabilistic Model Checker + DTMC Counterexample Generator diff --git a/tools/prob/storm-copy/index.html b/tools/prob/storm-copy/index.html deleted file mode 100644 index bf0ea75..0000000 --- a/tools/prob/storm-copy/index.html +++ /dev/null @@ -1,550 +0,0 @@ - - - - - - - - -Storm | Formal Methods Tools - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
-

Formal Methods Tools

- - - - -
-
- - -
-

Storm

- - Probabilistic Model Checker - - - - - - - -
- - -
-

At a Glance

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - Applications - - - - - - - - - - - - - Probabilistic Model Checker - - - -
- - Developers - - - - - - - - - - - - - RWTH Aachen - - - -
- - Inputs - - - - - - - - - - - - - Galileo - - - - - - - - - - - - - GreatSPN - - - - - - - - - - - - - JANI - - - - - - - - - - - - - MRMC - - - - - - - - - - - - - PNML - - - - - - - - - - - - - PRISM - - - -
- - Interfaces - - - - - - - - - - - - - C++ - - - - - - - - - - - - - CLI - - - - - - - - - - - - - Python - - - -
- - Licenses - - - - - - - - - - - - - GPLv3 - - - -
- - Maintenance - - - - - - - - - - - - - Actively Maintained - - - -
-
- - -
-

Description

-

Storm is a tool for the analysis of systems involving random or probabilistic phenomena.

- -
- - - -
-

Publications

-
    - - - - - - - - - -
  • - The probabilistic model checker Storm - - - (2022) - - - by Hensel, Christian et. al. - - (589-610) - | Appears in International Journal on Software Tools for Technology Transfer - | Volume 24 - | Published by Springer - | 10.1007/s10009-021-00633-z - -
    • - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
-
- - -
-
- Help improve this page!
- Submit an - issue or - pull request. -
- -
- - - Updated -
- -
- - - -
- - - diff --git a/tools/sat-smt/e-copy/index.html b/tools/sat-smt/e-copy/index.html deleted file mode 100644 index b0ff907..0000000 --- a/tools/sat-smt/e-copy/index.html +++ /dev/null @@ -1,329 +0,0 @@ - - - - - - - - -E | Formal Methods Tools - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
-

Formal Methods Tools

- - - - -
-
- - -
-

E

- - Theorem Prover - - - - - - - -
- - -
-

At a Glance

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - Applications - - - - - - - - - - - - - Theorem Prover - - - -
- - Developers - - - - - - - - - - - - - DHBW Stuttgart - - - -
- - Interfaces - - - - - - - - - - - - - CLI - - - -
- - Licenses - - - - - - - - - - - - - GPLv2 - - - -
- - Maintenance - - - - - - - - - - - - - Actively Maintained - - - -
-
- - -
-

Description

-

E is a theorem prover for full first-order logic (and now monomorphic higher-order logic) with equality.

- -
- - - - -
-
- Help improve this page!
- Submit an - issue or - pull request. -
- -
- - - Updated -
- -
- - - -
- - - diff --git a/tools/sat-smt/vampire-copy/index.html b/tools/sat-smt/vampire-copy/index.html deleted file mode 100644 index 0faa362..0000000 --- a/tools/sat-smt/vampire-copy/index.html +++ /dev/null @@ -1,329 +0,0 @@ - - - - - - - - -Vampire | Formal Methods Tools - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
-

Formal Methods Tools

- - - - -
-
- - -
-

Vampire

- - Theorem Prover - - - - - - - -
- - -
-

At a Glance

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - Applications - - - - - - - - - - - - - Theorem Prover - - - -
- - Developers - - - - - - - - - - - - - TU Wien - - - -
- - Interfaces - - - - - - - - - - - - - CLI - - - -
- - Licenses - - - - - - - - - - - - - BSD - - - -
- - Maintenance - - - - - - - - - - - - - Actively Maintained - - - -
-
- - -
-

Description

-

Vampire is a theorem prover.

- -
- - - - -
-
- Help improve this page!
- Submit an - issue or - pull request. -
- -
- - - Updated -
- -
- - - -
- - -