Something went wrong. Try again.
the next generation of the in-browser educational proof assistant
Something went wrong. Try again.
15 kB · 733 lines
CSS
at main
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733@font-face {font-family: 'Neo Euler Medium';font-style: normal;font-weight: normal;src: local('Neo Euler Medium'), url('/euler.woff') format('woff');}.inline-rule { font-family:'Neo Euler Medium';}:root { --link-col: #0000cc; --link-hover-col: #aa00cc; --link-active-col: #0000cc; --jump-hl-col: #ffee88; --gutter-hl-col: #ffee88; --editor-border-col: #0000aa; --editor-bg-col: #eeeeff; --faint-line-col: #eeeeee; --tab-border-col: #cccccc; --tab-fg-col: #666666; --tab-active-fg-col: #333333; --bg-col: white; --fg-col: black; --icon-teal-col: #0091aa; --icon-blue-col: #0000cc; --icon-red-col: #c30303; --icon-grey-col: #666666; --icon-active-col: #aa00cc; --icon-hover-col: #aa00cc; --editable-hover-col: #ccccff; --apply-option-hover-border-col: #cc00ff; --apply-option-hover-bg-col: #faeffa; --inactive-option-hover-border-col: #0091aa; --inactive-option-hover-bg-col: #d7f4f9; --apply-option-border-col: #0000cc; --apply-option-bg-col: #efeffa; --rule-binder-col: #006600; --rule-name-local-col: #0000aa; --metavar-col: #00aa00; --metavar-unnamed-col: #ff0000; --schematic-col: gray; --constructor-col: slategray; --bound-col: #9343a7; --placeholder-fg-col: #aaa; --symbol-col: #990000; --symbol-nat-col: #ffaa00; --item-inserting-col: #aa00cc; --sidebar-header-col: #c9c9d8; --error-bg-col: #ffaaaa; --logo-col: #c9dec9; --axioms-notwellformed-col: #ffeecc; --index-unsolved-col: #ffaa00; --index-solved-col: #00aa66; --index-bullet-col: #666666; --logo-shadow-col: #666; --sidebar-insert-bg-col: #eeeeff; --sidebar-insert-hover-bg-col: #ffeeff; --sidebar-text-col: #000; --rule-name-elim-col: #0091aa; --rule-name-rewrite-col: #5500aa; --scrollbar-col: #eee; --scrollbar-hover-col: #dfdfdf;}.inline-rule { white-space:nowrap;}.proof-goal:focused { border: 1px dashed black;}.axiom { display:inline-block; margin-bottom:5px; margin-top:5px; vertical-align: bottom; white-space:nowrap;}.axiom-set { white-space:normal; line-height:1.00;}.axiom-set .axiom { margin-left:15px;}.inline-rule > span > div { display:inline-block;}.axiom-set-Linear > .inline-rule { display:block; margin-top:5px; margin-bottom:5px;}.inline-rule > .rule-rulename:not(:empty) { margin-right:5px;}.inline-rule > .rule-rulename:not(:empty):after { content: ': ';}/* BUTTONS */.button-icon { padding: 0; background: transparent; /* var(--bg-col); */ border: 0px; font-size: 16px; cursor: pointer;}.button-icon-teal { color: var(--icon-teal-col);}.button-icon-blue { color: var(--icon-blue-col);}.button-icon-red { color: var(--icon-red-col);}.button-icon-grey { color: var(--icon-grey-col);}.button-icon-active { color: var(--icon-active-col);}.button-icon:hover { color: var(--icon-hover-col);}.button-icon-insert { right: 0; position: absolute; bottom: -0.54em; z-index: 10000;}.button-icon-addbinder { font-size: small;}.button-icon-addpremise { margin-bottom: 2px;}.button-icon-goal { display: inline-block; margin-bottom: 2px; font-size: 20px;}.editable { color: var(--fg-col); background: var(--bg-col); border: none; cursor: text; border-radius: 4px; padding: 0px;}.editable:hover { background: var(--editable-hover-col);}.rule-cell { font-family: "Neo Euler Medium"; vertical-align: bottom; text-align: center;}.rule-conclusion { border-top: 1px solid var(--fg-col); padding-top: 2px;}.rule-hypothetical-conclusion {}.rule-premise { padding-left: 6px; padding-right: 6px; padding-bottom: 2px;}.rule-binderbox { padding-left: 2px; padding-right: 2px;}.rule-rulebox { padding-bottom: 0.8em; padding-left: 2px; padding-right: 2px;}.rule-spacer { height: 1em;}.rule-binders { font-family:'Neo Euler Medium'; padding-right: 4px;}.rule-binder { color: var(--rule-binder-col); font-size: small; padding-right: 1px;}.rule-rulename { font-family: "Neo Euler Medium"; font-size: small;}.rule-rulename > div > input { font-family: "Neo Euler Medium"; font-size: small;}.rule-rulename-cases { font-family: "Neo Euler Medium"; font-size: small;}
.rule-rulename-keyword { font-family: "Computer Modern Sans"; font-size: small;}.rule-rulename-global { font-family: "Computer Modern Concrete"; font-variant: small-caps;}.rule-rulename-local { font-family: "Neo Euler Medium"; color: var(--rule-name-local-col);}.rule-rulename-rewrite { color: var(--rule-name-rewrite-col);}.rule-rulename-elim { color: var(--rule-name-elim-col);}/* TERMS */.term-metavar { color: var(--metavar-col);}.term-metavar-unnamed { color: var(--metavar-unnamed-col);}.term-schematic { color: var(--schematic-col); font-style: italic; padding-right: 4px;}.term-schematic-telescope { font-size:xx-small; vertical-align: sub;}.term-binder { color: var(--bound-col); font-size: small; padding-right: 4px;}.term-boundvar { color: var(--bound-col);}.term-symbol { font-family: "Computer Modern Sans";}.term-constructor { font-family: "Computer Modern Sans"; color: var(--constructor-col); font-weight:bold;}.term-constructor::first-letter { font-size: 0;}.placeholder { color: var(--placeholder-fg-col);}.term-lambda-punct { color: var(--symbol-col);}/* SYMBOLS */.symbol { color: var(--symbol-col);}.symbol-nat { color: var(--symbol-nat-col)}.symbol-prelude { color: var(--symbol-prelude-col)}.symbol-turnstile { padding-left: 6px; padding-right: 6px; color: var(--symbol-col); font-weight:bold;}.symbol-comma { padding-left: 2px; padding-right: 4px; color: var(--symbol-col); font-weight:bold; }.proof-summary-node > .proof-goal { display:inline-block;}.symbol-mini { font-size: x-small; font-style: normal;}.editor-textArea { width:100%; height:10em; font-family:monospace;}.inference {margin-bottom:0px;border-spacing:0px;line-height:1.00;text-wrap-mode:nowrap;}.axiom-set-Linear > .inline-rule {display:block;}.proof-assumptions { margin:0px; padding-bottom:0px; list-style-type:none; padding-inline-start:32px;}.proof-judgement { font-family: "Neo Euler Medium";}.proof-ruleName { font-family: "Neo Euler Medium";}.proof-assumptions-Hybrid > li { display: inline-block; margin-left:10px;}.proof-tree { padding:10px;}.proof-assumptions-Gentzen > li { display: inline-block; margin-left:10px;}.axiom-set-Linear > section > details > .inline-rule { display:block;}.proof-text { font-style:italic;}.subgoals { list-style-type: none; padding-inline-start: 20px; margin: 0;}.subgoals > li { margin-bottom:5px;}
.proof-denest > .proof-step { padding-left: 0px; padding-right: 0px; padding-bottom: 0px; margin-bottom: 0px; border-radius: 0px; border: 0;}.proof-denest { border-top: 1px solid rgba(1, 1, 1, 0.2);}.proof-step { overflow-x:scroll; overflow-y: clip; padding-left: 5px; padding-right: 5px; padding-bottom:5px; margin-bottom: 5px; border-radius: 5px; border: 1px solid rgba(1, 1, 1, 0.2); position:relative; box-sizing: border-box;}
.error-box { position: absolute; background: rgb(255, 228, 228); color:black; padding-left: 4px; padding-right: 4px; border: 1px solid rgba(1, 1, 1, 0.2); border-radius: 3px; font-family: 'Inria Sans';}.auto-input { min-width: 15px; field-sizing: content;}
.label-span { cursor: pointer; padding: 2px 0px;}
.label-span:hover { background-color: var(--editable-hover-col);}.editable-container { display:inline-block;}.display-tab-left { border-bottom-left-radius: 4px;}.display-tab-right { border-right: 1px solid rgb(1, 1, 1, 0.2); border-bottom-right-radius: 4px;}.display-tab { float: right; background: white; border-left: 1px solid rgb(1, 1, 1, 0.2); border-bottom: 1px solid rgb(1, 1, 1, 0.2); padding-left: 2px; padding-bottom: 2px; line-height: 1; padding-right: 2px; cursor:pointer;}.display-tab:hover { background: #acacfc;}.display-tab-selected { background: #4c4c98 !important; color:white;}
.floating-delete { float: right; display: block; position: absolute; right: 5px;}
.resize-handle { position: absolute; top: 0; left: 0; width: 6px; height: 100%; cursor: ew-resize; z-index: 1;}.results-group { padding-top: 0.2rem; padding-bottom: 0.4rem; border-top: 1px solid var(--group-border, #eee);}
.results-group:first-child { border-top: none; padding-top: 0;}
.results-group-label { font-size: 0.75rem; font-weight: 600; padding-left: 7px; text-transform: uppercase; letter-spacing: 0.03em; color: var(--group-label-color, #888);}
.results-group-items { display: block;}.resize-handle:hover { background: rgba(0, 0, 0, 0.08);}
.results-group:has(> .results-group-label .assumptions-label) { margin-top: 0px; margin-bottom: 0; padding-top:0.2rem; background: var(--assumptions-bg, #fff); border-radius: 6px; border-top: none;}
.sidebar-content { position: fixed; top: 0; right: 0; height: 100vh; z-index: 1000;
display: flex; flex-direction: column; min-width: 260px; width: 280px; background: var(--sidebar-bg, #fafafa); border-left: 1px solid var(--sidebar-border, #ddd); box-shadow: -2px 0 8px rgba(0, 0, 0, 0.12); font-size: 0.9rem; overflow: hidden;}.sidebar-goal-judgment { padding-left: 0.4rem;}.sidebar-rule { border-top: 1px solid var(--sidebar-border, #ddd);}.sidebar-goal { flex: 0 0 auto; padding: 0.75rem 0.75rem; font-family: 'Neo Euler Medium'; font-size: large; border-bottom: 1px solid var(--sidebar-border, #ddd); background: var(--sidebar-goal-bg, #fff);}
.drill-down-container { flex: 1 1 auto; display: flex; flex-direction: column; min-height: 0; overflow: hidden;}.breadcrumbs:empty { display: none;}.breadcrumbs { flex: 0 0 auto; display: flex; flex-wrap: wrap; gap: 0.25rem; padding: 0.5rem 0.5rem 0;}
.breadcrumb-heading { font-size: 0.75rem; font-weight: 600; color: var(--breadcrumb-color, #666); padding: 0.15rem 0.5rem; background: var(--breadcrumb-bg, #eee); border-radius: 999px; white-space: nowrap; display: inline-flex; align-items: center; gap: 0.3rem;}
.breadcrumb-heading:not(:last-child)::after { content: "›"; margin-left: 0.4rem; color: var(--breadcrumb-arrow, #aaa);}
.breadcrumb-heading-current { cursor: pointer;}
.breadcrumb-heading-current:hover { background: var(--breadcrumb-hover-bg, #ddd);}
.breadcrumb-close { font-size: 0.7rem; opacity: 0.6;}
.breadcrumb-heading-current:hover .breadcrumb-close { opacity: 1;}
.back-button { align-self: flex-start; margin: 0.5rem 1rem 0; padding: 0.25rem 0.6rem; font-size: 0.8rem; background: none; border: 1px solid var(--sidebar-border, #ddd); border-radius: 4px; cursor: pointer; color: var(--action-color, #333);}
.back-button:hover { background: var(--hover-bg, #eee);}
.menu-options { flex: 1 1 auto; overflow-y: auto; display: flex; flex-direction: column;}.menu-options > button { margin-right:7px; margin-bottom:7px;}.menu-options button { text-align: left; margin-left:7px; margin-top:7px; border: 1px solid var(--sidebar-border, #ddd); border-radius: 6px; background: var(--action-bg, #fff); cursor: pointer; font: inherit; color: var(--action-color, #222); transition: background 0.1s ease, border-color 0.1s ease;}
.menu-options button:hover { background: var(--hover-bg, #f0f4ff); border-color: var(--hover-border, #b8c8f0);}
.menu-options button:focus-visible { outline: 2px solid var(--focus-ring, #4a7dfc); outline-offset: 1px;}
.axiom-set > section > details > summary > header > h1 { font-size: 12pt;}.axiom-set > section > details > summary > header { display:inline-block;}
.grammar-view { display: flex; flex-direction: column; gap: 0.75rem; padding: 0.6rem 0.8rem; font-size: 0.9rem;}
.grammar-section-title { font-size: 0.7rem; font-weight: 700; text-transform: uppercase; letter-spacing: 0.04em; color: var(--grammar-title-color, #888); margin-bottom: 0.3rem;}
.grammar-op-row,.grammar-tighter-row { display: flex; align-items: center; gap: 0.5rem; padding: 0.25rem 0.4rem; border-radius: 4px;}
.grammar-op-name { background: var(--grammar-code-bg, #f0f0f0); padding: 0.05rem 0.35rem; border-radius: 4px;}
.grammar-op-category,.grammar-cat-badge { font-size: 0.75rem; color: var(--grammar-category-color, #567); background: var(--grammar-category-bg, #eaf0fb); padding: 0.1rem 0.4rem; border-radius: 999px;}
.assoc-badge { font-size: 0.7rem; font-weight: 600; padding: 0.05rem 0.35rem; border-radius: 3px; min-width: 3.2rem; text-align: center;}
.assoc-left { background: #ffe9d6; color: #a05a00; }.assoc-right { background: #dcefff; color: #0a5aa0; }.assoc-none { background: #eee; color: #666; }
.grammar-tighter-arrow { font-size: 0.75rem; color: var(--grammar-arrow-color, #999);}
.grammar-empty { color: var(--grammar-empty-color, #999); font-style: italic; padding: 0.4rem;}.ident-sep { color: var(--identifier-sep-color, #bbb); margin: 0 0.05em;}
.ident-bold { font-weight: 700; font-variant:initial; font-family: 'Computer Modern Sans';}.ident-op-lit { font-family: 'Neo Euler Medium';}.settings-panel { display: flex; flex-direction: column; gap: 0.6rem;}
.settings-row { display: grid; grid-template-columns: 160px 1fr; grid-template-areas: "label control" "desc desc"; gap: 0.15rem 0.75rem; align-items: center; padding: 0.4rem 0; border-bottom: 1px solid var(--settings-border, #eee);}
.settings-row:last-child { border-bottom: none;}
.settings-label { grid-area: label; font-size: 0.85rem; font-weight: 500;}
.settings-select { grid-area: control; justify-self: start; font: inherit; font-size: 0.85rem; padding: 0.25rem 0.5rem; border: 1px solid var(--select-border, #ccc); border-radius: 4px; background: var(--select-bg, #fff);}
.settings-desc { grid-area: desc; font-size: 0.75rem; color: var(--settings-desc-color, #888);}