react-cheminfo 0.70.0 → 0.71.0

package/src/locales/fr.json

@@ -8,6 +8,69 @@
   "account.signIn": "Se connecter",
   "account.signOut": "Se déconnecter",
   "account.signedInAs": "Connecté comme {name}",
+  "account.username": "Nom d'utilisateur",
+  "account.password": "Mot de passe",
+  "account.role": "Rôle",
+  "account.role.read": "Lecture",
+  "account.role.write": "Lecture et écriture",
+  "account.role.admin": "Administrateur",
+  "account.you": "vous",
+  "account.envManaged": "défini dans .env",
+  "account.envManagedTitle": "ADMIN_USERNAME et ADMIN_PASSWORD, dans le .env du serveur, définissent ce compte : il se modifie là.",
+  "account.accounts": "Comptes",
+  "account.accountsNote": "Lecture consulte les données, Lecture et écriture les modifie aussi, et Administrateur gère aussi ces comptes.",
+  "account.column.added": "Ajouté",
+  "account.column.lastSignIn": "Dernière connexion",
+  "account.column.passwordChanged": "Mot de passe changé",
+  "account.column.actions": "Modifier",
+  "account.never": "jamais",
+  "account.add": "Ajouter un compte",
+  "account.addSubmit": "Ajouter le compte",
+  "account.added": "{username} peut se connecter dès maintenant.",
+  "account.usernameHelp": "Lettres, chiffres, points, tirets et soulignés.",
+  "account.setPassword": "Définir le mot de passe",
+  "account.setPasswordTitle": "Définir le mot de passe de {username}",
+  "account.setPasswordNote": "{username} est déconnecté partout, et se connecte désormais avec ce mot de passe.",
+  "account.setPasswordSubmit": "Définir le mot de passe",
+  "account.roleOf": "Rôle de {username}",
+  "account.changePassword": "Changer votre mot de passe",
+  "account.currentPassword": "Mot de passe actuel",
+  "account.newPassword": "Nouveau mot de passe",
+  "account.repeatPassword": "Nouveau mot de passe, à nouveau",
+  "account.passwordsDiffer": "Les deux nouveaux mots de passe diffèrent.",
+  "account.passwordChanged": "Votre mot de passe est changé. Les autres navigateurs connectés avec votre compte sont déconnectés.",
+  "account.ownEnvManaged": "Le .env du serveur définit votre compte : changez ADMIN_PASSWORD là, puis redémarrez le serveur.",
+  "account.remove": "Supprimer",
+  "account.removeQuestion": "Supprimer {username} ? Ce compte ne pourra plus se connecter.",
+  "account.needsWrite": "Cette page modifie les données, et {username} peut seulement les lire.",
+  "account.needsAdmin": "Cette page est réservée aux administrateurs, et {username} n'en est pas un.",
+  "account.switchAccount": "Se connecter avec un autre compte",
+  "account.unreachable": "Le serveur est injoignable. Réessayez dans un instant.",
+  "account.refusal.wrongCredentials": "Nom d'utilisateur ou mot de passe incorrect.",
+  "account.refusal.tooManyAttempts": "Trop de tentatives de connexion depuis ici. Réessayez dans 15 minutes.",
+  "account.refusal.signInElsewhere": "La connexion se fait depuis les pages de ce site.",
+  "account.refusal.signOutElsewhere": "La déconnexion se fait depuis les pages de ce site.",
+  "account.refusal.changeElsewhere": "Les modifications se font depuis les pages de ce site.",
+  "account.refusal.signInRequired": "Ceci est réservé aux comptes de ce site : connectez-vous.",
+  "account.refusal.sessionEnded": "La session a pris fin : reconnectez-vous.",
+  "account.refusal.wrongToken": "Ce n'est pas l'ADMIN_TOKEN de ce serveur.",
+  "account.refusal.noAdminToken": "Aucun ADMIN_TOKEN n'est défini sur ce serveur : connectez-vous plutôt.",
+  "account.refusal.roleTooLow": "Votre compte ne peut pas faire ceci : demandez à un administrateur.",
+  "account.refusal.usernameLength": "Un nom d'utilisateur compte de {min} à {max} caractères.",
+  "account.refusal.usernameCharacters": "Un nom d'utilisateur contient des lettres, des chiffres, des points, des tirets et des soulignés, et commence par une lettre ou un chiffre.",
+  "account.refusal.usernameTaken": "Ce nom d'utilisateur est déjà pris.",
+  "account.refusal.passwordEmpty": "Un mot de passe ne peut pas être vide.",
+  "account.refusal.passwordTooLong": "Un mot de passe compte au plus {max} caractères.",
+  "account.refusal.noSuchAccount": "Ce compte n'existe plus.",
+  "account.refusal.nothingToChange": "Envoyez un nouveau mot de passe, un nouveau rôle, ou les deux.",
+  "account.refusal.useChangePassword": "Changez votre propre mot de passe avec POST /password, qui demande le mot de passe actuel.",
+  "account.refusal.ownRole": "Vous ne pouvez pas changer votre propre rôle.",
+  "account.refusal.removeYourself": "Vous ne pouvez pas supprimer le compte que vous utilisez.",
+  "account.refusal.lastAdmin": "Le dernier administrateur ne peut être ni supprimé ni rétrogradé.",
+  "account.refusal.envManaged": "Le .env du serveur définit ce compte : il se modifie là.",
+  "account.refusal.tokenCannotChangePassword": "Un mot de passe se change depuis le compte connecté, pas avec l'ADMIN_TOKEN.",
+  "account.refusal.wrongCurrentPassword": "Le mot de passe actuel n'est pas celui-là.",
+  "account.refusal.accountRemoved": "Le compte connecté a été supprimé.",
   "ecosystem.tools": "Outils",
   "ecosystem.menuHeading": "Nos outils, tous dans le navigateur",
   "ecosystem.otherTools": "Nos autres outils",

package/src/locales/it.json

@@ -8,6 +8,69 @@
   "account.signIn": "Accedi",
   "account.signOut": "Esci",
   "account.signedInAs": "Accesso effettuato come {name}",
+  "account.username": "Nome utente",
+  "account.password": "Password",
+  "account.role": "Ruolo",
+  "account.role.read": "Lettura",
+  "account.role.write": "Lettura e scrittura",
+  "account.role.admin": "Amministratore",
+  "account.you": "tu",
+  "account.envManaged": "definito in .env",
+  "account.envManagedTitle": "ADMIN_USERNAME e ADMIN_PASSWORD, nel .env del server, definiscono questo account, che si cambia lì.",
+  "account.accounts": "Account",
+  "account.accountsNote": "Lettura vede i dati, Lettura e scrittura li modifica anche, e Amministratore gestisce anche questi account.",
+  "account.column.added": "Aggiunto",
+  "account.column.lastSignIn": "Ultimo accesso",
+  "account.column.passwordChanged": "Password cambiata",
+  "account.column.actions": "Modifica",
+  "account.never": "mai",
+  "account.add": "Aggiungi un account",
+  "account.addSubmit": "Aggiungi l'account",
+  "account.added": "{username} può accedere da ora.",
+  "account.usernameHelp": "Lettere, cifre, punti, trattini e trattini bassi.",
+  "account.setPassword": "Imposta password",
+  "account.setPasswordTitle": "Imposta la password di {username}",
+  "account.setPasswordNote": "{username} viene disconnesso ovunque, e d'ora in poi accede con questa password.",
+  "account.setPasswordSubmit": "Imposta la password",
+  "account.roleOf": "Ruolo di {username}",
+  "account.changePassword": "Cambia la tua password",
+  "account.currentPassword": "Password attuale",
+  "account.newPassword": "Nuova password",
+  "account.repeatPassword": "Nuova password, di nuovo",
+  "account.passwordsDiffer": "Le due nuove password sono diverse.",
+  "account.passwordChanged": "La tua password è cambiata. Gli altri browser connessi con il tuo account sono disconnessi.",
+  "account.ownEnvManaged": "Il .env del server definisce il tuo account: cambia ADMIN_PASSWORD lì, poi riavvia il server.",
+  "account.remove": "Rimuovi",
+  "account.removeQuestion": "Rimuovere {username}? Non potrà più accedere.",
+  "account.needsWrite": "Questa pagina modifica i dati, e {username} può solo leggerli.",
+  "account.needsAdmin": "Questa pagina è per gli amministratori, e {username} non lo è.",
+  "account.switchAccount": "Accedi con un altro account",
+  "account.unreachable": "Il server non è raggiungibile. Riprova tra un momento.",
+  "account.refusal.wrongCredentials": "Nome utente o password errati.",
+  "account.refusal.tooManyAttempts": "Troppi tentativi di accesso da qui. Riprova tra 15 minuti.",
+  "account.refusal.signInElsewhere": "L'accesso avviene dalle pagine di questo sito.",
+  "account.refusal.signOutElsewhere": "L'uscita avviene dalle pagine di questo sito.",
+  "account.refusal.changeElsewhere": "Le modifiche si fanno dalle pagine di questo sito.",
+  "account.refusal.signInRequired": "Questo è per gli account di questo sito: accedi.",
+  "account.refusal.sessionEnded": "La sessione è terminata: accedi di nuovo.",
+  "account.refusal.wrongToken": "Questo non è l'ADMIN_TOKEN di questo server.",
+  "account.refusal.noAdminToken": "Su questo server non è impostato alcun ADMIN_TOKEN: accedi invece.",
+  "account.refusal.roleTooLow": "Il tuo account non può farlo: chiedi a un amministratore.",
+  "account.refusal.usernameLength": "Un nome utente ha da {min} a {max} caratteri.",
+  "account.refusal.usernameCharacters": "Un nome utente contiene lettere, cifre, punti, trattini e trattini bassi, e inizia con una lettera o una cifra.",
+  "account.refusal.usernameTaken": "Questo nome utente è già preso.",
+  "account.refusal.passwordEmpty": "Una password non può essere vuota.",
+  "account.refusal.passwordTooLong": "Una password ha al massimo {max} caratteri.",
+  "account.refusal.noSuchAccount": "Questo account non esiste più.",
+  "account.refusal.nothingToChange": "Invia una nuova password, un nuovo ruolo, o entrambi.",
+  "account.refusal.useChangePassword": "Cambia la tua password con POST /password, che chiede quella attuale.",
+  "account.refusal.ownRole": "Non puoi cambiare il tuo ruolo.",
+  "account.refusal.removeYourself": "Non puoi rimuovere l'account che stai usando.",
+  "account.refusal.lastAdmin": "L'ultimo amministratore non può essere né rimosso né declassato.",
+  "account.refusal.envManaged": "Il .env del server definisce questo account, che si cambia lì.",
+  "account.refusal.tokenCannotChangePassword": "Una password la cambia l'account connesso, non l'ADMIN_TOKEN.",
+  "account.refusal.wrongCurrentPassword": "La password attuale non è questa.",
+  "account.refusal.accountRemoved": "L'account connesso è stato rimosso.",
   "ecosystem.tools": "Strumenti",
   "ecosystem.menuHeading": "I nostri strumenti, tutti nel browser",
   "ecosystem.otherTools": "I nostri altri strumenti",

package/src/slides/ui/slideSanitizeSchema.ts

@@ -1,13 +1,82 @@
 import type { Options as SanitizeSchema } from 'rehype-sanitize';
 import { defaultSchema } from 'rehype-sanitize';
 
+/**
+ * The MathML Core elements a formula is written with. `annotation-xml`, which
+ * may carry HTML, and the legacy `maction` are left out.
+ */
+const MATHML_ELEMENTS = [
+  'math',
+  'merror',
+  'mfrac',
+  'mi',
+  'mmultiscripts',
+  'mn',
+  'mo',
+  'mover',
+  'mpadded',
+  'mphantom',
+  'mprescripts',
+  'mroot',
+  'mrow',
+  'ms',
+  'mspace',
+  'msqrt',
+  'mstyle',
+  'msub',
+  'msubsup',
+  'msup',
+  'mtable',
+  'mtd',
+  'mtext',
+  'mtr',
+  'munder',
+  'munderover',
+  'semantics',
+  'annotation',
+];
+
+/**
+ * What every MathML element may carry, colours aside: a formula takes the
+ * slide's ink, as everything else on it does.
+ */
+const MATHML_GLOBAL = ['dir', 'displaystyle', 'mathvariant', 'scriptlevel'];
+
+/** The attributes particular to one MathML element, by hast property name. */
+const MATHML_ATTRIBUTES: Record<string, string[]> = {
+  math: [...MATHML_GLOBAL, 'display', 'alttext'],
+  mo: [
+    ...MATHML_GLOBAL,
+    'form',
+    'fence',
+    'separator',
+    'lspace',
+    'rspace',
+    'stretchy',
+    'symmetric',
+    'maxsize',
+    'minsize',
+    'largeop',
+    'movablelimits',
+  ],
+  mfrac: [...MATHML_GLOBAL, 'linethickness'],
+  mspace: [...MATHML_GLOBAL, 'width', 'height', 'depth'],
+  mpadded: [...MATHML_GLOBAL, 'width', 'height', 'depth', 'lspace', 'voffset'],
+  mover: [...MATHML_GLOBAL, 'accent'],
+  munder: [...MATHML_GLOBAL, 'accentunder'],
+  munderover: [...MATHML_GLOBAL, 'accent', 'accentunder'],
+  mtd: [...MATHML_GLOBAL, 'columnspan', 'rowSpan'],
+  annotation: ['encoding'],
+};
+
 /**
  * What survives of the raw HTML a deck writes.
  *
  * GitHub's schema, which already strips scripts, event handlers and every URL
  * that is not http, https or relative, plus what decks legitimately use beyond
- * it: figures, the class a site styles a block with, and frames. Which frame
- * may actually be drawn is decided by `isFamilyFrameSource` when it renders.
+ * it: figures, the class a site styles a block with, frames, and formulas
+ * written in MathML, which the browser draws natively. Which frame may actually
+ * be drawn is decided by `isFamilyFrameSource` when it renders.
  */
 export const SLIDE_SANITIZE_SCHEMA: SanitizeSchema = {
   ...defaultSchema,
@@ -20,10 +89,25 @@ export const SLIDE_SANITIZE_SCHEMA: SanitizeSchema = {
     'mark',
     'small',
     'u',
+    ...MATHML_ELEMENTS,
   ],
   attributes: {
     ...defaultSchema.attributes,
+    ...mathmlAttributes(),
     iframe: ['src', 'allowFullScreen'],
     '*': [...(defaultSchema.attributes?.['*'] ?? []), 'className'],
   },
 };
+
+/**
+ * The attributes of every MathML element, those of its own and the global
+ * ones.
+ * @returns The attribute lists, by element.
+ */
+function mathmlAttributes(): Record<string, string[]> {
+  const attributes: Record<string, string[]> = {};
+  for (const element of MATHML_ELEMENTS) {
+    attributes[element] = MATHML_ATTRIBUTES[element] ?? MATHML_GLOBAL;
+  }
+  return attributes;
+}

package/styles/chrome.css

@@ -54,6 +54,13 @@ button {
   font-family: inherit;
 }
 
+/* A formula is MathML the browser draws natively, in a font made for it: the
+   one a browser falls back to neither stretches a bracket around a fraction
+   nor sizes a `∑` for display. */
+math {
+  font-family: 'STIX Two Math', 'Cambria Math', 'Latin Modern Math', math;
+}
+
 /* Blueprint lets a button shrink in a flex row, below the width of its own
    content, and the icon then spills out of its left edge. Blueprint's fill
    rules are more specific and still stretch a button that asks to. */

package/styles/slides.css

@@ -251,6 +251,53 @@
   margin: 0.5em auto 0;
 }
 
+/* What a slide singles out in a line — the digits that differ — takes the
+   deck's accent rather than the browser's yellow. */
+.slide-content mark {
+  padding: 0 0.08em;
+  border-radius: 6px;
+  background: var(--slide-accent-soft);
+  color: var(--slide-answer);
+}
+
+/* A formula is MathML the browser draws natively; its font is chrome.css's. */
+.slide-content math[display='block'] {
+  margin: 0.5em 0;
+  font-size: 1.15em;
+}
+
+/* A table of values reads across: figures right-aligned in tabular digits,
+   one rule under each row and never a number broken over two lines. */
+.slide-content table {
+  border-collapse: collapse;
+  margin: 0.4em 0;
+  font-size: 0.82em;
+  font-variant-numeric: tabular-nums;
+}
+
+.slide-content th,
+.slide-content td {
+  padding: 0.22em 0.9em;
+  border-bottom: 2px solid var(--slide-line);
+  text-align: left;
+  white-space: nowrap;
+}
+
+.slide-content th {
+  color: var(--slide-muted);
+  font-weight: 600;
+}
+
+.slide-content th[align='right'],
+.slide-content td[align='right'] {
+  text-align: right;
+}
+
+.slide-content th[align='center'],
+.slide-content td[align='center'] {
+  text-align: center;
+}
+
 /* ── Content and thanks: title pinned to the top, demos sunk to the bottom ── */
 
 .slide--content,