Skip to content

Commit

Permalink
Deploying to gh-pages from @ fcd1839 🚀
Browse files Browse the repository at this point in the history
  • Loading branch information
zacharybonagura committed Nov 28, 2024
1 parent 344f97e commit f6f35f1
Show file tree
Hide file tree
Showing 14 changed files with 75 additions and 44 deletions.
25 changes: 25 additions & 0 deletions dark-theme.css
Original file line number Diff line number Diff line change
Expand Up @@ -163,3 +163,28 @@
background-color: black;
}

[theme="dark"] .tooltip {
overflow: visible;
}

[theme="dark"] .tooltip-inner {
border: 3px solid white;
padding: 4px;
}

/* Tooltip Arrow Colors in Dark Mode */
[theme="dark"] .bs-tooltip-bottom .arrow::before {
border-bottom-color: white;
}

[theme="dark"] .bs-tooltip-top .arrow::before {
border-top-color: white;
}

[theme="dark"] .bs-tooltip-left .arrow::before {
border-left-color: white;
}

[theme="dark"] .bs-tooltip-right .arrow::before {
border-right-color: white;
}
10 changes: 5 additions & 5 deletions pkg/aris_web_app.d.ts
Original file line number Diff line number Diff line change
Expand Up @@ -11,11 +11,11 @@ export interface InitOutput {
readonly __wbindgen_realloc: (a: number, b: number, c: number, d: number) => number;
readonly __wbindgen_export_2: WebAssembly.Table;
readonly __wbindgen_export_3: WebAssembly.Table;
readonly closure205_externref_shim: (a: number, b: number, c: number) => void;
readonly closure209_externref_shim: (a: number, b: number, c: number) => void;
readonly _dyn_core__ops__function__FnMut_____Output___R_as_wasm_bindgen__closure__WasmClosure___describe__invoke__h9e8fafc1d65484d9: (a: number, b: number) => void;
readonly closure581_externref_shim: (a: number, b: number, c: number) => void;
readonly closure649_externref_shim: (a: number, b: number, c: number) => void;
readonly closure313_externref_shim: (a: number, b: number, c: number) => void;
readonly closure317_externref_shim: (a: number, b: number, c: number) => void;
readonly _dyn_core__ops__function__FnMut_____Output___R_as_wasm_bindgen__closure__WasmClosure___describe__invoke__hd48812d3c32fd6d6: (a: number, b: number) => void;
readonly closure563_externref_shim: (a: number, b: number, c: number) => void;
readonly closure635_externref_shim: (a: number, b: number, c: number) => void;
readonly __wbindgen_free: (a: number, b: number, c: number) => void;
readonly __wbindgen_exn_store: (a: number) => void;
readonly __externref_table_alloc: () => number;
Expand Down
56 changes: 28 additions & 28 deletions pkg/aris_web_app.js
Original file line number Diff line number Diff line change
Expand Up @@ -183,23 +183,23 @@ function makeMutClosure(arg0, arg1, dtor, f) {
return real;
}
function __wbg_adapter_22(arg0, arg1, arg2) {
wasm.closure205_externref_shim(arg0, arg1, arg2);
wasm.closure313_externref_shim(arg0, arg1, arg2);
}

function __wbg_adapter_25(arg0, arg1, arg2) {
wasm.closure209_externref_shim(arg0, arg1, arg2);
wasm.closure317_externref_shim(arg0, arg1, arg2);
}

function __wbg_adapter_28(arg0, arg1) {
wasm._dyn_core__ops__function__FnMut_____Output___R_as_wasm_bindgen__closure__WasmClosure___describe__invoke__h9e8fafc1d65484d9(arg0, arg1);
wasm._dyn_core__ops__function__FnMut_____Output___R_as_wasm_bindgen__closure__WasmClosure___describe__invoke__hd48812d3c32fd6d6(arg0, arg1);
}

function __wbg_adapter_31(arg0, arg1, arg2) {
wasm.closure581_externref_shim(arg0, arg1, arg2);
wasm.closure563_externref_shim(arg0, arg1, arg2);
}

function __wbg_adapter_34(arg0, arg1, arg2) {
wasm.closure649_externref_shim(arg0, arg1, arg2);
wasm.closure635_externref_shim(arg0, arg1, arg2);
}

export function run_app() {
Expand Down Expand Up @@ -303,19 +303,6 @@ function __wbg_get_imports() {
const ret = false;
return ret;
};
imports.wbg.__wbg_setlistenerid_3183aae8fa5840fb = function(arg0, arg1) {
arg0.__yew_listener_id = arg1 >>> 0;
};
imports.wbg.__wbg_listenerid_12315eee21527820 = function(arg0, arg1) {
const ret = arg1.__yew_listener_id;
getDataViewMemory0().setInt32(arg0 + 4 * 1, isLikeNone(ret) ? 0 : ret, true);
getDataViewMemory0().setInt32(arg0 + 4 * 0, !isLikeNone(ret), true);
};
imports.wbg.__wbg_cachekey_b61393159c57fd7b = function(arg0, arg1) {
const ret = arg1.__yew_subtree_cache_key;
getDataViewMemory0().setInt32(arg0 + 4 * 1, isLikeNone(ret) ? 0 : ret, true);
getDataViewMemory0().setInt32(arg0 + 4 * 0, !isLikeNone(ret), true);
};
imports.wbg.__wbg_subtreeid_e348577f7ef777e3 = function(arg0, arg1) {
const ret = arg1.__yew_subtree_id;
getDataViewMemory0().setInt32(arg0 + 4 * 1, isLikeNone(ret) ? 0 : ret, true);
Expand All @@ -324,9 +311,22 @@ function __wbg_get_imports() {
imports.wbg.__wbg_setsubtreeid_d32e6327eef1f7fc = function(arg0, arg1) {
arg0.__yew_subtree_id = arg1 >>> 0;
};
imports.wbg.__wbg_cachekey_b61393159c57fd7b = function(arg0, arg1) {
const ret = arg1.__yew_subtree_cache_key;
getDataViewMemory0().setInt32(arg0 + 4 * 1, isLikeNone(ret) ? 0 : ret, true);
getDataViewMemory0().setInt32(arg0 + 4 * 0, !isLikeNone(ret), true);
};
imports.wbg.__wbg_setcachekey_80183b7cfc421143 = function(arg0, arg1) {
arg0.__yew_subtree_cache_key = arg1 >>> 0;
};
imports.wbg.__wbg_setlistenerid_3183aae8fa5840fb = function(arg0, arg1) {
arg0.__yew_listener_id = arg1 >>> 0;
};
imports.wbg.__wbg_listenerid_12315eee21527820 = function(arg0, arg1) {
const ret = arg1.__yew_listener_id;
getDataViewMemory0().setInt32(arg0 + 4 * 1, isLikeNone(ret) ? 0 : ret, true);
getDataViewMemory0().setInt32(arg0 + 4 * 0, !isLikeNone(ret), true);
};
imports.wbg.__wbg_new_abda76e883ba8a5f = function() {
const ret = new Error();
return ret;
Expand Down Expand Up @@ -766,24 +766,24 @@ function __wbg_get_imports() {
imports.wbg.__wbindgen_throw = function(arg0, arg1) {
throw new Error(getStringFromWasm0(arg0, arg1));
};
imports.wbg.__wbindgen_closure_wrapper672 = function(arg0, arg1, arg2) {
const ret = makeMutClosure(arg0, arg1, 206, __wbg_adapter_22);
imports.wbg.__wbindgen_closure_wrapper838 = function(arg0, arg1, arg2) {
const ret = makeMutClosure(arg0, arg1, 314, __wbg_adapter_22);
return ret;
};
imports.wbg.__wbindgen_closure_wrapper674 = function(arg0, arg1, arg2) {
const ret = makeMutClosure(arg0, arg1, 206, __wbg_adapter_25);
imports.wbg.__wbindgen_closure_wrapper840 = function(arg0, arg1, arg2) {
const ret = makeMutClosure(arg0, arg1, 314, __wbg_adapter_25);
return ret;
};
imports.wbg.__wbindgen_closure_wrapper676 = function(arg0, arg1, arg2) {
const ret = makeMutClosure(arg0, arg1, 206, __wbg_adapter_28);
imports.wbg.__wbindgen_closure_wrapper842 = function(arg0, arg1, arg2) {
const ret = makeMutClosure(arg0, arg1, 314, __wbg_adapter_28);
return ret;
};
imports.wbg.__wbindgen_closure_wrapper1916 = function(arg0, arg1, arg2) {
const ret = makeMutClosure(arg0, arg1, 582, __wbg_adapter_31);
imports.wbg.__wbindgen_closure_wrapper1875 = function(arg0, arg1, arg2) {
const ret = makeMutClosure(arg0, arg1, 564, __wbg_adapter_31);
return ret;
};
imports.wbg.__wbindgen_closure_wrapper2143 = function(arg0, arg1, arg2) {
const ret = makeMutClosure(arg0, arg1, 650, __wbg_adapter_34);
imports.wbg.__wbindgen_closure_wrapper2135 = function(arg0, arg1, arg2) {
const ret = makeMutClosure(arg0, arg1, 636, __wbg_adapter_34);
return ret;
};
imports.wbg.__wbindgen_init_externref_table = function() {
Expand Down
Binary file modified pkg/aris_web_app_bg.wasm
Binary file not shown.
10 changes: 5 additions & 5 deletions pkg/aris_web_app_bg.wasm.d.ts
Original file line number Diff line number Diff line change
Expand Up @@ -6,11 +6,11 @@ export function __wbindgen_malloc(a: number, b: number): number;
export function __wbindgen_realloc(a: number, b: number, c: number, d: number): number;
export const __wbindgen_export_2: WebAssembly.Table;
export const __wbindgen_export_3: WebAssembly.Table;
export function closure205_externref_shim(a: number, b: number, c: number): void;
export function closure209_externref_shim(a: number, b: number, c: number): void;
export function _dyn_core__ops__function__FnMut_____Output___R_as_wasm_bindgen__closure__WasmClosure___describe__invoke__h9e8fafc1d65484d9(a: number, b: number): void;
export function closure581_externref_shim(a: number, b: number, c: number): void;
export function closure649_externref_shim(a: number, b: number, c: number): void;
export function closure313_externref_shim(a: number, b: number, c: number): void;
export function closure317_externref_shim(a: number, b: number, c: number): void;
export function _dyn_core__ops__function__FnMut_____Output___R_as_wasm_bindgen__closure__WasmClosure___describe__invoke__hd48812d3c32fd6d6(a: number, b: number): void;
export function closure563_externref_shim(a: number, b: number, c: number): void;
export function closure635_externref_shim(a: number, b: number, c: number): void;
export function __wbindgen_free(a: number, b: number, c: number): void;
export function __wbindgen_exn_store(a: number): void;
export function __externref_table_alloc(): number;
Expand Down
Binary file modified proofImages_dark/Disjunctive Syllogism.png
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file modified proofImages_dark/Quantifier Distribution.png
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file added proofImages_dark/Quantifier Inference.png
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file modified proofImages_dark/≡ Introduction.png
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file modified proofImages_light/Disjunctive Syllogism.png
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file modified proofImages_light/Quantifier Distribution.png
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file added proofImages_light/Quantifier Inference.png
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file modified proofImages_light/≡ Introduction.png
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
18 changes: 12 additions & 6 deletions styles.css
Original file line number Diff line number Diff line change
Expand Up @@ -54,24 +54,30 @@ html, body {
margin-top: 10px;
}

.tooltip {
overflow: visible;
}

.tooltip-inner {
max-width: 100%;
background-color: #0062cc;
border: 1px solid black; /* Set uniform border width and color */
padding: 3px; /* Add consistent padding around the image */
width: auto; /* Ensure tooltip width adjusts to content */
max-width: none;
}

.tooltip.show {
opacity: 1;
}

.bs-tooltip-bottom .arrow::before{
border-bottom-color: #0062cc;
border-bottom-color: black;
}
.bs-tooltip-top .arrow::before{
border-top-color: #0062cc;
border-top-color: black;
}
.bs-tooltip-left .arrow::before{
border-left-color: #0062cc;
border-left-color: black;
}
.bs-tooltip-right .arrow::before{
border-right-color: #0062cc;
border-right-color: black;
}

0 comments on commit f6f35f1

Please sign in to comment.