/* Global page chrome. These used to be injected into at runtime by headScripts.js (renderCommonStyles); they live here now so they are static and cached, and the page does not flash unstyled while a module script runs after the document has already parsed. */ html, body { height: 100%; background-color: #f5f5f5; /* Light grey background */ font-family: "source-sans-pro", sans-serif !important; font-weight: 400; font-style: normal; } .icon { margin-right: 5px; } .main-content { display: flex; flex-direction: column; padding-top: 1.5rem; /* Add some space below navbar */ padding-bottom: 1.5rem; /* Add some space above footer */ min-height: 85vh; } h3 { font-family: "source-sans-pro", sans-serif !important; font-weight: 700; font-style: normal; } .button{ border-radius: 5px; padding: 0.5em 1em; } .button.is-primary { background-color: #1E88E5 !important; /* !important should be used sparingly */ color: white !important; } .button.is-primary:hover { background-color: #2196F3 !important; } .button.is-link { background-color: #5E35B1 !important; /* !important should be used sparingly */ color: white !important; } .button.is-link:hover { background-color: #673AB7 !important; } .button.is-danger { background-color: #E53935 !important; /* !important should be used sparingly */ color: white !important; } .button.is-danger:hover { background-color: #F44336 !important; }