@@ -21,99 +21,99 @@ $mermaid-edge-color: rgb(139, 139, 139);
2121
2222/* Wrap Python output so it looks nicer */
2323.cell-output pre code {
24- white-space : pre-wrap ;
24+ white-space : pre-wrap ;
2525}
2626
2727.navbar {
28- border-bottom : rgba ($toc-active-border , 0.3 ) 1px solid ;
28+ border-bottom : rgba ($toc-active-border , 0.3 ) 1px solid ;
2929}
3030
3131svg {
32- display : block ;
33- max-width : 100% ;
34- margin : 0 auto ;
35- height : auto !important ;
36- width : auto !important ;
32+ display : block ;
33+ max-width : 100% ;
34+ margin : 0 auto ;
35+ height : auto !important ;
36+ width : auto !important ;
3737}
3838
3939li {
40- margin : 5px 0 ;
40+ margin : 5px 0 ;
4141}
4242
4343figcaption {
44- text-align : center ;
44+ text-align : center ;
4545}
4646
4747.about-link {
48- border : 2px solid $tertiary !important ;
49- border-radius : 50px !important ;
50- color : $primary !important ;
51- font-size : 20px !important ;
52- font-weight : bold ;
53- padding : 5px 15px !important ;
48+ border : 2px solid $tertiary !important ;
49+ border-radius : 50px !important ;
50+ color : $primary !important ;
51+ font-size : 20px !important ;
52+ font-weight : bold ;
53+ padding : 5px 15px !important ;
5454}
5555
5656.about-link :hover {
57- background-color : $tertiary !important ;
58- color : white !important ;
57+ background-color : $tertiary !important ;
58+ color : white !important ;
5959}
6060
6161.about-links {
62- justify-content : left !important ;
63- padding : 10px 0px 0px 0px !important ;
62+ justify-content : left !important ;
63+ padding : 10px 0px 0px 0px !important ;
6464}
6565
6666.landing-page-block {
67- padding-top : 10px ;
68- padding-bottom : 10px ;
69- margin-left : 30px ;
70- margin-right : 30px ;
67+ padding-top : 10px ;
68+ padding-bottom : 10px ;
69+ margin-left : 30px ;
70+ margin-right : 30px ;
7171}
7272
7373@media (min-width : 900px ) {
74- .landing-page-block {
75- margin-left : 50px ;
76- margin-right : 50px ;
77- }
74+ .landing-page-block {
75+ margin-left : 50px ;
76+ margin-right : 50px ;
77+ }
7878}
7979
8080@media (min-width : 1200px ) {
81- .landing-page-block {
82- max-width : 900px ;
83- margin-left : auto ;
84- margin-right : auto ;
85- }
81+ .landing-page-block {
82+ max-width : 900px ;
83+ margin-left : auto ;
84+ margin-right : auto ;
85+ }
8686}
8787
8888.hero-banner {
89- position : relative ;
90- background : rgba ($secondary , 0.5 );
91- display : flex ;
92- justify-content : center ;
93- padding-bottom : 30px ;
89+ position : relative ;
90+ background : rgba ($secondary , 0.5 );
91+ display : flex ;
92+ justify-content : center ;
93+ padding-bottom : 30px ;
9494}
9595
9696.hero-banner .landing-page-block {
97- display : flex ;
98- flex-direction : row ;
97+ display : flex ;
98+ flex-direction : row ;
9999}
100100
101101.hero-text >h2 ,
102102.landing-page-block >h2 {
103- margin-top : 0.5rem ;
104- border-bottom : none ;
103+ margin-top : 0.5rem ;
104+ border-bottom : none ;
105105}
106106
107107.landing-page-card {
108- border-radius : 12px ;
109- box-shadow : 0px 2px 4px rgba (0 , 0 , 0 , 0.15 );
110- background-color : rgba ($secondary , 0.3 );
111- border : none ;
112- padding : 5px 20px 10px 20px ;
113- margin-bottom : 40px ;
114- justify-content : start !important ;
108+ border-radius : 12px ;
109+ box-shadow : 0px 2px 4px rgba (0 , 0 , 0 , 0.15 );
110+ background-color : rgba ($secondary , 0.3 );
111+ border : none ;
112+ padding : 5px 20px 10px 20px ;
113+ margin-bottom : 40px ;
114+ justify-content : start !important ;
115115}
116116
117117.navbar-logo {
118- max-height : 38px ;
118+ max-height : 38px ;
119119}
0 commit comments