:focus {
    outline: 0
}

::-moz-focus-inner {
    border: 0
}

div,div:focus,div:active,div:hover,button,button:focus,button:active,button:hover {
    -webkit-appearance: none;
    -moz-appearance: none;
    appearance: none;
    outline: 0;
    border: 0
}

button {
    margin: 0;
    border: 0;
    padding: 0;
    color: White;
    font-family: sans-serif;
    font-size: 91%;
    background: 0 0
}

button,.clickable {
    cursor: pointer
}

svg {
    shape-rendering: geometricPrecision
}

div {
    overflow: hidden
}

a,a:focus,a:active,a:hover {
    text-decoration: none;
    color: White
}

#scrolling {
    overflow-y: scroll;
    -ms-overflow-style: none;
    -webkit-overflow-scrolling: touch
}

ol,ul {
    list-style-type: none;
    margin: 0;
    border: 0;
    padding: 0
}

li {
    position: relative;
    padding: 4px 8px
}

body {
    width: 100%;
    height: 100%;
    overflow: hidden;
    margin: 0;
    border: 0;
    padding: 0;
    background: LightSlateGrey;
    color: White;
    font-family: serif;
    font-size: 110%;
    -webkit-tap-highlight-color: transparent;
    -webkit-user-select: none;
    -webkit-touch-callout: none;
    touch-action: manipulation
}

div.grow {
    flex-grow: 1
}

div.grow-2 {
    flex-grow: 2
}

button.li-fill {
    width: 100%;
    min-height: 48px;
    display: flex;
    align-items: stretch
}

li.listing-problem-item {
    display: flex
}

div.listing-tombstone {
    width: 28px;
    flex-shrink: 0;
    display: flex;
    justify-content: center;
    align-items: center
}

div.listing-description {
    width: 100%;
    padding: 6px 4px
}

div.listing-intro-item {
    padding-top: 36px;
    padding-bottom: 8px;
    text-align: center;
    font-size: 91%
}

div.listing-about-item {
    padding-top: 24px;
    padding-bottom: 48px;
    text-align: center;
    font-size: 91%
}

div.content-frame {
    position: absolute;
    width: 100%;
    height: 100%;
    display: flex;
    justify-content: center;
    align-items: center;
    align-content: center
}

@media screen and (min-width: 512px) {
    div.content-frame {
        left:16.66666%;
        top: 16.66666%;
        width: 66.66666%;
        height: 66.66666%;
        transform: scale(1.5)
    }
}

div.content-body {
    position: relative;
    flex-grow: 0;
    flex-shrink: 1;
    width: 100%;
    height: 100%;
    max-width: 512px;
    background: #264040;
    display: flex;
    flex-direction: column;
    flex-wrap: nowrap;
    justify-content: center
}

div.intro-title {
    text-align: center;
    font-size: 150%
}

div.intro-sub {
    margin-top: 8px;
    text-align: center;
    font-size: 80%
}

div.intro-par {
    margin: 48px 24px 0;
    font-size: 75%
}

div.intro-view {
    margin-top: 48px;
    font-size: 85%;
    text-align: center
}

button.intro-button {
    margin-top: 48px;
    align-self: center;
    border: solid 1px White;
    padding: 6px 8px;
    border-radius: 6px
}

div.introduction-box {
    flex-grow: 1
}

div.introduction-contents {
    padding: 16px 24px 24px
}

div.about-box {
    text-align: center
}

div.about-title {
    font-size: 150%
}

div.about-subtitle {
    margin-top: 8px;
    font-size: 80%
}

div.about-version {
    margin-top: 12px;
    font-size: 86%
}

div.about-created {
    margin-top: 48px;
    font-size: 109%
}

div.about-email {
    margin-top: 12px;
    font-size: 86%
}

div.about-copyright {
    text-align: center;
    font-size: 65%;
    margin-bottom: 32px
}

div.proof {
    height: 100%;
    overflow-x: scroll
}

div.proof-body {
    width: max-content;
    width: -webkit-max-content;
    padding: 0 8px
}

div.proof-description {
    padding: 8px 8px 16px
}

div.proof-antecedents {
    padding: 4px 8px
}

div.proof-type {
    padding: 4px 8px 24px
}

ol.proof-list {
    width: max-content;
    width: -webkit-max-content
}

li.proof-step {
    width: max-content;
    width: -webkit-max-content;
    min-height: 24px;
    display: flex;
    align-items: center
}

div.proof-start {
    box-sizing: border-box;
    width: 48px;
    padding-left: 4px;
    flex-shrink: 0;
    font-size: 80%;
    text-align: left
}

div.proof-numbering {
    box-sizing: border-box;
    width: 48px;
    padding-right: 20px;
    flex-shrink: 0;
    font-size: 80%;
    text-align: center
}

div.proof-tombstone {
    box-sizing: border-box;
    width: 56px;
    padding: 16px 20px;
    display: flex;
    justify-content: center;
    align-items: center
}

div.proof-formula {
    padding-right: 20px;
    flex-shrink: 0
}

div.proof-rule {
    width: max-content;
    width: -webkit-max-content;
    white-space: nowrap
}

div.main-formula {
    height: 48px;
    padding-top: 4px;
    flex-shrink: 0;
    display: flex;
    flex-direction: column;
    align-items: center;
    justify-content: center
}

div.goal-formula {
    height: 48px;
    flex-shrink: 0;
    display: flex;
    flex-direction: column;
    align-items: center;
    justify-content: center
}

li.scratch-item-2 {
    position: relative;
    padding: 0
}

li.selected {
    background: #1a2c2c
}

div.scratch-item-body {
    padding: 12px 24px
}

button.scratch-remove-button {
    position: absolute;
    top: 0;
    bottom: 0;
    right: 0;
    width: 48px;
    display: flex;
    justify-content: center;
    align-items: center
}

div.navigation {
    height: 48px;
    flex-shrink: 0;
    display: flex;
    justify-content: center
}

.time-arrow-size {
    visibility: hidden;
    flex-basis: 0;
    height: 48px;
    flex-grow: 1
}

.time-arrow-size svg {
    position: relative;
    right: 12px
}

button.fab {
    width: 72px;
    height: 48px;
    flex-shrink: 0
}

.panel-title {
    height: 32px;
    padding-bottom: 16px;
    flex-shrink: 0;
    display: flex;
    justify-content: space-between;
    flex-wrap: nowrap;
    padding-right: 12px
}

.up-down-arrows {
    width: 16px;
    height: 16px
}

button.panel-title-button {
    padding: 0 12px;
    display: flex;
    align-items: center;
    align-content: center;
    flex-shrink: 0
}

div.panel-title-text {
    margin-left: 8px
}

button.panel-button {
    padding: 0 12px;
    flex-shrink: 1;
    overflow: hidden
}

button.panel-button:disabled {
    color: LightSlateGrey
}

div.dialog-command {
    height: 72px;
    padding-bottom: 12px;
    flex-shrink: 0;
    display: flex;
    justify-content: center;
    align-items: center;
    align-content: center
}

div.dialog-control {
    height: 64px;
    flex-shrink: 0;
    display: flex;
    justify-content: center
}

button.circle-button-2 {
    width: 56px;
    height: 56px;
    margin: 4px;
    border-radius: 50%
}

button.circle-button-2.selected {
    background: #1a2c2c
}

div.panel-body {
    flex-grow: 1;
    padding-bottom: 12px
}

div.number-pad {
    flex-grow: 1;
    padding-bottom: 12px;
    display: flex;
    flex-direction: column;
    align-items: center;
    justify-content: flex-start
}

div.number-pad-row {
    height: 64px;
    flex-grow: 0;
    flex-shrink: 0
}

div.notes-panel-body {
    flex-grow: 1;
    padding: 0 12px
}

ul.top-list,ol.top-list {
    flex-grow: 1;
    padding-top: 12px
}

div.bottom-list,ul.bottom-list,ol.bottom-list {
    flex-grow: 1;
    padding-bottom: 12px
}

ul.full-list,ol.full-list {
    flex-grow: 1;
    padding: 12px 0
}

button.basic {
    margin: 4px;
    padding: 6px;
    min-width: 40px;
    min-height: 40px
}

button.basic:disabled {
    color: LightSlateGrey
}

div.top-title {
    padding-bottom: 6px;
    font-family: sans-serif;
    font-size: 67%
}

li.term-item {
    padding: 6px 24px
}

li.term-item-formula {
    position: absolute;
    top: -6px;
    right: -24px;
    bottom: -6px;
    left: -24px
}

li.item-text {
    font-style: oblique;
    min-height: 34px;
    padding-left: 24px;
    padding-right: 24px;
    display: flex;
    align-items: center
}

li.rule-item {
    padding: 12px 24px;
    background: #264040
}

div.rule-name {
    margin-bottom: 6px;
    font-size: 91%
}

span.flipped {
    font-size: 78%;
    color: #b0b0b0;
    margin-left: 12px
}

div.rule-svg {
    min-height: 32px;
    display: flex;
    align-items: center
}

div.left-svg-box {
    min-height: 34px;
    display: flex;
    align-items: center
}

div.center-svg-box {
    min-height: 34px;
    display: flex;
    align-items: center;
    justify-content: center
}

li.history-item {
    padding: 12px 24px 6px 0;
    min-height: 32px
}

span.history-gutter {
    display: inline-block;
    width: 56px;
    text-align: center
}

div.history-text {
    font-size: 80%;
    margin-bottom: 12px
}

div.history-formula {
    padding: 0 12px 0 56px
}

.nav-bar {
    height: 48px;
    flex-shrink: 0;
    display: flex;
    justify-content: space-between;
    align-items: center
}

button.nav-bar-button {
    height: 48px;
    width: 48px
}

div.popup-background {
    position: absolute;
    top: 0;
    left: 0;
    width: 100%;
    height: 100%
}

div.popup {
    background: DarkSlateGrey;
    background: #264040;
    border: 1px solid White;
    box-shadow: 0 0 12px 0 Grey;
    position: absolute
}

div.panel-popup {
    top: 121px;
    left: 22px;
    padding: 11px 0
}

div.settings-popup {
    top: 22px;
    right: 22px;
    padding: 11px 0
}

li.panel-select-item {
    padding: 0
}

button.panel-select-button {
    text-align: left;
    padding: 11px 22px;
    width: 100%
}

button.panel-select-button:disabled {
    color: LightSlateGrey
}

div.reset-popup {
    top: 100px;
    left: calc(50% - 125px);
    width: 250px
}

div.reset-popup-text {
    margin: 22px
}

div.reset-popup-buttons {
    margin: 22px 10px 22px 22px;
    display: flex;
    justify-content: flex-end
}

div.copy-popup {
    top: 100px;
    left: calc(50% - 100px);
    width: 200px
}

div.copy-popup-text {
    margin: 22px
}

div.copy-popup-buttons {
    margin: 22px 10px 22px 22px;
    display: flex;
    justify-content: flex-end
}

svg.center-formula {
    height: 48px;
    width: 100%;
    transform: scale(1,-1)
}

p {
    line-height: 1.25
}

p.center-text {
    text-align: center
}

p:first-of-type {
    margin-top: 0
}

div.listing-problem-text {
    font-size: 67%;
    color: #cfcfcf
}

div.listing-title-text {
}

@media(max-device-width: 480px) {
    div.intro-view {
        display:none
    }
}

@media screen and (max-device-width: 480px) and (orientation:landscape) {
    div.content-body {
        max-width:unset
    }

    .landscape-hide {
        display: none
    }
}

div.formula-svg-box {
    height: 48px;
    width: 100%
}

.invisible {
    visibility: hidden
}

.hidden {
    visibility: hidden
}

div.gone {
    display: none
}

.sans {
    font-family: sans-serif
}

/*
     FILE ARCHIVED ON 22:29:59 Jun 27, 2018 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 21:28:02 Mar 22, 2024.
     JAVASCRIPT APPENDED BY WAYBACK MACHINE, COPYRIGHT INTERNET ARCHIVE.

     ALL OTHER CONTENT MAY ALSO BE PROTECTED BY COPYRIGHT (17 U.S.C.
     SECTION 108(a)(3)).
*/
/*
playback timings (ms):
  exclusion.robots: 0.083
  exclusion.robots.policy: 0.068
  cdx.remote: 0.182
  esindex: 0.02
  LoadShardBlock: 364.5 (6)
  PetaboxLoader3.datanode: 283.618 (7)
  load_resource: 149.505
  PetaboxLoader3.resolve: 100.488
*/