mirror of
https://github.com/IRBorisov/ConceptPortal.git
synced 2025-06-26 04:50:36 +03:00
B: Fix font loading and small issues
This commit is contained in:
parent
9f2a8d8431
commit
f8d2928ff4
|
@ -17,7 +17,7 @@
|
|||
<link
|
||||
rel="preload"
|
||||
as="style"
|
||||
href="https://fonts.googleapis.com/css2?family=Rubik:ital,wght@0,300;0,400;0,500;0,600;0,700;0,800;0,900;1,300;1,400;1,500;1,600;1,700;1,800;1,900&family=Fira+Code:wght@300..700&family=Noto+Sans+Math&family=Noto+Sans+Symbols+2&family=Alegreya+Sans+SC:wght@100;300;400;500;700;800;900&family=Noto+Color+Emoji&display=block"
|
||||
href="https://fonts.googleapis.com/css2?family=Rubik:ital,wght@0,400;0,500;0,600;1,400;1,600&family=Fira+Code:wght@400;500;600&family=Noto+Sans+Math&family=Noto+Sans+Symbols+2&family=Alegreya+Sans+SC:wght@400;700&family=Noto+Color+Emoji&display=swap"
|
||||
onload="this.onload=null;this.rel='stylesheet'"
|
||||
/>
|
||||
|
||||
|
|
|
@ -33,7 +33,7 @@ export function TableBody<TData>({
|
|||
const handleRowClicked = useCallback(
|
||||
(target: Row<TData>, event: React.MouseEvent<Element>) => {
|
||||
onRowClicked?.(target.original, event);
|
||||
if (target.getCanSelect()) {
|
||||
if (table.options.enableRowSelection && target.getCanSelect()) {
|
||||
if (event.shiftKey && !!lastSelected && lastSelected !== target.id) {
|
||||
const { rows, rowsById } = table.getRowModel();
|
||||
const lastIndex = rowsById[lastSelected].index;
|
||||
|
|
|
@ -285,7 +285,6 @@ export function describeExpressionStatus(status: ExpressionStatus): string {
|
|||
* Retrieves label for {@link CstType}.
|
||||
*/
|
||||
export function labelCstType(target: CstType): string {
|
||||
console.log(1);
|
||||
// prettier-ignore
|
||||
switch (target) {
|
||||
case CstType.BASE: return 'Базисное множество';
|
||||
|
|
|
@ -76,6 +76,7 @@
|
|||
.react-flow__attribution {
|
||||
font-size: var(--font-size-sm);
|
||||
font-family: var(--font-ui);
|
||||
font-weight: 400;
|
||||
margin: 1rem;
|
||||
|
||||
background-color: transparent;
|
||||
|
|
|
@ -8,7 +8,7 @@
|
|||
|
||||
@utility font-controls {
|
||||
font-family: var(--font-ui);
|
||||
font-weight: 600;
|
||||
font-weight: 700;
|
||||
}
|
||||
|
||||
@utility font-math {
|
||||
|
|
Loading…
Reference in New Issue
Block a user