|
1 | 1 | /* |
2 | 2 | * Trinity Docsite Theme |
3 | | - * Academic styling with serif typography |
4 | 3 | * Two themes: Dark (pure black) + Light (white) |
5 | 4 | */ |
6 | 5 |
|
7 | | -/* Academic Typography - Google Fonts */ |
8 | | -@import url('https://fonts.googleapis.com/css2?family=Merriweather:ital,wght@0,400;0,700;1,400&family=Inter:wght@400;500;600;700&family=JetBrains+Mono:wght@400;500&display=swap'); |
9 | | - |
10 | 6 | /* ================================================================ |
11 | 7 | LIGHT THEME |
12 | 8 | ================================================================ */ |
13 | 9 |
|
14 | 10 | :root { |
15 | | - /* Academic Typography */ |
16 | | - --ifm-font-family-base: 'Merriweather', Georgia, 'Times New Roman', serif; |
17 | | - --ifm-heading-font-family: 'Inter', system-ui, -apple-system, sans-serif; |
18 | | - --ifm-font-family-monospace: 'JetBrains Mono', 'Fira Code', Consolas, monospace; |
19 | | - |
20 | | - /* Academic Semantic Colors */ |
21 | | - --color-theorem: #1e40af; |
22 | | - --color-lemma: #7c3aed; |
23 | | - --color-definition: #6b7280; |
24 | | - --color-proof: #059669; |
25 | | - --color-example: #d97706; |
26 | | - --color-corollary: #0891b2; |
27 | | - --color-remark: #64748b; |
28 | 11 | --ifm-color-primary: #16a34a; |
29 | 12 | --ifm-color-primary-dark: #15803d; |
30 | 13 | --ifm-color-primary-darker: #166534; |
|
58 | 41 | --trinity-golden: #92711a; |
59 | 42 | --trinity-golden-dark: #6b5214; |
60 | 43 | --trinity-muted: #6b7280; |
61 | | - --trinity-accent: #00E599; |
| 44 | + --trinity-accent: #16a34a; |
62 | 45 | } |
63 | 46 |
|
64 | 47 | [data-theme='light'] .navbar { |
|
223 | 206 | border-left-color: rgba(22, 163, 74, 0.3); |
224 | 207 | } |
225 | 208 |
|
226 | | -[data-theme='light'] .sacred-math, |
227 | | -[data-theme='light'] .math-block { |
| 209 | +[data-theme='light'] .sacred-math { |
228 | 210 | background: #f9fafb; |
229 | 211 | border-color: #e5e7eb; |
230 | 212 | } |
|
315 | 297 | --trinity-golden: #d4a843; |
316 | 298 | --trinity-golden-dark: #a68532; |
317 | 299 | --trinity-muted: #737373; |
318 | | - --trinity-accent: #00E599; |
| 300 | + --trinity-accent: #4ade80; |
319 | 301 | } |
320 | 302 |
|
321 | 303 | [data-theme='dark'] html, |
|
510 | 492 | border-left-color: rgba(74, 222, 128, 0.2); |
511 | 493 | } |
512 | 494 |
|
513 | | -[data-theme='dark'] .sacred-math, |
514 | | -[data-theme='dark'] .math-block { |
| 495 | +[data-theme='dark'] .sacred-math { |
515 | 496 | background: rgba(255, 255, 255, 0.01); |
516 | 497 | border-color: rgba(255, 255, 255, 0.03); |
517 | 498 | } |
@@ -643,8 +624,7 @@ table { |
643 | 624 | border-left: 2px solid; |
644 | 625 | } |
645 | 626 |
|
646 | | -.sacred-math, |
647 | | -.math-block { |
| 627 | +.sacred-math { |
648 | 628 | padding: 2rem; |
649 | 629 | border-radius: 12px; |
650 | 630 | margin: 2rem 0; |
@@ -727,307 +707,3 @@ table { |
727 | 707 | [data-theme='dark'] ::-webkit-scrollbar-thumb:hover { |
728 | 708 | background: rgba(255, 255, 255, 0.15); |
729 | 709 | } |
730 | | - |
731 | | -/* ================================================================ |
732 | | - ACADEMIC CONTENT STYLING |
733 | | - ================================================================ */ |
734 | | - |
735 | | -/* Academic block base styling */ |
736 | | -.theorem, |
737 | | -.lemma, |
738 | | -.definition, |
739 | | -.proof, |
740 | | -.corollary, |
741 | | -.example, |
742 | | -.remark { |
743 | | - border-left: 4px solid; |
744 | | - padding: 1rem 1.25rem; |
745 | | - margin: 1.5rem 0; |
746 | | - border-radius: 0 8px 8px 0; |
747 | | -} |
748 | | - |
749 | | -/* Theorem */ |
750 | | -.theorem { |
751 | | - border-left-color: var(--color-theorem); |
752 | | - background: rgba(30, 64, 175, 0.05); |
753 | | -} |
754 | | - |
755 | | -[data-theme='dark'] .theorem { |
756 | | - background: rgba(30, 64, 175, 0.15); |
757 | | -} |
758 | | - |
759 | | -.theorem-title { |
760 | | - font-weight: 700; |
761 | | - font-variant: small-caps; |
762 | | - color: var(--color-theorem); |
763 | | - margin-bottom: 0.5rem; |
764 | | -} |
765 | | - |
766 | | -/* Lemma */ |
767 | | -.lemma { |
768 | | - border-left-color: var(--color-lemma); |
769 | | - background: rgba(124, 58, 237, 0.05); |
770 | | -} |
771 | | - |
772 | | -[data-theme='dark'] .lemma { |
773 | | - background: rgba(124, 58, 237, 0.15); |
774 | | -} |
775 | | - |
776 | | -.lemma-title { |
777 | | - font-weight: 700; |
778 | | - font-variant: small-caps; |
779 | | - color: var(--color-lemma); |
780 | | - margin-bottom: 0.5rem; |
781 | | -} |
782 | | - |
783 | | -/* Definition */ |
784 | | -.definition { |
785 | | - border-left-color: var(--color-definition); |
786 | | - background: rgba(107, 114, 128, 0.05); |
787 | | -} |
788 | | - |
789 | | -[data-theme='dark'] .definition { |
790 | | - background: rgba(107, 114, 128, 0.15); |
791 | | -} |
792 | | - |
793 | | -.definition-title { |
794 | | - font-weight: 700; |
795 | | - font-variant: small-caps; |
796 | | - color: var(--color-definition); |
797 | | - margin-bottom: 0.5rem; |
798 | | -} |
799 | | - |
800 | | -/* Proof */ |
801 | | -.proof { |
802 | | - border-left-color: var(--color-proof); |
803 | | - background: rgba(5, 150, 105, 0.05); |
804 | | - font-style: italic; |
805 | | -} |
806 | | - |
807 | | -[data-theme='dark'] .proof { |
808 | | - background: rgba(5, 150, 105, 0.15); |
809 | | -} |
810 | | - |
811 | | -.proof-title { |
812 | | - font-weight: 700; |
813 | | - font-style: normal; |
814 | | - color: var(--color-proof); |
815 | | - margin-bottom: 0.5rem; |
816 | | -} |
817 | | - |
818 | | -/* QED symbol */ |
819 | | -.qed { |
820 | | - float: right; |
821 | | - font-style: normal; |
822 | | -} |
823 | | - |
824 | | -.qed::after { |
825 | | - content: "□"; |
826 | | -} |
827 | | - |
828 | | -/* Corollary */ |
829 | | -.corollary { |
830 | | - border-left-color: var(--color-corollary); |
831 | | - background: rgba(8, 145, 178, 0.05); |
832 | | -} |
833 | | - |
834 | | -[data-theme='dark'] .corollary { |
835 | | - background: rgba(8, 145, 178, 0.15); |
836 | | -} |
837 | | - |
838 | | -.corollary-title { |
839 | | - font-weight: 700; |
840 | | - font-variant: small-caps; |
841 | | - color: var(--color-corollary); |
842 | | - margin-bottom: 0.5rem; |
843 | | -} |
844 | | - |
845 | | -/* Example */ |
846 | | -.example { |
847 | | - border-left-color: var(--color-example); |
848 | | - background: rgba(217, 119, 6, 0.05); |
849 | | -} |
850 | | - |
851 | | -[data-theme='dark'] .example { |
852 | | - background: rgba(217, 119, 6, 0.15); |
853 | | -} |
854 | | - |
855 | | -.example-title { |
856 | | - font-weight: 700; |
857 | | - font-variant: small-caps; |
858 | | - color: var(--color-example); |
859 | | - margin-bottom: 0.5rem; |
860 | | -} |
861 | | - |
862 | | -/* Remark */ |
863 | | -.remark { |
864 | | - border-left-color: var(--color-remark); |
865 | | - background: rgba(100, 116, 139, 0.05); |
866 | | -} |
867 | | - |
868 | | -[data-theme='dark'] .remark { |
869 | | - background: rgba(100, 116, 139, 0.15); |
870 | | -} |
871 | | - |
872 | | -.remark-title { |
873 | | - font-weight: 700; |
874 | | - font-variant: small-caps; |
875 | | - color: var(--color-remark); |
876 | | - margin-bottom: 0.5rem; |
877 | | -} |
878 | | - |
879 | | -/* ================================================================ |
880 | | - FIGURE & TABLE ACADEMIC STYLING |
881 | | - ================================================================ */ |
882 | | - |
883 | | -/* Figure styling */ |
884 | | -.academic-figure { |
885 | | - margin: 2rem 0; |
886 | | - text-align: center; |
887 | | -} |
888 | | - |
889 | | -.academic-figure img { |
890 | | - max-width: 100%; |
891 | | - border-radius: 4px; |
892 | | -} |
893 | | - |
894 | | -.academic-figure figcaption { |
895 | | - font-size: 0.9rem; |
896 | | - color: var(--ifm-font-color-secondary); |
897 | | - margin-top: 0.75rem; |
898 | | - font-style: italic; |
899 | | -} |
900 | | - |
901 | | -.academic-figure figcaption strong { |
902 | | - font-style: normal; |
903 | | - color: var(--ifm-font-color-base); |
904 | | -} |
905 | | - |
906 | | -/* Table styling */ |
907 | | -.academic-table { |
908 | | - margin: 2rem 0; |
909 | | -} |
910 | | - |
911 | | -.table-caption { |
912 | | - font-size: 0.9rem; |
913 | | - color: var(--ifm-font-color-secondary); |
914 | | - margin-bottom: 0.75rem; |
915 | | - font-style: italic; |
916 | | -} |
917 | | - |
918 | | -.table-caption strong { |
919 | | - font-style: normal; |
920 | | - color: var(--ifm-font-color-base); |
921 | | -} |
922 | | - |
923 | | -/* ================================================================ |
924 | | - PAPER METADATA STYLING |
925 | | - ================================================================ */ |
926 | | - |
927 | | -.paper-meta { |
928 | | - background: var(--ifm-background-surface-color); |
929 | | - border: 1px solid var(--ifm-table-border-color); |
930 | | - border-radius: 8px; |
931 | | - padding: 1rem 1.25rem; |
932 | | - margin: 1.5rem 0; |
933 | | - font-size: 0.9rem; |
934 | | -} |
935 | | - |
936 | | -.paper-meta p { |
937 | | - margin: 0.25rem 0; |
938 | | -} |
939 | | - |
940 | | -.paper-meta strong { |
941 | | - color: var(--ifm-font-color-base); |
942 | | -} |
943 | | - |
944 | | -/* Abstract styling */ |
945 | | -.abstract { |
946 | | - background: var(--ifm-background-surface-color); |
947 | | - border-left: 4px solid var(--ifm-color-primary); |
948 | | - padding: 1rem 1.25rem; |
949 | | - margin: 1.5rem 0; |
950 | | - border-radius: 0 8px 8px 0; |
951 | | -} |
952 | | - |
953 | | -.abstract-title { |
954 | | - font-weight: 700; |
955 | | - font-variant: small-caps; |
956 | | - margin-bottom: 0.5rem; |
957 | | - color: var(--ifm-color-primary); |
958 | | -} |
959 | | - |
960 | | -.keywords { |
961 | | - font-size: 0.85rem; |
962 | | - color: var(--ifm-font-color-secondary); |
963 | | - margin-top: 1rem; |
964 | | -} |
965 | | - |
966 | | -.keywords strong { |
967 | | - color: var(--ifm-font-color-base); |
968 | | -} |
969 | | - |
970 | | -/* ================================================================ |
971 | | - KATEX STYLING ENHANCEMENTS |
972 | | - ================================================================ */ |
973 | | - |
974 | | -/* Equation numbering */ |
975 | | -.katex-display { |
976 | | - margin: 1.5rem 0; |
977 | | -} |
978 | | - |
979 | | -/* Inline math spacing */ |
980 | | -.katex { |
981 | | - font-size: 1.05em; |
982 | | -} |
983 | | - |
984 | | -/* Equation block styling */ |
985 | | -.math-display { |
986 | | - overflow-x: auto; |
987 | | - padding: 1rem; |
988 | | - background: var(--ifm-background-surface-color); |
989 | | - border-radius: 4px; |
990 | | - margin: 1rem 0; |
991 | | -} |
992 | | - |
993 | | -/* ================================================================ |
994 | | - TYPOGRAPHY ENHANCEMENTS |
995 | | - ================================================================ */ |
996 | | - |
997 | | -/* Better heading spacing for academic feel */ |
998 | | -article h1 { |
999 | | - font-family: var(--ifm-heading-font-family); |
1000 | | - margin-top: 2rem; |
1001 | | - margin-bottom: 1rem; |
1002 | | -} |
1003 | | - |
1004 | | -article h2 { |
1005 | | - font-family: var(--ifm-heading-font-family); |
1006 | | - margin-top: 1.75rem; |
1007 | | - margin-bottom: 0.75rem; |
1008 | | - border-bottom: 1px solid var(--ifm-toc-border-color); |
1009 | | - padding-bottom: 0.5rem; |
1010 | | -} |
1011 | | - |
1012 | | -article h3 { |
1013 | | - font-family: var(--ifm-heading-font-family); |
1014 | | - margin-top: 1.5rem; |
1015 | | - margin-bottom: 0.5rem; |
1016 | | -} |
1017 | | - |
1018 | | -/* Better paragraph spacing */ |
1019 | | -article p { |
1020 | | - line-height: 1.7; |
1021 | | - margin-bottom: 1.25rem; |
1022 | | -} |
1023 | | - |
1024 | | -/* Better list spacing */ |
1025 | | -article ul, |
1026 | | -article ol { |
1027 | | - line-height: 1.7; |
1028 | | - margin-bottom: 1.25rem; |
1029 | | -} |
1030 | | - |
1031 | | -article li { |
1032 | | - margin-bottom: 0.5rem; |
1033 | | -} |
0 commit comments