@import url(https://fonts.googleapis.com/css2?family=M+PLUS+Rounded+1c:wght@300&family=Rubik&display=swap);html{min-height:100%;position:relative}body{font-family:Rubik,sans-serif!important;margin-bottom:60px}.navbar{margin-bottom:20px}.footer{bottom:0;height:60px;line-height:60px;position:absolute;width:100%}.footer a{color:blue}@media (max-width:550px){.table td,.table th{padding:.35rem}}@media (max-width:800px){.table-inference{font-size:20px!important}}.nobr{white-space:nowrap}.card{margin:10px 0}.addthis_inline_share_toolbox{padding:10px 0}.g-recaptcha>div{margin:0 0 0 auto}.auth-buttons a{color:#7d8286!important;text-decoration:none}.auth-buttons a.active{color:#353738!important}.auth-buttons a.active,.auth-buttons a:hover{text-decoration:underline}.auth-google:before{background:url(/build/images/google.4d76566a.svg) no-repeat}.auth-facebook:before,.auth-google:before{content:" ";display:block;height:40px;margin-top:-5px;position:absolute;width:40px}.auth-facebook:before{background:url(/build/images/facebook.b9223f42.svg) no-repeat}.expressions>div{padding-left:15px}.expressions>div>input:first-child{max-width:300px}.expressions>div:last-child{margin-top:22px}.expressions>div:last-child:before{background-image:url(/build/images/logo-proof-32x32.9a3fd733.png);background-position-y:center;background-repeat:no-repeat;background-size:20px 20px;content:"\00a0 \00a0 \00a0 \00a0";font-size:25px;font-weight:700;height:-webkit-fill-available;height:available;left:-8px;position:absolute;white-space:pre}.expressions>div:last-child:after{border-bottom:2px solid #000;content:"";left:0;position:absolute;right:0;top:-10px}.table-fixed{table-layout:fixed}.table-inference{font-size:40px}.table-inference td{text-align:left}.table-inference table tr:last-child td{border-top:2px solid #000}.table-inference td{vertical-align:middle}.table-inference .alert{font-weight:400;margin-bottom:inherit}.w-1{width:1%}.w-10{width:10%}td,th{text-align:center}.btn.operator:hover{color:#fff}.calc-btn,.variable-btn{font-weight:inherit!important;height:40px;margin:4px;width:40px}.calc-row-button{margin-left:-6px}@media (max-width:800px){.calc-btn,.variable-btn{margin:2px}}.votecell{align-items:center;display:flex;flex-direction:column;height:100%;justify-content:center}#proof_vote_level{margin:15px}.container-fluid>h1{color:#000}@media (max-width:799px){body:after{background:initial}}@media (min-width:800px){.alert-light.main,.example-proof{margin:0 auto 70px;max-width:70%}.alert-light.main{padding-bottom:20px;padding-top:20px}}.operator{color:#ff6e07;font-weight:700}.operator,.operator-font{font-family:M PLUS Rounded\ 1c,serif}