Code for the littler Buttons the Computer used in the Turing Machine portion of the book.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
buttons-computer/static/css/spectre-exp.min.css

1 line
23 KiB

/*! Spectre.css Experimentals v0.5.8 | MIT License | github.com/picturepan2/spectre */.form-autocomplete{position:relative}.form-autocomplete .form-autocomplete-input{display:flex;height:auto;min-height:1.7rem;padding:.2rem;align-content:flex-start;flex-wrap:wrap}.form-autocomplete .form-autocomplete-input.is-focused{border-color:#1f314d;box-shadow:0 0 0 .1rem rgba(31,49,77,.2)}.form-autocomplete .form-autocomplete-input .form-input{line-height:.9rem;display:inline-block;width:auto;height:1.3rem;margin:.2rem;border-color:transparent;box-shadow:none;flex:1 0 auto}.form-autocomplete .menu{position:absolute;top:100%;left:0;width:100%}.form-autocomplete.autocomplete-oneline .form-autocomplete-input{overflow-x:auto;flex-wrap:nowrap}.form-autocomplete.autocomplete-oneline .chip{flex:1 0 auto}.calendar{display:block;min-width:280px;border:.1rem solid #bacae3;border-radius:.2rem}.calendar .calendar-nav{font-size:1.1rem;display:flex;padding:.5rem;border-top-left-radius:.2rem;border-top-right-radius:.2rem;background:#e9eef6;align-items:center}.calendar .calendar-body,.calendar .calendar-header{display:flex;padding:.5rem 0;flex-wrap:wrap;justify-content:center}.calendar .calendar-body .calendar-date,.calendar .calendar-header .calendar-date{max-width:14.28%;flex:0 0 14.28%}.calendar .calendar-header{font-size:.9rem;text-align:center;color:#a7bddc;border-bottom:.1rem solid #bacae3;background:#e9eef6}.calendar .calendar-body{color:#436ba8}.calendar .calendar-date{padding:.3rem;border:0}.calendar .calendar-date .date-item{font-size:.9rem;line-height:1.1rem;position:relative;width:1.5rem;height:1.5rem;padding:.2rem;cursor:pointer;transition:background .2s,border .2s,box-shadow .2s,color .2s;text-align:center;vertical-align:middle;white-space:nowrap;text-decoration:none;color:#436ba8;border:.1rem solid transparent;border-radius:50%;outline:0;background:0 0;-webkit-appearance:none;-moz-appearance:none;appearance:none}.calendar .calendar-date .date-item.date-today{color:#1f314d;border-color:#3f4e5f}.calendar .calendar-date .date-item:focus{box-shadow:0 0 0 .1rem rgba(31,49,77,.2)}.calendar .calendar-date .date-item:focus,.calendar .calendar-date .date-item:hover{text-decoration:none;color:#1f314d;border-color:#3f4e5f;background:#c1c1cd}.calendar .calendar-date .date-item.active,.calendar .calendar-date .date-item:active{color:#f8f9f6;border-color:#0c090b;background:#1a1419}.calendar .calendar-date .date-item.badge::after{position:absolute;top:3px;right:3px;transform:translate(50%,-50%)}.calendar .calendar-date .calendar-event.disabled,.calendar .calendar-date .calendar-event:disabled,.calendar .calendar-date .date-item.disabled,.calendar .calendar-date .date-item:disabled{cursor:default;pointer-events:none;opacity:.25}.calendar .calendar-date.next-month .calendar-event,.calendar .calendar-date.next-month .date-item,.calendar .calendar-date.prev-month .calendar-event,.calendar .calendar-date.prev-month .date-item{opacity:.25}.calendar .calendar-range{position:relative}.calendar .calendar-range::before{position:absolute;top:50%;right:0;left:0;height:1.5rem;content:'';transform:translateY(-50%);background:#999fa8}.calendar .calendar-range.range-start::before{left:50%}.calendar .calendar-range.range-end::before{right:50%}.calendar .calendar-range.range-end .date-item,.calendar .calendar-range.range-start .date-item{color:#f8f9f6;border-color:#0c090b;background:#1a1419}.calendar .calendar-range .date-item{color:#1f314d}.calendar.calendar-lg .calendar-body{padding:0}.calendar.calendar-lg .calendar-body .calendar-date{display:flex;flex-direction:column;height:5.5rem;padding:0;border-right:.1rem solid #bacae3;border-bottom:.1rem solid #bacae3}.calendar.calendar-lg .calendar-body .calendar-date:nth-child(7n){border-right:0}.calendar.calendar-lg .calendar-body .calendar-date:nth-last-child(-n+7){border-bottom:0}.calendar.calendar-lg .date-item{height:1.5rem;margin-top:.3rem;margin-right:.3rem;align-self:flex-end}.calendar.calendar-lg .calendar-range::before{top:19px}.calendar.calendar-lg .calendar-range.range-start::before{left:auto;width:19px}.ca