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.
|
|
|
|
/*! 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.6rem;padding:.1rem;align-content:flex-start;flex-wrap:wrap}.form-autocomplete .form-autocomplete-input.is-focused{border-color:#444;box-shadow:0 0 0 .1rem rgba(68,68,68,.2)}.form-autocomplete .form-autocomplete-input .form-input{line-height:.8rem;display:inline-block;width:auto;height:1.2rem;margin:.1rem;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:.05rem solid #f7fff7;border-radius:.1rem}.calendar .calendar-nav{font-size:1.9rem;display:flex;padding:.4rem;border-top-left-radius:.1rem;border-top-right-radius:.1rem;background:#000;align-items:center}.calendar .calendar-body,.calendar .calendar-header{display:flex;padding:.4rem 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:#444;border-bottom:.05rem solid #f7fff7;background:#000}.calendar .calendar-body{color:#2b2a2a}.calendar .calendar-date{padding:.2rem;border:0}.calendar .calendar-date .date-item{font-size:.9rem;line-height:1rem;position:relative;width:1.4rem;height:1.4rem;padding:.1rem;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:#2b2a2a;border:.05rem 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:#444;border-color:#d00000}.calendar .calendar-date .date-item:focus{box-shadow:0 0 0 .1rem rgba(68,68,68,.2)}.calendar .calendar-date .date-item:focus,.calendar .calendar-date .date-item:hover{text-decoration:none;color:#444;border-color:#d00000;background:#ff3737}.calendar .calendar-date .date-item.active,.calendar .calendar-date .date-item:active{color:#eee;border-color:#303030;background:#3c3c3c}.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.4rem;content:'';transform:translateY(-50%);background:#ff0404}.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:#eee;border-color:#303030;background:#3c3c3c}.calendar .calendar-range .date-item{color:#444}.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:.05rem solid #f7fff7;border-bottom:.05rem solid #f7fff7}.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.4rem;margin-top:.2rem;margin-right:.2rem;align-self:flex-end}.calendar.calendar-lg .calendar-range::before{top:19px}.calendar.calendar-lg .calendar-range.range-start::before{left:auto;width:19px}.calendar.calendar-lg .cale
|
