react-cheminfo 0.70.0 → 0.71.0

package/lib/ir/ui/useIrEditor.js.map

@@ -1 +1 @@
-{"version":3,"file":"useIrEditor.js","sourceRoot":"","sources":["../../../src/ir/ui/useIrEditor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,OAAO,CAAC;AAG/D,OAAO,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AAErD,OAAO,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAC9D,OAAO,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AAGjD,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACnD,OAAO,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAC5D,OAAO,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AAGjD,OAAO,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AA8BjD;;;;GAIG;AACH,MAAM,UAAU,WAAW,CAAC,UAA8B,EAAE;IAC1D,MAAM,EAAE,QAAQ,EAAE,GAAG,OAAO,EAAE,GAAG,OAAO,CAAC;IAEzC,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,GAAG,UAAU,CAAC,SAAS,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC;IACxE,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC;IAErE,MAAM,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC;IAC/B,MAAM,EAAE,UAAU,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC;IAClC,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,cAAc,EAAE,GAAG,KAAK,CAAC,QAAQ,CAAC;IACvE,MAAM,EAAE,mBAAmB,EAAE,SAAS,EAAE,GAAG,KAAK,CAAC,QAAQ,CAAC;IAE1D,MAAM,cAAc,GAAG,OAAO,CAAC,GAAG,EAAE;QAClC,MAAM,OAAO,GAAiB,EAAE,CAAC;QACjC,KAAK,MAAM,QAAQ,IAAI,OAAO,EAAE,CAAC;YAC/B,IAAI,QAAQ,CAAC,OAAO;gBAAE,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC/C,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;IAEd,MAAM,gBAAgB,GAAG,OAAO,CAAC,GAAG,EAAE;QACpC,IAAI,UAAU,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QACrC,KAAK,MAAM,QAAQ,IAAI,OAAO,EAAE,CAAC;YAC/B,IAAI,QAAQ,CAAC,EAAE,KAAK,UAAU;gBAAE,OAAO,QAAQ,CAAC;QAClD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,EAAE,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC;IAE1B,MAAM,KAAK,GAAG,OAAO,CACnB,GAAG,EAAE,CACH,gBAAgB,KAAK,IAAI,IAAI,CAAC,OAAO;QACnC,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,SAAS,CAAC,gBAAgB,EAAE,cAAc,CAAC,EACjD,CAAC,gBAAgB,EAAE,OAAO,EAAE,cAAc,CAAC,CAC5C,CAAC;IAEF,6EAA6E;IAC7E,0EAA0E;IAC1E,6EAA6E;IAC7E,MAAM,EAAE,WAAW,EAAE,GAAG,kBAAkB,CAAC,SAAS,CAAC,CAAC;IACtD,MAAM,QAAQ,GAAG,OAAO,CACtB,GAAG,EAAE,CACH,WAAW,CAAC,KAAK,EAAE;QACjB,SAAS,EAAE,mBAAmB;QAC9B,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,cAAc;KAC7D,CAAC,EACJ,CAAC,KAAK,EAAE,mBAAmB,EAAE,WAAW,CAAC,CAC1C,CAAC;IAEF,6EAA6E;IAC7E,6EAA6E;IAC7E,8EAA8E;IAC9E,kCAAkC;IAClC,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;IACjC,SAAS,CAAC,GAAG,EAAE;QACb,IAAI,WAAW,CAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;YAAE,OAAO;QACnD,QAAQ,CAAC,OAAO,GAAG,OAAO,CAAC;QAC3B,QAAQ,EAAE,CAAC,OAAO,CAAC,CAAC;IACtB,CAAC,EAAE,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;IAExB,OAAO,OAAO,CACZ,GAAG,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,cAAc,EAAE,gBAAgB,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,EACtE,CAAC,KAAK,EAAE,cAAc,EAAE,gBAAgB,EAAE,QAAQ,EAAE,OAAO,CAAC,CAC7D,CAAC;AACJ,CAAC;AAED,qFAAqF;AACrF,MAAM,cAAc,GAA8B,EAAE,CAAC;AAErD;;;;;GAKG;AACH,SAAS,WAAW,CAClB,OAA8B,EAC9B,IAA2B;IAE3B,IAAI,OAAO,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAClC,IAAI,OAAO,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IACjD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,OAAO,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QACpD,IAAK,OAAO,CAAC,KAAK,CAAgB,CAAC,EAAE,KAAM,IAAI,CAAC,KAAK,CAAgB,CAAC,EAAE,EAAE,CAAC;YACzE,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}
+{"version":3,"file":"useIrEditor.js","sourceRoot":"","sources":["../../../src/ir/ui/useIrEditor.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,OAAO,CAAC;AAG/D,OAAO,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AAErD,OAAO,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAE9D,OAAO,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AAGjD,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACnD,OAAO,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAG5D,OAAO,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AA8BjD;;;;GAIG;AACH,MAAM,UAAU,WAAW,CAAC,UAA8B,EAAE;IAC1D,MAAM,EAAE,QAAQ,EAAE,GAAG,OAAO,EAAE,GAAG,OAAO,CAAC;IAEzC,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,GAAG,UAAU,CAAC,SAAS,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC;IACxE,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC;IAErE,MAAM,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC;IAC/B,MAAM,EAAE,UAAU,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC;IAClC,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,mBAAmB,EAAE,SAAS,EAAE,GAAG,KAAK,CAAC,QAAQ,CAAC;IAE9E,MAAM,cAAc,GAAG,OAAO,CAAC,GAAG,EAAE;QAClC,MAAM,OAAO,GAAiB,EAAE,CAAC;QACjC,KAAK,MAAM,QAAQ,IAAI,OAAO,EAAE,CAAC;YAC/B,IAAI,QAAQ,CAAC,OAAO;gBAAE,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC/C,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;IAEd,MAAM,gBAAgB,GAAG,OAAO,CAAC,GAAG,EAAE;QACpC,IAAI,UAAU,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QACrC,KAAK,MAAM,QAAQ,IAAI,OAAO,EAAE,CAAC;YAC/B,IAAI,QAAQ,CAAC,EAAE,KAAK,UAAU;gBAAE,OAAO,QAAQ,CAAC;QAClD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,EAAE,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC;IAE1B,MAAM,KAAK,GAAG,OAAO,CACnB,GAAG,EAAE,CACH,gBAAgB,KAAK,IAAI,IAAI,CAAC,OAAO;QACnC,CAAC,CAAC,QAAQ;QACV,CAAC,CAAC,CAAC,gBAAgB,CAAC,KAAK,IAAI,QAAQ,CAAC,EAC1C,CAAC,gBAAgB,EAAE,OAAO,CAAC,CAC5B,CAAC;IAEF,6EAA6E;IAC7E,0EAA0E;IAC1E,6EAA6E;IAC7E,MAAM,EAAE,WAAW,EAAE,GAAG,kBAAkB,CAAC,SAAS,CAAC,CAAC;IACtD,MAAM,QAAQ,GAAG,OAAO,CACtB,GAAG,EAAE,CACH,WAAW,CAAC,KAAK,EAAE;QACjB,SAAS,EAAE,mBAAmB;QAC9B,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,cAAc;KAC7D,CAAC,EACJ,CAAC,KAAK,EAAE,mBAAmB,EAAE,WAAW,CAAC,CAC1C,CAAC;IAEF,6EAA6E;IAC7E,6EAA6E;IAC7E,8EAA8E;IAC9E,kCAAkC;IAClC,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;IACjC,SAAS,CAAC,GAAG,EAAE;QACb,IAAI,WAAW,CAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;YAAE,OAAO;QACnD,QAAQ,CAAC,OAAO,GAAG,OAAO,CAAC;QAC3B,QAAQ,EAAE,CAAC,OAAO,CAAC,CAAC;IACtB,CAAC,EAAE,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;IAExB,OAAO,OAAO,CACZ,GAAG,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,cAAc,EAAE,gBAAgB,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,EACtE,CAAC,KAAK,EAAE,cAAc,EAAE,gBAAgB,EAAE,QAAQ,EAAE,OAAO,CAAC,CAC7D,CAAC;AACJ,CAAC;AAED,qFAAqF;AACrF,MAAM,cAAc,GAA8B,EAAE,CAAC;AAErD,8EAA8E;AAC9E,MAAM,QAAQ,GAAsB,EAAE,CAAC;AAEvC;;;;;;;;;GASG;AACH,SAAS,WAAW,CAClB,OAA8B,EAC9B,IAA2B;IAE3B,IAAI,OAAO,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAClC,IAAI,OAAO,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IACjD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,OAAO,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QACpD,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAe,CAAC;QAC5C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAe,CAAC;QACxC,IAAI,MAAM,CAAC,EAAE,KAAK,KAAK,CAAC,EAAE,IAAI,MAAM,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK;YAAE,OAAO,KAAK,CAAC;IAC3E,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/lib/locales/de.json

@@ -8,6 +8,69 @@
     "account.signIn": "Anmelden",
     "account.signOut": "Abmelden",
     "account.signedInAs": "Angemeldet als {name}",
+    "account.username": "Benutzername",
+    "account.password": "Passwort",
+    "account.role": "Rolle",
+    "account.role.read": "Lesen",
+    "account.role.write": "Lesen und Schreiben",
+    "account.role.admin": "Administrator",
+    "account.you": "Sie",
+    "account.envManaged": "in .env festgelegt",
+    "account.envManagedTitle": "ADMIN_USERNAME und ADMIN_PASSWORD in der .env des Servers legen dieses Konto fest, es wird dort geändert.",
+    "account.accounts": "Konten",
+    "account.accountsNote": "Lesen sieht die Daten, Lesen und Schreiben ändert sie auch, und Administrator verwaltet zudem diese Konten.",
+    "account.column.added": "Hinzugefügt",
+    "account.column.lastSignIn": "Letzte Anmeldung",
+    "account.column.passwordChanged": "Passwort geändert",
+    "account.column.actions": "Ändern",
+    "account.never": "nie",
+    "account.add": "Konto hinzufügen",
+    "account.addSubmit": "Das Konto hinzufügen",
+    "account.added": "{username} kann sich jetzt anmelden.",
+    "account.usernameHelp": "Buchstaben, Ziffern, Punkte, Bindestriche und Unterstriche.",
+    "account.setPassword": "Passwort setzen",
+    "account.setPasswordTitle": "Das Passwort von {username} setzen",
+    "account.setPasswordNote": "{username} wird überall abgemeldet und meldet sich ab jetzt mit diesem Passwort an.",
+    "account.setPasswordSubmit": "Das Passwort setzen",
+    "account.roleOf": "Rolle von {username}",
+    "account.changePassword": "Ihr Passwort ändern",
+    "account.currentPassword": "Aktuelles Passwort",
+    "account.newPassword": "Neues Passwort",
+    "account.repeatPassword": "Neues Passwort, noch einmal",
+    "account.passwordsDiffer": "Die beiden neuen Passwörter unterscheiden sich.",
+    "account.passwordChanged": "Ihr Passwort ist geändert. Andere Browser, die mit Ihrem Konto angemeldet waren, sind abgemeldet.",
+    "account.ownEnvManaged": "Die .env des Servers legt Ihr Konto fest: Ändern Sie ADMIN_PASSWORD dort und starten Sie den Server neu.",
+    "account.remove": "Entfernen",
+    "account.removeQuestion": "{username} entfernen? Das Konto kann sich dann nicht mehr anmelden.",
+    "account.needsWrite": "Diese Seite ändert die Daten, und {username} darf sie nur lesen.",
+    "account.needsAdmin": "Diese Seite ist für Administratoren, und {username} ist keiner.",
+    "account.switchAccount": "Mit einem anderen Konto anmelden",
+    "account.unreachable": "Der Server ist nicht erreichbar. Versuchen Sie es gleich noch einmal.",
+    "account.refusal.wrongCredentials": "Falscher Benutzername oder falsches Passwort.",
+    "account.refusal.tooManyAttempts": "Zu viele Anmeldeversuche von hier. Versuchen Sie es in 15 Minuten wieder.",
+    "account.refusal.signInElsewhere": "Die Anmeldung geschieht auf den Seiten dieser Website.",
+    "account.refusal.signOutElsewhere": "Die Abmeldung geschieht auf den Seiten dieser Website.",
+    "account.refusal.changeElsewhere": "Änderungen geschehen von den Seiten dieser Website aus.",
+    "account.refusal.signInRequired": "Dies ist für die Konten dieser Website: Melden Sie sich an.",
+    "account.refusal.sessionEnded": "Die Sitzung ist zu Ende: Melden Sie sich erneut an.",
+    "account.refusal.wrongToken": "Das ist nicht das ADMIN_TOKEN dieses Servers.",
+    "account.refusal.noAdminToken": "Auf diesem Server ist kein ADMIN_TOKEN gesetzt: Melden Sie sich stattdessen an.",
+    "account.refusal.roleTooLow": "Ihr Konto darf das nicht: Fragen Sie einen Administrator.",
+    "account.refusal.usernameLength": "Ein Benutzername hat {min} bis {max} Zeichen.",
+    "account.refusal.usernameCharacters": "Ein Benutzername enthält Buchstaben, Ziffern, Punkte, Bindestriche und Unterstriche und beginnt mit einem Buchstaben oder einer Ziffer.",
+    "account.refusal.usernameTaken": "Dieser Benutzername ist vergeben.",
+    "account.refusal.passwordEmpty": "Ein Passwort darf nicht leer sein.",
+    "account.refusal.passwordTooLong": "Ein Passwort hat höchstens {max} Zeichen.",
+    "account.refusal.noSuchAccount": "Dieses Konto gibt es nicht mehr.",
+    "account.refusal.nothingToChange": "Senden Sie ein neues Passwort, eine neue Rolle oder beides.",
+    "account.refusal.useChangePassword": "Ändern Sie Ihr eigenes Passwort mit POST /password, das nach dem aktuellen fragt.",
+    "account.refusal.ownRole": "Sie können Ihre eigene Rolle nicht ändern.",
+    "account.refusal.removeYourself": "Sie können das Konto, das Sie verwenden, nicht entfernen.",
+    "account.refusal.lastAdmin": "Der letzte Administrator kann weder entfernt noch herabgestuft werden.",
+    "account.refusal.envManaged": "Die .env des Servers legt dieses Konto fest, es wird dort geändert.",
+    "account.refusal.tokenCannotChangePassword": "Ein Passwort ändert das angemeldete Konto, nicht das ADMIN_TOKEN.",
+    "account.refusal.wrongCurrentPassword": "Das aktuelle Passwort ist nicht dieses.",
+    "account.refusal.accountRemoved": "Das angemeldete Konto wurde entfernt.",
     "ecosystem.tools": "Werkzeuge",
     "ecosystem.menuHeading": "Unsere Werkzeuge, alle im Browser",
     "ecosystem.otherTools": "Unsere weiteren Werkzeuge",

package/lib/locales/en.json

@@ -8,6 +8,69 @@
     "account.signIn": "Sign in",
     "account.signOut": "Sign out",
     "account.signedInAs": "Signed in as {name}",
+    "account.username": "Username",
+    "account.password": "Password",
+    "account.role": "Role",
+    "account.role.read": "Read",
+    "account.role.write": "Read and write",
+    "account.role.admin": "Administrator",
+    "account.you": "you",
+    "account.envManaged": "defined in .env",
+    "account.envManagedTitle": "ADMIN_USERNAME and ADMIN_PASSWORD in the server's .env define this account, so it is changed there.",
+    "account.accounts": "Accounts",
+    "account.accountsNote": "Read sees the data, Read and write also changes it, and Administrator also manages these accounts.",
+    "account.column.added": "Added",
+    "account.column.lastSignIn": "Last sign-in",
+    "account.column.passwordChanged": "Password changed",
+    "account.column.actions": "Change",
+    "account.never": "never",
+    "account.add": "Add an account",
+    "account.addSubmit": "Add the account",
+    "account.added": "{username} can sign in now.",
+    "account.usernameHelp": "Letters, digits, dots, dashes and underscores.",
+    "account.setPassword": "Set password",
+    "account.setPasswordTitle": "Set the password of {username}",
+    "account.setPasswordNote": "{username} is signed out everywhere, and signs in with this password from now on.",
+    "account.setPasswordSubmit": "Set the password",
+    "account.roleOf": "Role of {username}",
+    "account.changePassword": "Change your password",
+    "account.currentPassword": "Current password",
+    "account.newPassword": "New password",
+    "account.repeatPassword": "New password, again",
+    "account.passwordsDiffer": "The two new passwords differ.",
+    "account.passwordChanged": "Your password is changed. Other browsers signed in as you are signed out.",
+    "account.ownEnvManaged": "The server's .env defines your account: change ADMIN_PASSWORD there, then restart the server.",
+    "account.remove": "Remove",
+    "account.removeQuestion": "Remove {username}? It can no longer sign in.",
+    "account.needsWrite": "This page changes the data, and {username} can only read it.",
+    "account.needsAdmin": "This page is for administrators, and {username} is not one.",
+    "account.switchAccount": "Sign in as somebody else",
+    "account.unreachable": "The server cannot be reached. Try again in a moment.",
+    "account.refusal.wrongCredentials": "Wrong username or password.",
+    "account.refusal.tooManyAttempts": "Too many sign-ins from here. Try again in 15 minutes.",
+    "account.refusal.signInElsewhere": "Signing in happens on this site's own pages.",
+    "account.refusal.signOutElsewhere": "Signing out happens on this site's own pages.",
+    "account.refusal.changeElsewhere": "Changes are made from this site's own pages.",
+    "account.refusal.signInRequired": "This is for the accounts of this site: sign in.",
+    "account.refusal.sessionEnded": "The session has ended: sign in again.",
+    "account.refusal.wrongToken": "That is not the ADMIN_TOKEN of this server.",
+    "account.refusal.noAdminToken": "No ADMIN_TOKEN is set on this server: sign in instead.",
+    "account.refusal.roleTooLow": "Your account cannot do this: ask an administrator.",
+    "account.refusal.usernameLength": "A username has {min} to {max} characters.",
+    "account.refusal.usernameCharacters": "A username holds letters, digits, dots, dashes and underscores, and starts with a letter or a digit.",
+    "account.refusal.usernameTaken": "That username is taken.",
+    "account.refusal.passwordEmpty": "A password cannot be empty.",
+    "account.refusal.passwordTooLong": "A password has at most {max} characters.",
+    "account.refusal.noSuchAccount": "That account no longer exists.",
+    "account.refusal.nothingToChange": "Send a new password, a new role, or both.",
+    "account.refusal.useChangePassword": "Change your own password with POST /password, which asks for the current one.",
+    "account.refusal.ownRole": "You cannot change your own role.",
+    "account.refusal.removeYourself": "You cannot remove the account you are using.",
+    "account.refusal.lastAdmin": "The last administrator can be neither removed nor demoted.",
+    "account.refusal.envManaged": "The server's .env defines this account, so it is changed there.",
+    "account.refusal.tokenCannotChangePassword": "A password is changed by the account signed in, not with the ADMIN_TOKEN.",
+    "account.refusal.wrongCurrentPassword": "The current password is not that one.",
+    "account.refusal.accountRemoved": "The account signed in was removed.",
     "ecosystem.tools": "Tools",
     "ecosystem.menuHeading": "Our tools, all in the browser",
     "ecosystem.otherTools": "Our other tools",

package/lib/locales/es.json

@@ -8,6 +8,69 @@
     "account.signIn": "Iniciar sesión",
     "account.signOut": "Cerrar sesión",
     "account.signedInAs": "Sesión iniciada como {name}",
+    "account.username": "Nombre de usuario",
+    "account.password": "Contraseña",
+    "account.role": "Rol",
+    "account.role.read": "Lectura",
+    "account.role.write": "Lectura y escritura",
+    "account.role.admin": "Administrador",
+    "account.you": "usted",
+    "account.envManaged": "definida en .env",
+    "account.envManagedTitle": "ADMIN_USERNAME y ADMIN_PASSWORD, en el .env del servidor, definen esta cuenta, que se cambia allí.",
+    "account.accounts": "Cuentas",
+    "account.accountsNote": "Lectura ve los datos, Lectura y escritura también los cambia, y Administrador también gestiona estas cuentas.",
+    "account.column.added": "Añadida",
+    "account.column.lastSignIn": "Último inicio de sesión",
+    "account.column.passwordChanged": "Contraseña cambiada",
+    "account.column.actions": "Cambiar",
+    "account.never": "nunca",
+    "account.add": "Añadir una cuenta",
+    "account.addSubmit": "Añadir la cuenta",
+    "account.added": "{username} ya puede iniciar sesión.",
+    "account.usernameHelp": "Letras, cifras, puntos, guiones y guiones bajos.",
+    "account.setPassword": "Fijar contraseña",
+    "account.setPasswordTitle": "Fijar la contraseña de {username}",
+    "account.setPasswordNote": "{username} queda desconectado en todas partes, e inicia sesión con esta contraseña a partir de ahora.",
+    "account.setPasswordSubmit": "Fijar la contraseña",
+    "account.roleOf": "Rol de {username}",
+    "account.changePassword": "Cambiar su contraseña",
+    "account.currentPassword": "Contraseña actual",
+    "account.newPassword": "Nueva contraseña",
+    "account.repeatPassword": "Nueva contraseña, otra vez",
+    "account.passwordsDiffer": "Las dos contraseñas nuevas no coinciden.",
+    "account.passwordChanged": "Su contraseña ha cambiado. Los demás navegadores con su sesión quedan desconectados.",
+    "account.ownEnvManaged": "El .env del servidor define su cuenta: cambie ADMIN_PASSWORD allí y reinicie el servidor.",
+    "account.remove": "Eliminar",
+    "account.removeQuestion": "¿Eliminar {username}? Ya no podrá iniciar sesión.",
+    "account.needsWrite": "Esta página cambia los datos, y {username} solo puede leerlos.",
+    "account.needsAdmin": "Esta página es para administradores, y {username} no lo es.",
+    "account.switchAccount": "Iniciar sesión con otra cuenta",
+    "account.unreachable": "No se puede contactar con el servidor. Inténtelo de nuevo en un momento.",
+    "account.refusal.wrongCredentials": "Nombre de usuario o contraseña incorrectos.",
+    "account.refusal.tooManyAttempts": "Demasiados intentos de inicio de sesión desde aquí. Inténtelo de nuevo dentro de 15 minutos.",
+    "account.refusal.signInElsewhere": "El inicio de sesión se hace desde las páginas de este sitio.",
+    "account.refusal.signOutElsewhere": "El cierre de sesión se hace desde las páginas de este sitio.",
+    "account.refusal.changeElsewhere": "Los cambios se hacen desde las páginas de este sitio.",
+    "account.refusal.signInRequired": "Esto es para las cuentas de este sitio: inicie sesión.",
+    "account.refusal.sessionEnded": "La sesión ha terminado: vuelva a iniciar sesión.",
+    "account.refusal.wrongToken": "Ese no es el ADMIN_TOKEN de este servidor.",
+    "account.refusal.noAdminToken": "Este servidor no tiene ningún ADMIN_TOKEN: inicie sesión en su lugar.",
+    "account.refusal.roleTooLow": "Su cuenta no puede hacer esto: pídaselo a un administrador.",
+    "account.refusal.usernameLength": "Un nombre de usuario tiene de {min} a {max} caracteres.",
+    "account.refusal.usernameCharacters": "Un nombre de usuario contiene letras, cifras, puntos, guiones y guiones bajos, y empieza por una letra o una cifra.",
+    "account.refusal.usernameTaken": "Ese nombre de usuario ya existe.",
+    "account.refusal.passwordEmpty": "Una contraseña no puede estar vacía.",
+    "account.refusal.passwordTooLong": "Una contraseña tiene como máximo {max} caracteres.",
+    "account.refusal.noSuchAccount": "Esa cuenta ya no existe.",
+    "account.refusal.nothingToChange": "Envíe una contraseña nueva, un rol nuevo, o ambos.",
+    "account.refusal.useChangePassword": "Cambie su propia contraseña con POST /password, que pide la actual.",
+    "account.refusal.ownRole": "No puede cambiar su propio rol.",
+    "account.refusal.removeYourself": "No puede eliminar la cuenta que está usando.",
+    "account.refusal.lastAdmin": "El último administrador no puede eliminarse ni degradarse.",
+    "account.refusal.envManaged": "El .env del servidor define esta cuenta, que se cambia allí.",
+    "account.refusal.tokenCannotChangePassword": "Una contraseña la cambia la cuenta con la sesión iniciada, no el ADMIN_TOKEN.",
+    "account.refusal.wrongCurrentPassword": "La contraseña actual no es esa.",
+    "account.refusal.accountRemoved": "La cuenta con la sesión iniciada fue eliminada.",
     "ecosystem.tools": "Herramientas",
     "ecosystem.menuHeading": "Nuestras herramientas, todas en el navegador",
     "ecosystem.otherTools": "Nuestras otras herramientas",

package/lib/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/lib/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/lib/slides/ui/slideSanitizeSchema.d.ts

@@ -4,8 +4,9 @@ import type { Options as SanitizeSchema } from 'rehype-sanitize';
  *
  * 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 declare const SLIDE_SANITIZE_SCHEMA: SanitizeSchema;
 //# sourceMappingURL=slideSanitizeSchema.d.ts.map

package/lib/slides/ui/slideSanitizeSchema.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"slideSanitizeSchema.d.ts","sourceRoot":"","sources":["../../../src/slides/ui/slideSanitizeSchema.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,IAAI,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAGjE;;;;;;;GAOG;AACH,eAAO,MAAM,qBAAqB,EAAE,cAiBnC,CAAC"}
+{"version":3,"file":"slideSanitizeSchema.d.ts","sourceRoot":"","sources":["../../../src/slides/ui/slideSanitizeSchema.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,IAAI,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAuEjE;;;;;;;;GAQG;AACH,eAAO,MAAM,qBAAqB,EAAE,cAmBnC,CAAC"}

package/lib/slides/ui/slideSanitizeSchema.js

@@ -1,11 +1,77 @@
 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 = {
+    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 = {
     ...defaultSchema,
@@ -18,11 +84,25 @@ export const SLIDE_SANITIZE_SCHEMA = {
         '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() {
+    const attributes = {};
+    for (const element of MATHML_ELEMENTS) {
+        attributes[element] = MATHML_ATTRIBUTES[element] ?? MATHML_GLOBAL;
+    }
+    return attributes;
+}
 //# sourceMappingURL=slideSanitizeSchema.js.map

package/lib/slides/ui/slideSanitizeSchema.js.map

@@ -1 +1 @@
-{"version":3,"file":"slideSanitizeSchema.js","sourceRoot":"","sources":["../../../src/slides/ui/slideSanitizeSchema.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAEhD;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAmB;IACnD,GAAG,aAAa;IAChB,QAAQ,EAAE;QACR,GAAG,CAAC,aAAa,CAAC,QAAQ,IAAI,EAAE,CAAC;QACjC,SAAS;QACT,YAAY;QACZ,QAAQ;QACR,QAAQ;QACR,MAAM;QACN,OAAO;QACP,GAAG;KACJ;IACD,UAAU,EAAE;QACV,GAAG,aAAa,CAAC,UAAU;QAC3B,MAAM,EAAE,CAAC,KAAK,EAAE,iBAAiB,CAAC;QAClC,GAAG,EAAE,CAAC,GAAG,CAAC,aAAa,CAAC,UAAU,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,EAAE,WAAW,CAAC;KAC/D;CACF,CAAC"}
+{"version":3,"file":"slideSanitizeSchema.js","sourceRoot":"","sources":["../../../src/slides/ui/slideSanitizeSchema.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAEhD;;;GAGG;AACH,MAAM,eAAe,GAAG;IACtB,MAAM;IACN,QAAQ;IACR,OAAO;IACP,IAAI;IACJ,eAAe;IACf,IAAI;IACJ,IAAI;IACJ,OAAO;IACP,SAAS;IACT,UAAU;IACV,aAAa;IACb,OAAO;IACP,MAAM;IACN,IAAI;IACJ,QAAQ;IACR,OAAO;IACP,QAAQ;IACR,MAAM;IACN,SAAS;IACT,MAAM;IACN,QAAQ;IACR,KAAK;IACL,OAAO;IACP,KAAK;IACL,QAAQ;IACR,YAAY;IACZ,WAAW;IACX,YAAY;CACb,CAAC;AAEF;;;GAGG;AACH,MAAM,aAAa,GAAG,CAAC,KAAK,EAAE,cAAc,EAAE,aAAa,EAAE,aAAa,CAAC,CAAC;AAE5E,8EAA8E;AAC9E,MAAM,iBAAiB,GAA6B;IAClD,IAAI,EAAE,CAAC,GAAG,aAAa,EAAE,SAAS,EAAE,SAAS,CAAC;IAC9C,EAAE,EAAE;QACF,GAAG,aAAa;QAChB,MAAM;QACN,OAAO;QACP,WAAW;QACX,QAAQ;QACR,QAAQ;QACR,UAAU;QACV,WAAW;QACX,SAAS;QACT,SAAS;QACT,SAAS;QACT,eAAe;KAChB;IACD,KAAK,EAAE,CAAC,GAAG,aAAa,EAAE,eAAe,CAAC;IAC1C,MAAM,EAAE,CAAC,GAAG,aAAa,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC;IACtD,OAAO,EAAE,CAAC,GAAG,aAAa,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS,CAAC;IAC5E,KAAK,EAAE,CAAC,GAAG,aAAa,EAAE,QAAQ,CAAC;IACnC,MAAM,EAAE,CAAC,GAAG,aAAa,EAAE,aAAa,CAAC;IACzC,UAAU,EAAE,CAAC,GAAG,aAAa,EAAE,QAAQ,EAAE,aAAa,CAAC;IACvD,GAAG,EAAE,CAAC,GAAG,aAAa,EAAE,YAAY,EAAE,SAAS,CAAC;IAChD,UAAU,EAAE,CAAC,UAAU,CAAC;CACzB,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAmB;IACnD,GAAG,aAAa;IAChB,QAAQ,EAAE;QACR,GAAG,CAAC,aAAa,CAAC,QAAQ,IAAI,EAAE,CAAC;QACjC,SAAS;QACT,YAAY;QACZ,QAAQ;QACR,QAAQ;QACR,MAAM;QACN,OAAO;QACP,GAAG;QACH,GAAG,eAAe;KACnB;IACD,UAAU,EAAE;QACV,GAAG,aAAa,CAAC,UAAU;QAC3B,GAAG,gBAAgB,EAAE;QACrB,MAAM,EAAE,CAAC,KAAK,EAAE,iBAAiB,CAAC;QAClC,GAAG,EAAE,CAAC,GAAG,CAAC,aAAa,CAAC,UAAU,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,EAAE,WAAW,CAAC;KAC/D;CACF,CAAC;AAEF;;;;GAIG;AACH,SAAS,gBAAgB;IACvB,MAAM,UAAU,GAA6B,EAAE,CAAC;IAChD,KAAK,MAAM,OAAO,IAAI,eAAe,EAAE,CAAC;QACtC,UAAU,CAAC,OAAO,CAAC,GAAG,iBAAiB,CAAC,OAAO,CAAC,IAAI,aAAa,CAAC;IACpE,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "react-cheminfo",
-  "version": "0.70.0",
+  "version": "0.71.0",
   "license": "MIT",
   "description": "React components, hooks and framework-free helpers shared by the cheminfo sites: site chrome, citations, sharing, routing, pedagogy, charts, and the structure, orbital and 3D molecule viewers",
   "author": "Luc Patiny",

package/src/about/core/providers.ts

@@ -42,4 +42,11 @@ export const PROVIDERS = [
     href: 'https://www.epfl.ch',
     location: 'Lausanne, Switzerland',
   },
+  {
+    id: 'unil-esc',
+    name: 'ESC',
+    fullName: 'École des sciences criminelles, Université de Lausanne',
+    href: 'https://www.unil.ch/esc/',
+    location: 'Lausanne, Switzerland',
+  },
 ] as const satisfies readonly ProviderEntry[];

package/src/about/ui/AboutProvidedBy.tsx

@@ -88,11 +88,30 @@ function ProviderLogo(props: { provider: ProviderEntry }): ReactElement {
   switch (provider.id) {
     case 'epfl':
       return <EpflLogo label={label} />;
+    case 'unil-esc':
+      return <UnilEscLockup label={label} />;
     default:
       return <span>{provider.name}</span>;
   }
 }
 
+// The school's name set in type beside its university's, in the black the
+// university writes its name in: no drawing of its emblem is kept here, and a
+// name nobody can misread credits it better than a guess at one.
+function UnilEscLockup(props: { label: string }): ReactElement {
+  return (
+    <span role="img" aria-label={props.label} style={UNIL_LOCKUP_STYLE}>
+      <span style={UNIL_NAME_STYLE}>UNIL</span>
+      <span style={UNIL_RULE_STYLE} />
+      <span style={UNIL_SCHOOL_STYLE}>
+        École des
+        <br />
+        sciences criminelles
+      </span>
+    </span>
+  );
+}
+
 function EpflLogo(props: { label: string }): ReactElement {
   return (
     <svg
@@ -173,3 +192,33 @@ const ROLES_STYLE = {
   paddingLeft: 20,
   borderTop: '1px solid var(--border)',
 } as const satisfies CSSProperties;
+
+const UNIL_LOCKUP_STYLE = {
+  display: 'flex',
+  alignItems: 'center',
+  gap: 8,
+  height: 31,
+  // The institution's own colour, not a family token: the tile is white on
+  // every theme.
+  color: 'black',
+} as const satisfies CSSProperties;
+
+const UNIL_NAME_STYLE = {
+  fontSize: 24,
+  fontWeight: 800,
+  letterSpacing: '0.02em',
+  lineHeight: 1,
+} as const satisfies CSSProperties;
+
+const UNIL_RULE_STYLE = {
+  alignSelf: 'stretch',
+  width: 1,
+  background: 'black',
+} as const satisfies CSSProperties;
+
+const UNIL_SCHOOL_STYLE = {
+  fontSize: 10.5,
+  fontWeight: 600,
+  lineHeight: 1.15,
+  whiteSpace: 'nowrap',
+} as const satisfies CSSProperties;