Z3 Theorem Prover
+desc
+ +diff --git a/css/styles.css.map b/css/styles.css.map
index 1a749d8..aa6d4c9 100644
--- a/css/styles.css.map
+++ b/css/styles.css.map
@@ -4,12 +4,20 @@
"sourceRoot": "/home/landon/gitea/fmtools",
"sources": [
"themes/fmtools/assets/sass/main.sass",
- "themes/fmtools/assets/sass/_fonts.sass"
+ "themes/fmtools/assets/sass/_fonts.sass",
+ "themes/fmtools/assets/sass/_colors.sass",
+ "themes/fmtools/assets/sass/_layout.sass",
+ "themes/fmtools/assets/sass/_taxonomy.sass",
+ "themes/fmtools/assets/sass/_links.sass"
],
"sourcesContent": [
- "@import \"fonts\";\n* {\n color: white;\n background: black; }\n",
- "$font-path: '/fonts/static/';\n\n@font-face {\n font-family: 'Source Sans 3';\n font-style: normal;\n font-display: swap;\n font-weight: 100;\n src: local('Source Sans 3 ExtraLight'), local('SourceSans3-ExtraLight'), url('#{$font-path}SourceSans3-ExtraLight.woff2') format('woff2'), url('#{$font-path}SourceSans3-ExtraLight.ttf') format('truetype'); }\n@font-face {\n font-family: 'Source Sans 3';\n font-style: normal;\n font-display: swap;\n font-weight: 200;\n src: local('Source Sans 3 ExtraLight'), local('SourceSans3-ExtraLight'), url('#{$font-path}SourceSans3-ExtraLight.woff2') format('woff2'), url('#{$font-path}SourceSans3-ExtraLight.ttf') format('truetype'); }\n\n@font-face {\n font-family: 'Source Sans 3';\n font-style: normal;\n font-display: swap;\n font-weight: 300;\n src: local('Source Sans 3 Light'), local('SourceSans3-Light'), url('#{$font-path}SourceSans3-Light.woff2') format('woff2'), url('#{$font-path}SourceSans3-Light.ttf') format('truetype'); }\n\n@font-face {\n font-family: 'Source Sans 3';\n font-style: normal;\n font-display: swap;\n font-weight: 400;\n src: local('Source Sans 3 Regular'), local('SourceSans3-Regular'), url('#{$font-path}SourceSans3-Regular.woff2') format('woff2'), url('#{$font-path}SourceSans3-Regular.ttf') format('truetype'); }\n\n@font-face {\n font-family: 'Source Sans 3';\n font-style: italic;\n font-display: swap;\n font-weight: 400;\n src: local('Source Sans 3 Italic'), local('SourceSans3-Italic'), url('#{$font-path}SourceSans3-Italic.woff2') format('woff2'), url('#{$font-path}SourceSans3-Italic.ttf') format('truetype'); }\n\n@font-face {\n font-family: 'Source Sans 3';\n font-style: normal;\n font-display: swap;\n font-weight: 500;\n src: local('Source Sans 3 Medium'), local('SourceSans3-Medium'), url('#{$font-path}SourceSans3-Medium.woff2') format('woff2'), url('#{$font-path}SourceSans3-Medium.ttf') format('truetype'); }\n\n@font-face {\n font-family: 'Source Sans 3';\n font-style: normal;\n font-display: swap;\n font-weight: 600;\n src: local('Source Sans 3 SemiBold'), local('SourceSans3-SemiBold'), url('#{$font-path}SourceSans3-SemiBold.woff2') format('woff2'), url('#{$font-path}SourceSans3-SemiBold.ttf') format('truetype'); }\n\n@font-face {\n font-family: 'Source Sans 3';\n font-style: normal;\n font-display: swap;\n font-weight: 700;\n src: local('Source Sans 3 Bold'), local('SourceSans3-Bold'), url('#{$font-path}SourceSans3-Bold.woff2') format('woff2'), url('#{$font-path}SourceSans3-Bold.ttf') format('truetype'); }\n\n@font-face {\n font-family: 'Source Sans 3';\n font-style: italic;\n font-display: swap;\n font-weight: 700;\n src: local('Source Sans 3 Bold Italic'), local('SourceSans3-BoldItalic'), url('#{$font-path}SourceSans3-BoldItalic.woff2') format('woff2'), url('#{$font-path}SourceSans3-BoldItalic.ttf') format('truetype'); }\n\n@font-face {\n font-family: 'Source Sans 3';\n font-style: normal;\n font-display: swap;\n font-weight: 800;\n src: local('Source Sans 3 ExtraBold'), local('SourceSans3-ExtraBold'), url('#{$font-path}SourceSans3-ExtraBold.woff2') format('woff2'), url('#{$font-path}SourceSans3-ExtraBold.ttf') format('truetype'); }\n\n@font-face {\n font-family: 'Source Sans 3';\n font-style: normal;\n font-display: swap;\n font-weight: 900;\n src: local('Source Sans 3 Black'), local('SourceSans3-Black'), url('#{$font-path}SourceSans3-Black.woff2') format('woff2'), url('#{$font-path}SourceSans3-Black.ttf') format('truetype'); }\n\n\n* {\n font-family: 'Source Sans 3', sans-serif; }\n"
+ "@import \"fonts\";\n@import \"colors\";\n@import \"layout\";\n@import \"taxonomy\";\n@import \"links\";\n",
+ "$font-path: '/fonts/static/';\n\n@font-face {\n font-family: 'Source Sans 3';\n font-style: normal;\n font-display: swap;\n font-weight: 100;\n src: local('Source Sans 3 ExtraLight'), local('SourceSans3-ExtraLight'), url('#{$font-path}SourceSans3-ExtraLight.woff2') format('woff2'), url('#{$font-path}SourceSans3-ExtraLight.ttf') format('truetype'); }\n@font-face {\n font-family: 'Source Sans 3';\n font-style: normal;\n font-display: swap;\n font-weight: 200;\n src: local('Source Sans 3 ExtraLight'), local('SourceSans3-ExtraLight'), url('#{$font-path}SourceSans3-ExtraLight.woff2') format('woff2'), url('#{$font-path}SourceSans3-ExtraLight.ttf') format('truetype'); }\n\n@font-face {\n font-family: 'Source Sans 3';\n font-style: normal;\n font-display: swap;\n font-weight: 300;\n src: local('Source Sans 3 Light'), local('SourceSans3-Light'), url('#{$font-path}SourceSans3-Light.woff2') format('woff2'), url('#{$font-path}SourceSans3-Light.ttf') format('truetype'); }\n\n@font-face {\n font-family: 'Source Sans 3';\n font-style: normal;\n font-display: swap;\n font-weight: 400;\n src: local('Source Sans 3 Regular'), local('SourceSans3-Regular'), url('#{$font-path}SourceSans3-Regular.woff2') format('woff2'), url('#{$font-path}SourceSans3-Regular.ttf') format('truetype'); }\n\n@font-face {\n font-family: 'Source Sans 3';\n font-style: italic;\n font-display: swap;\n font-weight: 400;\n src: local('Source Sans 3 Italic'), local('SourceSans3-Italic'), url('#{$font-path}SourceSans3-Italic.woff2') format('woff2'), url('#{$font-path}SourceSans3-Italic.ttf') format('truetype'); }\n\n@font-face {\n font-family: 'Source Sans 3';\n font-style: normal;\n font-display: swap;\n font-weight: 500;\n src: local('Source Sans 3 Medium'), local('SourceSans3-Medium'), url('#{$font-path}SourceSans3-Medium.woff2') format('woff2'), url('#{$font-path}SourceSans3-Medium.ttf') format('truetype'); }\n\n@font-face {\n font-family: 'Source Sans 3';\n font-style: normal;\n font-display: swap;\n font-weight: 600;\n src: local('Source Sans 3 SemiBold'), local('SourceSans3-SemiBold'), url('#{$font-path}SourceSans3-SemiBold.woff2') format('woff2'), url('#{$font-path}SourceSans3-SemiBold.ttf') format('truetype'); }\n\n@font-face {\n font-family: 'Source Sans 3';\n font-style: normal;\n font-display: swap;\n font-weight: 700;\n src: local('Source Sans 3 Bold'), local('SourceSans3-Bold'), url('#{$font-path}SourceSans3-Bold.woff2') format('woff2'), url('#{$font-path}SourceSans3-Bold.ttf') format('truetype'); }\n\n@font-face {\n font-family: 'Source Sans 3';\n font-style: italic;\n font-display: swap;\n font-weight: 700;\n src: local('Source Sans 3 Bold Italic'), local('SourceSans3-BoldItalic'), url('#{$font-path}SourceSans3-BoldItalic.woff2') format('woff2'), url('#{$font-path}SourceSans3-BoldItalic.ttf') format('truetype'); }\n\n@font-face {\n font-family: 'Source Sans 3';\n font-style: normal;\n font-display: swap;\n font-weight: 800;\n src: local('Source Sans 3 ExtraBold'), local('SourceSans3-ExtraBold'), url('#{$font-path}SourceSans3-ExtraBold.woff2') format('woff2'), url('#{$font-path}SourceSans3-ExtraBold.ttf') format('truetype'); }\n\n@font-face {\n font-family: 'Source Sans 3';\n font-style: normal;\n font-display: swap;\n font-weight: 900;\n src: local('Source Sans 3 Black'), local('SourceSans3-Black'), url('#{$font-path}SourceSans3-Black.woff2') format('woff2'), url('#{$font-path}SourceSans3-Black.ttf') format('truetype'); }\n\n\n* {\n font-family: 'Source Sans 3', sans-serif; }\n",
+ "//\n// _colors.sass\n// Attractive dark mode color scheme for fmtools\n//\n\n// Primary palette\n$primary: #3380ff;\n$primary-dark: #1a3e70;\n$primary-light: #8fc6ff;\n\n// Accent colors\n$accent: #1de9b6;\n$accent-dark: #00897b;\n$accent-light: #6fffd2;\n\n\n// Success, warning, error\n$success: #00e676;\n$warning: #ffd600;\n$error: #ff1744;\n\n// Neutral palette (dark mode)\n$darkest: #0a0c11;\n$background: #10131a;\n$surface: #1a1e29;\n$border: #3a4054;\n$text: #ffffff;\n$text-subtle: #bfc9e6;\n",
+ "/* _layout.sass */\n\n/* Variables */\n$spacing-unit: 1.5rem;\n$section-spacing: 2rem;\n$border-radius: 8px;\n\nhtml {\n background: darken($background, 3%); }\n\n/* Base Layout */\nbody {\n background: $background;\n color: $text;\n font-family: 'Segoe UI', 'Helvetica Neue', Arial, sans-serif;\n width: 100%;\n height: 100%;\n max-width: 1024px;\n margin: $spacing-unit auto;\n padding: $spacing-unit;\n box-sizing: border-box;\n border-radius: $border-radius; }\n\nheader {\n background: $surface;\n margin: $spacing-unit;\n padding: $spacing-unit;\n display: flex;\n flex-wrap: wrap;\n align-items: center;\n justify-content: space-between;\n border-radius: $border-radius;\n margin: 0 auto; }\n\nheader h1, header h1 a {\n margin: 0;\n font-size: 1.6rem;\n font-weight: 600;\n color: $text;\n text-decoration: none;\n padding: 0;\n transition: color 0.4s;\n &:hover, &:focus {\n color: $accent-light; } }\n\nnav {\n display: flex;\n gap: $spacing-unit;\n align-items: center; }\n\nnav ul {\n list-style: none;\n margin: 0;\n padding: 0;\n display: flex;\n gap: 0.5rem;\n flex-wrap: wrap; }\n\nnav ul li {\n margin: 0;\n padding: 0; }\n\nnav ul li a {\n padding: 0.4rem 0.6rem;\n border-radius: $border-radius;\n background: $primary-dark;\n color: $text;\n text-decoration: none;\n font-weight: 500;\n transition: background 0.4s;\n &:hover, &:focus {\n background: $accent-dark; } }\n\n@media (max-width: 600px) {\n header {\n flex-direction: column;\n align-items: flex-start;\n gap: $spacing-unit; }\n\n nav {\n width: 100%;\n justify-content: flex-start;\n margin-top: $spacing-unit; } }\n\nmain {\n margin: $spacing-unit 0;\n padding: $spacing-unit; }\n\nfooter {\n background: $surface;\n margin: $spacing-unit;\n padding: $spacing-unit;\n border-radius: $border-radius;\n margin: 0 auto;\n text-align: center; }\n\nfooter p {\n margin: 0;\n font-size: 0.9rem;\n color: $text-subtle;\n text-align: center; }\n\nsection {\n border-bottom: 3px solid $surface;\n margin: $section-spacing 0;\n padding-bottom: $section-spacing; }\n\n#page-header {\n border-bottom: 3px solid $surface;\n margin: $section-spacing 0;\n padding-bottom: $section-spacing;\n text-align: center;\n h1 {\n margin: 0; }\n .time {\n font-size: 0.8rem;\n color: $text-subtle; } }\n",
+ "\ntable#taxonomy-table {\n width: 100%;\n border-collapse: collapse;\n // border: 3px solid $darkest\n box-sizing: border-box;\n background: $surface;\n text-align: left;\n\n tr:nth-child(even) {\n background: darken($surface, 2%);\n transition: background 0.4s; }\n tr:nth-child(odd) {\n background: lighten($surface, 3%);\n transition: background 0.4s; }\n tr:hover, tr:focus {\n background: $border; } }\n\n#taxonomy-table thead {\n text-align: left;\n border: none;\n background: $darkest;\n border-radius: $border-radius $border-radius 0 0; }\n\n#taxonomy-table th {\n color: $text;\n padding: 0.6rem 0.6rem;\n text-align: left;\n font-weight: 600;\n border: none; }\n\n#taxonomy-table td {\n padding: 0.3rem 0.6rem;\n text-align: left;\n font-weight: 600;\n border: none; }\n\n#taxonomy-table tr {\n border-bottom: 3px solid $background;\n &:hover, &:focus {\n background: $primary-light; } }\n\n#taxonomy-table a.term-link {\n padding: 0.2rem 0.6rem;\n margin: 0.2rem;\n display: inline-block;\n border-radius: $border-radius;\n text-decoration: none;\n font-weight: 500;\n color: $text;\n transition: color 0.4s;\n &:hover, &:focus {\n color: $darkest; } }\n\n#taxonomy-table a.taxonomy-name {\n padding: 0;\n margin: 0.2rem;\n display: inline-block;\n border-radius: $border-radius;\n text-decoration: none;\n font-weight: 500;\n color: $text;\n transition: color 0.4s;\n &:hover, &:focus {\n color: $accent-light; } }\n\n#taxonomy-page a.term-link {\n padding: 0.3rem 1.2rem;\n margin: 0.2rem;\n display: inline-block;\n border-radius: $border-radius;\n text-decoration: none;\n font-weight: 500;\n color: $text;\n transition: color 0.4s;\n font-size: 1.2rem;\n &:hover, &:focus {\n color: $darkest; } }\n\n",
+ "/* _text.sass */\n\n#quick-links {\n text-align: left; }\n\n#link-list {\n display: flex;\n gap: $spacing-unit;\n align-items: left;\n margin: $spacing-unit 0; }\n\n#link-list h2 {\n flex: none; }\n\n#link-list ul {\n list-style: none;\n margin: 0;\n padding: 0;\n display: flex;\n gap: 1rem;\n flex-wrap: wrap; }\n\n#link-list ul li {\n margin: 0;\n padding: 0; }\n\n#link-list ul li a {\n padding: 0.3rem 0.6rem;\n border-radius: $border-radius;\n background: $primary-light;\n color: $darkest;\n text-decoration: none;\n font-weight: 500;\n transition: background 0.4s;\n &:hover, &:focus {\n background: $accent-light; } }\n"
],
"names": [],
- "mappings": "ACEA,UAAU;EACN,WAAW,EAAE,eAAe;EAC5B,UAAU,EAAE,MAAM;EAClB,YAAY,EAAE,IAAI;EAClB,WAAW,EAAE,GAAG;EAChB,GAAG,EAAE,iCAAiC,EAAE,+BAA+B,EAAE,iDAA0D,CAAC,eAAe,EAAE,+CAAwD,CAAC,kBAAkB;;;AACpO,UAAU;EACN,WAAW,EAAE,eAAe;EAC5B,UAAU,EAAE,MAAM;EAClB,YAAY,EAAE,IAAI;EAClB,WAAW,EAAE,GAAG;EAChB,GAAG,EAAE,iCAAiC,EAAE,+BAA+B,EAAE,iDAA0D,CAAC,eAAe,EAAE,+CAAwD,CAAC,kBAAkB;;;AAEpO,UAAU;EACN,WAAW,EAAE,eAAe;EAC5B,UAAU,EAAE,MAAM;EAClB,YAAY,EAAE,IAAI;EAClB,WAAW,EAAE,GAAG;EAChB,GAAG,EAAE,4BAA4B,EAAE,0BAA0B,EAAE,4CAAqD,CAAC,eAAe,EAAE,0CAAmD,CAAC,kBAAkB;;;AAEhN,UAAU;EACN,WAAW,EAAE,eAAe;EAC5B,UAAU,EAAE,MAAM;EAClB,YAAY,EAAE,IAAI;EAClB,WAAW,EAAE,GAAG;EAChB,GAAG,EAAE,8BAA8B,EAAE,4BAA4B,EAAE,8CAAuD,CAAC,eAAe,EAAE,4CAAqD,CAAC,kBAAkB;;;AAExN,UAAU;EACN,WAAW,EAAE,eAAe;EAC5B,UAAU,EAAE,MAAM;EAClB,YAAY,EAAE,IAAI;EAClB,WAAW,EAAE,GAAG;EAChB,GAAG,EAAE,6BAA6B,EAAE,2BAA2B,EAAE,6CAAsD,CAAC,eAAe,EAAE,2CAAoD,CAAC,kBAAkB;;;AAEpN,UAAU;EACN,WAAW,EAAE,eAAe;EAC5B,UAAU,EAAE,MAAM;EAClB,YAAY,EAAE,IAAI;EAClB,WAAW,EAAE,GAAG;EAChB,GAAG,EAAE,6BAA6B,EAAE,2BAA2B,EAAE,6CAAsD,CAAC,eAAe,EAAE,2CAAoD,CAAC,kBAAkB;;;AAEpN,UAAU;EACN,WAAW,EAAE,eAAe;EAC5B,UAAU,EAAE,MAAM;EAClB,YAAY,EAAE,IAAI;EAClB,WAAW,EAAE,GAAG;EAChB,GAAG,EAAE,+BAA+B,EAAE,6BAA6B,EAAE,+CAAwD,CAAC,eAAe,EAAE,6CAAsD,CAAC,kBAAkB;;;AAE5N,UAAU;EACN,WAAW,EAAE,eAAe;EAC5B,UAAU,EAAE,MAAM;EAClB,YAAY,EAAE,IAAI;EAClB,WAAW,EAAE,GAAG;EAChB,GAAG,EAAE,2BAA2B,EAAE,yBAAyB,EAAE,2CAAoD,CAAC,eAAe,EAAE,yCAAkD,CAAC,kBAAkB;;;AAE5M,UAAU;EACN,WAAW,EAAE,eAAe;EAC5B,UAAU,EAAE,MAAM;EAClB,YAAY,EAAE,IAAI;EAClB,WAAW,EAAE,GAAG;EAChB,GAAG,EAAE,kCAAkC,EAAE,+BAA+B,EAAE,iDAA0D,CAAC,eAAe,EAAE,+CAAwD,CAAC,kBAAkB;;;AAErO,UAAU;EACN,WAAW,EAAE,eAAe;EAC5B,UAAU,EAAE,MAAM;EAClB,YAAY,EAAE,IAAI;EAClB,WAAW,EAAE,GAAG;EAChB,GAAG,EAAE,gCAAgC,EAAE,8BAA8B,EAAE,gDAAyD,CAAC,eAAe,EAAE,8CAAuD,CAAC,kBAAkB;;;AAEhO,UAAU;EACN,WAAW,EAAE,eAAe;EAC5B,UAAU,EAAE,MAAM;EAClB,YAAY,EAAE,IAAI;EAClB,WAAW,EAAE,GAAG;EAChB,GAAG,EAAE,4BAA4B,EAAE,0BAA0B,EAAE,4CAAqD,CAAC,eAAe,EAAE,0CAAmD,CAAC,kBAAkB;;;AAGhN,AAAA,CAAC,CAAC;EACE,WAAW,EAAE,2BAA2B;CAAG;;AD/E/C,AAAA,CAAC,CAAC;EACE,KAAK,EAAE,KAAK;EACZ,UAAU,EAAE,KAAK;CAAG"
+ "mappings": "ACEA,UAAU;EACN,WAAW,EAAE,eAAe;EAC5B,UAAU,EAAE,MAAM;EAClB,YAAY,EAAE,IAAI;EAClB,WAAW,EAAE,GAAG;EAChB,GAAG,EAAE,iCAAiC,EAAE,+BAA+B,EAAE,iDAA0D,CAAC,eAAe,EAAE,+CAAwD,CAAC,kBAAkB;;;AACpO,UAAU;EACN,WAAW,EAAE,eAAe;EAC5B,UAAU,EAAE,MAAM;EAClB,YAAY,EAAE,IAAI;EAClB,WAAW,EAAE,GAAG;EAChB,GAAG,EAAE,iCAAiC,EAAE,+BAA+B,EAAE,iDAA0D,CAAC,eAAe,EAAE,+CAAwD,CAAC,kBAAkB;;;AAEpO,UAAU;EACN,WAAW,EAAE,eAAe;EAC5B,UAAU,EAAE,MAAM;EAClB,YAAY,EAAE,IAAI;EAClB,WAAW,EAAE,GAAG;EAChB,GAAG,EAAE,4BAA4B,EAAE,0BAA0B,EAAE,4CAAqD,CAAC,eAAe,EAAE,0CAAmD,CAAC,kBAAkB;;;AAEhN,UAAU;EACN,WAAW,EAAE,eAAe;EAC5B,UAAU,EAAE,MAAM;EAClB,YAAY,EAAE,IAAI;EAClB,WAAW,EAAE,GAAG;EAChB,GAAG,EAAE,8BAA8B,EAAE,4BAA4B,EAAE,8CAAuD,CAAC,eAAe,EAAE,4CAAqD,CAAC,kBAAkB;;;AAExN,UAAU;EACN,WAAW,EAAE,eAAe;EAC5B,UAAU,EAAE,MAAM;EAClB,YAAY,EAAE,IAAI;EAClB,WAAW,EAAE,GAAG;EAChB,GAAG,EAAE,6BAA6B,EAAE,2BAA2B,EAAE,6CAAsD,CAAC,eAAe,EAAE,2CAAoD,CAAC,kBAAkB;;;AAEpN,UAAU;EACN,WAAW,EAAE,eAAe;EAC5B,UAAU,EAAE,MAAM;EAClB,YAAY,EAAE,IAAI;EAClB,WAAW,EAAE,GAAG;EAChB,GAAG,EAAE,6BAA6B,EAAE,2BAA2B,EAAE,6CAAsD,CAAC,eAAe,EAAE,2CAAoD,CAAC,kBAAkB;;;AAEpN,UAAU;EACN,WAAW,EAAE,eAAe;EAC5B,UAAU,EAAE,MAAM;EAClB,YAAY,EAAE,IAAI;EAClB,WAAW,EAAE,GAAG;EAChB,GAAG,EAAE,+BAA+B,EAAE,6BAA6B,EAAE,+CAAwD,CAAC,eAAe,EAAE,6CAAsD,CAAC,kBAAkB;;;AAE5N,UAAU;EACN,WAAW,EAAE,eAAe;EAC5B,UAAU,EAAE,MAAM;EAClB,YAAY,EAAE,IAAI;EAClB,WAAW,EAAE,GAAG;EAChB,GAAG,EAAE,2BAA2B,EAAE,yBAAyB,EAAE,2CAAoD,CAAC,eAAe,EAAE,yCAAkD,CAAC,kBAAkB;;;AAE5M,UAAU;EACN,WAAW,EAAE,eAAe;EAC5B,UAAU,EAAE,MAAM;EAClB,YAAY,EAAE,IAAI;EAClB,WAAW,EAAE,GAAG;EAChB,GAAG,EAAE,kCAAkC,EAAE,+BAA+B,EAAE,iDAA0D,CAAC,eAAe,EAAE,+CAAwD,CAAC,kBAAkB;;;AAErO,UAAU;EACN,WAAW,EAAE,eAAe;EAC5B,UAAU,EAAE,MAAM;EAClB,YAAY,EAAE,IAAI;EAClB,WAAW,EAAE,GAAG;EAChB,GAAG,EAAE,gCAAgC,EAAE,8BAA8B,EAAE,gDAAyD,CAAC,eAAe,EAAE,8CAAuD,CAAC,kBAAkB;;;AAEhO,UAAU;EACN,WAAW,EAAE,eAAe;EAC5B,UAAU,EAAE,MAAM;EAClB,YAAY,EAAE,IAAI;EAClB,WAAW,EAAE,GAAG;EAChB,GAAG,EAAE,4BAA4B,EAAE,0BAA0B,EAAE,4CAAqD,CAAC,eAAe,EAAE,0CAAmD,CAAC,kBAAkB;;;AAGhN,AAAA,CAAC,CAAC;EACE,WAAW,EAAE,2BAA2B;CAAG;;AEhF/C,kBAAkB;AAElB,eAAe;AAKf,AAAA,IAAI,CAAC;EACD,UAAU,EDeD,OAAO;CCfsB;;AAE1C,iBAAiB;AACjB,AAAA,IAAI,CAAC;EACD,UAAU,EDWD,OAAO;ECVhB,KAAK,EDaF,OAAO;ECZV,WAAW,EAAE,+CAA+C;EAC5D,KAAK,EAAE,IAAI;EACX,MAAM,EAAE,IAAI;EACZ,SAAS,EAAE,MAAM;EACjB,MAAM,EAfK,MAAM,CAeK,IAAI;EAC1B,OAAO,EAhBI,MAAM;EAiBjB,UAAU,EAAE,UAAU;EACtB,aAAa,EAhBD,GAAG;CAgBiB;;AAEpC,AAAA,MAAM,CAAC;EACH,UAAU,EDAJ,OAAO;ECCb,MAAM,EAtBK,MAAM;EAuBjB,OAAO,EAvBI,MAAM;EAwBjB,OAAO,EAAE,IAAI;EACb,SAAS,EAAE,IAAI;EACf,WAAW,EAAE,MAAM;EACnB,eAAe,EAAE,aAAa;EAC9B,aAAa,EA1BD,GAAG;EA2Bf,MAAM,EAAE,MAAM;CAAG;;AAErB,AAAA,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;EACnB,MAAM,EAAE,CAAC;EACT,SAAS,EAAE,MAAM;EACjB,WAAW,EAAE,GAAG;EAChB,KAAK,EDZF,OAAO;ECaV,eAAe,EAAE,IAAI;EACrB,OAAO,EAAE,CAAC;EACV,UAAU,EAAE,UAAU;CAEO;;AATjC,AAQI,MARE,CAAC,EAAE,CAQH,KAAK,EARX,MAAM,CAAC,EAAE,CAQM,KAAK,EART,MAAM,CAAC,EAAE,CAAC,CAAC,CAQhB,KAAK,EARA,MAAM,CAAC,EAAE,CAAC,CAAC,CAQP,KAAK,CAAC;EACb,KAAK,ED9BE,OAAO;CC8BS;;AAE/B,AAAA,GAAG,CAAC;EACA,OAAO,EAAE,IAAI;EACb,GAAG,EA5CQ,MAAM;EA6CjB,WAAW,EAAE,MAAM;CAAG;;AAE1B,AAAA,GAAG,CAAC,EAAE,CAAC;EACH,UAAU,EAAE,IAAI;EAChB,MAAM,EAAE,CAAC;EACT,OAAO,EAAE,CAAC;EACV,OAAO,EAAE,IAAI;EACb,GAAG,EAAE,MAAM;EACX,SAAS,EAAE,IAAI;CAAG;;AAEtB,AAAA,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;EACN,MAAM,EAAE,CAAC;EACT,OAAO,EAAE,CAAC;CAAG;;AAEjB,AAAA,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;EACR,OAAO,EAAE,aAAa;EACtB,aAAa,EA3DD,GAAG;EA4Df,UAAU,ED1DC,OAAO;EC2DlB,KAAK,EDxCF,OAAO;ECyCV,eAAe,EAAE,IAAI;EACrB,WAAW,EAAE,GAAG;EAChB,UAAU,EAAE,eAAe;CAEM;;AATrC,AAQI,GARD,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAQL,KAAK,EARX,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAQI,KAAK,CAAC;EACb,UAAU,ED3DJ,OAAO;CC2Dc;;AAEnC,MAAM,mBACF;EAAA,AAAA,MAAM,CAAC;IACH,cAAc,EAAE,MAAM;IACtB,WAAW,EAAE,UAAU;IACvB,GAAG,EA1EI,MAAM;GA0EQ;EAEzB,AAAA,GAAG,CAAC;IACA,KAAK,EAAE,IAAI;IACX,eAAe,EAAE,UAAU;IAC3B,UAAU,EA/EH,MAAM;GA+Ee;CALP;;AAO7B,AAAA,IAAI,CAAC;EACD,MAAM,EAlFK,MAAM,CAkFK,CAAC;EACvB,OAAO,EAnFI,MAAM;CAmFQ;;AAE7B,AAAA,MAAM,CAAC;EACH,UAAU,EDjEJ,OAAO;ECkEb,MAAM,EAvFK,MAAM;EAwFjB,OAAO,EAxFI,MAAM;EAyFjB,aAAa,EAvFD,GAAG;EAwFf,MAAM,EAAE,MAAM;EACd,UAAU,EAAE,MAAM;CAAG;;AAEzB,AAAA,MAAM,CAAC,CAAC,CAAC;EACL,MAAM,EAAE,CAAC;EACT,SAAS,EAAE,MAAM;EACjB,KAAK,EDxEK,OAAO;ECyEjB,UAAU,EAAE,MAAM;CAAG;;AAEzB,AAAA,OAAO,CAAC;EACJ,aAAa,EAAE,GAAG,CAAC,KAAK,CD/ElB,OAAO;ECgFb,MAAM,EApGQ,IAAI,CAoGO,CAAC;EAC1B,cAAc,EArGA,IAAI;CAqGiB;;AAEvC,AAAA,YAAY,CAAC;EACT,aAAa,EAAE,GAAG,CAAC,KAAK,CDpFlB,OAAO;ECqFb,MAAM,EAzGQ,IAAI,CAyGO,CAAC;EAC1B,cAAc,EA1GA,IAAI;EA2GlB,UAAU,EAAE,MAAM;CAKU;;AAThC,AAKI,YALQ,CAKR,EAAE,CAAC;EACC,MAAM,EAAE,CAAC;CAAG;;AANpB,AAOI,YAPQ,CAOR,KAAK,CAAC;EACF,SAAS,EAAE,MAAM;EACjB,KAAK,EDzFC,OAAO;CCyFS;;ACnH9B,AAAA,KAAK,AAAA,eAAe,CAAC;EACjB,KAAK,EAAE,IAAI;EACX,eAAe,EAAE,QAAQ;EAEzB,UAAU,EAAE,UAAU;EACtB,UAAU,EFkBJ,OAAO;EEjBb,UAAU,EAAE,IAAI;CASY;;AAfhC,AAQI,KARC,AAAA,eAAe,CAQhB,EAAE,CAAC,SAAU,CAAA,IAAI,EAAE;EACf,UAAU,EFcR,OAAO;EEbT,UAAU,EAAE,eAAe;CAAG;;AAVtC,AAWI,KAXC,AAAA,eAAe,CAWhB,EAAE,CAAC,SAAU,CAAA,GAAG,EAAE;EACd,UAAU,EFWR,OAAO;EEVT,UAAU,EAAE,eAAe;CAAG;;AAbtC,AAcI,KAdC,AAAA,eAAe,CAchB,EAAE,CAAC,KAAK,EAdZ,KAAK,AAAA,eAAe,CAcN,EAAE,CAAC,KAAK,CAAC;EACf,UAAU,EFST,OAAO;CETc;;AAE9B,AAAA,eAAe,CAAC,KAAK,CAAC;EAClB,UAAU,EAAE,IAAI;EAChB,MAAM,EAAE,IAAI;EACZ,UAAU,EFCJ,OAAO;EEAb,aAAa,EDjBD,GAAG,CAAH,GAAG,CCiB8B,CAAC,CAAC,CAAC;CAAG;;AAEvD,AAAA,eAAe,CAAC,EAAE,CAAC;EACf,KAAK,EFCF,OAAO;EEAV,OAAO,EAAE,aAAa;EACtB,UAAU,EAAE,IAAI;EAChB,WAAW,EAAE,GAAG;EAChB,MAAM,EAAE,IAAI;CAAG;;AAEnB,AAAA,eAAe,CAAC,EAAE,CAAC;EACf,OAAO,EAAE,aAAa;EACtB,UAAU,EAAE,IAAI;EAChB,WAAW,EAAE,GAAG;EAChB,MAAM,EAAE,IAAI;CAAG;;AAEnB,AAAA,eAAe,CAAC,EAAE,CAAC;EACf,aAAa,EAAE,GAAG,CAAC,KAAK,CFff,OAAO;CEiBmB;;AAHvC,AAEI,eAFW,CAAC,EAAE,CAEZ,KAAK,EAFX,eAAe,CAAC,EAAE,CAEH,KAAK,CAAC;EACb,UAAU,EFhCF,OAAO;CEgCc;;AAErC,AAAA,eAAe,CAAC,CAAC,AAAA,UAAU,CAAC;EACxB,OAAO,EAAE,aAAa;EACtB,MAAM,EAAE,MAAM;EACd,OAAO,EAAE,YAAY;EACrB,aAAa,EDzCD,GAAG;EC0Cf,eAAe,EAAE,IAAI;EACrB,WAAW,EAAE,GAAG;EAChB,KAAK,EFvBF,OAAO;EEwBV,UAAU,EAAE,UAAU;CAEE;;AAV5B,AASI,eATW,CAAC,CAAC,AAAA,UAAU,CASrB,KAAK,EATX,eAAe,CAAC,CAAC,AAAA,UAAU,CASZ,KAAK,CAAC;EACb,KAAK,EF9BH,OAAO;CE8BS;;AAE1B,AAAA,eAAe,CAAC,CAAC,AAAA,cAAc,CAAC;EAC5B,OAAO,EAAE,CAAC;EACV,MAAM,EAAE,MAAM;EACd,OAAO,EAAE,YAAY;EACrB,aAAa,EDrDD,GAAG;ECsDf,eAAe,EAAE,IAAI;EACrB,WAAW,EAAE,GAAG;EAChB,KAAK,EFnCF,OAAO;EEoCV,UAAU,EAAE,UAAU;CAEO;;AAVjC,AASI,eATW,CAAC,CAAC,AAAA,cAAc,CASzB,KAAK,EATX,eAAe,CAAC,CAAC,AAAA,cAAc,CAShB,KAAK,CAAC;EACb,KAAK,EFnDE,OAAO;CEmDS;;AAE/B,AAAA,cAAc,CAAC,CAAC,AAAA,UAAU,CAAC;EACvB,OAAO,EAAE,aAAa;EACtB,MAAM,EAAE,MAAM;EACd,OAAO,EAAE,YAAY;EACrB,aAAa,EDjED,GAAG;ECkEf,eAAe,EAAE,IAAI;EACrB,WAAW,EAAE,GAAG;EAChB,KAAK,EF/CF,OAAO;EEgDV,UAAU,EAAE,UAAU;EACtB,SAAS,EAAE,MAAM;CAEO;;AAX5B,AAUI,cAVU,CAAC,CAAC,AAAA,UAAU,CAUpB,KAAK,EAVX,cAAc,CAAC,CAAC,AAAA,UAAU,CAUX,KAAK,CAAC;EACb,KAAK,EFvDH,OAAO;CEuDS;;AC7E1B,gBAAgB;AAEhB,AAAA,YAAY,CAAC;EACT,UAAU,EAAE,IAAI;CAAG;;AAEvB,AAAA,UAAU,CAAC;EACP,OAAO,EAAE,IAAI;EACb,GAAG,EFJQ,MAAM;EEKjB,WAAW,EAAE,IAAI;EACjB,MAAM,EFNK,MAAM,CEMK,CAAC;CAAG;;AAE9B,AAAA,UAAU,CAAC,EAAE,CAAC;EACV,IAAI,EAAE,IAAI;CAAG;;AAEjB,AAAA,UAAU,CAAC,EAAE,CAAC;EACV,UAAU,EAAE,IAAI;EAChB,MAAM,EAAE,CAAC;EACT,OAAO,EAAE,CAAC;EACV,OAAO,EAAE,IAAI;EACb,GAAG,EAAE,IAAI;EACT,SAAS,EAAE,IAAI;CAAG;;AAEtB,AAAA,UAAU,CAAC,EAAE,CAAC,EAAE,CAAC;EACb,MAAM,EAAE,CAAC;EACT,OAAO,EAAE,CAAC;CAAG;;AAEjB,AAAA,UAAU,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;EACf,OAAO,EAAE,aAAa;EACtB,aAAa,EFvBD,GAAG;EEwBf,UAAU,EHrBE,OAAO;EGsBnB,KAAK,EHRC,OAAO;EGSb,eAAe,EAAE,IAAI;EACrB,WAAW,EAAE,GAAG;EAChB,UAAU,EAAE,eAAe;CAEO;;AATtC,AAQI,UARM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAQZ,KAAK,EARX,UAAU,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAQH,KAAK,CAAC;EACb,UAAU,EHtBH,OAAO;CGsBc"
}
\ No newline at end of file
diff --git a/css/styles.d41649c107ec5b1038ccbd68def74740f41d15040ad4141debf17b1d1c665a6143cd737e10b08055fbc26a088a47b85934a27fa1922c6ac9cc17a8a7598a253d.css b/css/styles.d41649c107ec5b1038ccbd68def74740f41d15040ad4141debf17b1d1c665a6143cd737e10b08055fbc26a088a47b85934a27fa1922c6ac9cc17a8a7598a253d.css
deleted file mode 100644
index abce234..0000000
--- a/css/styles.d41649c107ec5b1038ccbd68def74740f41d15040ad4141debf17b1d1c665a6143cd737e10b08055fbc26a088a47b85934a27fa1922c6ac9cc17a8a7598a253d.css
+++ /dev/null
@@ -1,98 +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-family: 'Source Sans 3', sans-serif;
-}
-
-* {
- color: white;
- background: black;
-}
-
-/*# sourceMappingURL=styles.css.map */
\ No newline at end of file
diff --git a/css/styles.fc7cf65388be07f2e53293132dd0220e34d9861f57de4b336d64dd03a3502a9befbea05606442d0a501005442835a864361b9a51b4b51acbf28df37530f61f31.css b/css/styles.fc7cf65388be07f2e53293132dd0220e34d9861f57de4b336d64dd03a3502a9befbea05606442d0a501005442835a864361b9a51b4b51acbf28df37530f61f31.css
new file mode 100644
index 0000000..7c91143
--- /dev/null
+++ b/css/styles.fc7cf65388be07f2e53293132dd0220e34d9861f57de4b336d64dd03a3502a9befbea05606442d0a501005442835a864361b9a51b4b51acbf28df37530f61f31.css
@@ -0,0 +1,371 @@
+@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-family: 'Source Sans 3', sans-serif;
+}
+
+/* _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: 600;
+ color: #ffffff;
+ text-decoration: none;
+ padding: 0;
+ transition: color 0.4s;
+}
+
+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;
+}
+
+nav ul li a:hover, nav ul li a:focus {
+ background: #00897b;
+}
+
+@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;
+}
+
+#page-header .time {
+ font-size: 0.8rem;
+ color: #bfc9e6;
+}
+
+table#taxonomy-table {
+ width: 100%;
+ border-collapse: collapse;
+ box-sizing: border-box;
+ background: #1a1e29;
+ text-align: left;
+}
+
+table#taxonomy-table tr:nth-child(even) {
+ background: #161923;
+ transition: background 0.4s;
+}
+
+table#taxonomy-table tr:nth-child(odd) {
+ background: #202532;
+ transition: background 0.4s;
+}
+
+table#taxonomy-table tr:hover, table#taxonomy-table tr:focus {
+ background: #3a4054;
+}
+
+#taxonomy-table thead {
+ text-align: left;
+ border: none;
+ background: #0a0c11;
+ border-radius: 8px 8px 0 0;
+}
+
+#taxonomy-table th {
+ color: #ffffff;
+ padding: 0.6rem 0.6rem;
+ text-align: left;
+ font-weight: 600;
+ border: none;
+}
+
+#taxonomy-table td {
+ padding: 0.3rem 0.6rem;
+ text-align: left;
+ font-weight: 600;
+ border: none;
+}
+
+#taxonomy-table tr {
+ border-bottom: 3px solid #10131a;
+}
+
+#taxonomy-table tr:hover, #taxonomy-table tr:focus {
+ background: #8fc6ff;
+}
+
+#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;
+}
+
+#taxonomy-table a.term-link:hover, #taxonomy-table a.term-link:focus {
+ color: #0a0c11;
+}
+
+#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;
+}
+
+#taxonomy-table a.taxonomy-name:hover, #taxonomy-table a.taxonomy-name:focus {
+ color: #6fffd2;
+}
+
+#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;
+ color: #ffffff;
+ transition: color 0.4s;
+ font-size: 1.2rem;
+}
+
+#taxonomy-page a.term-link:hover, #taxonomy-page a.term-link:focus {
+ color: #0a0c11;
+}
+
+/* _text.sass */
+#quick-links {
+ text-align: left;
+}
+
+#link-list {
+ display: flex;
+ gap: 1.5rem;
+ align-items: left;
+ margin: 1.5rem 0;
+}
+
+#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.4s;
+}
+
+#link-list ul li a:hover, #link-list ul li a:focus {
+ background: #6fffd2;
+}
+
+/*# sourceMappingURL=styles.css.map */
\ No newline at end of file
diff --git a/developers/index.html b/developers/index.html
index 649c792..15f28cb 100644
--- a/developers/index.html
+++ b/developers/index.html
@@ -22,7 +22,7 @@
-
+
@@ -33,16 +33,51 @@
Formal Methods Tools
+
Developers
+ All Developers
+
+ Test Dev
+
+
+
+
+
+
+
+
+
+
+ Test Dev
+
+
+
desc
- +desc
+ +Copyright 2025. All rights reserved.
+ +Copyright 2025. All rights reserved.
+ +Copyright 2025. All rights reserved.
+ +Copyright 2025. All rights reserved.
+ +Copyright 2025. All rights reserved.
+ +Copyright 2025. All rights reserved.
+ +Copyright 2025. All rights reserved.
+ +Copyright 2025. All rights reserved.
+ +Copyright 2025. All rights reserved.
+ ++ + Developers + + | ++ + + + + + + + + + + test dev + + + + | +
+ + Domains + + | ++ + + + + + + + + + + tttt + + + + | +
+ + Formalisms + + | ++ + + + + + + + + + + tttt + + + + | +
+ + Interactions + + | ++ + + + + + + + + + + araafafanpoasi + + + + + + + + + + + + + aranapoasi + + + + + + + + + + + + + aranpoasadfsi + + + + + + + + + + + + + aranpoasai + + + + + + + + + + + + + aranpoasasdfasfasdfasdfi + + + + + + + + + + + + + aranpoasi + + + + + + + + + + + + + aranpoaswei + + + + + + + + + + + + + aranpoxasi + + + + + + + + + + + + + aranpsoasi + + + + + + + + + + + + + aransdpoasi + + + + + + + + + + + + + lorem ipsum + + + + | +
+ + Languages + + | ++ + + + + + + + + + + tttt + + + + | +
+ + Purposes + + | ++ + + + + + + + + + + test + + + + | +
+ + Systems + + | ++ + + + + + + + + + + tttt + + + + | +
+ + Techniques + + | ++ + + + + + + + + + + aaa + + + + | +
Copyright 2025. All rights reserved.
+ +desc
- +desc
+ +