footer{padding-top:1.2em;padding-bottom:1.2em;background-color:var(--background-light-color)}@keyframes spinner{0%{transform:rotate(0)}to{transform:rotate(360deg)}}.spinner-container{display:grid;justify-content:center;align-items:center;height:350px}.spinner-container .loading-spinner{width:50px;height:50px;border:10px solid #f3f3f3;border-top:10px solid #b11a43;border-radius:50%;animation:spinner 1.5s linear infinite}:root{--hyperlink-color: #646cff;--background-light-color: #f0f0f0;--section-color: #067d06;--definition-color: #206f8e;--theorem-color: #004C00;--example-color: #71279c;--tip-color: #BFAF5F;--warning-color: #990000;--notation-color: #E6B8B8;--prerequisites-color: #e8e3e3;--acknowledgements-color: #f7e5c1}html,body{font-family:Inter,system-ui,Avenir,Helvetica,Arial,sans-serif;font-weight:400;font-size:medium;color-scheme:light dark;color:#000;background-color:#fff;font-synthesis:none;text-rendering:optimizeLegibility;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale;height:100%;width:100%;margin:0;padding:0}.main-content{display:flex;flex-direction:column;align-items:center;justify-content:center;height:100%;width:100%}a{font-weight:500;color:var(--hyperlink-color);text-decoration:inherit}a:hover{color:var(--hyperlink-color)}