Tutorials

• First steps
• Organising tabs
• Passwords and account
• Changing the theme
• Writing a script
• Sharing a script
• Creating a theme pack

First steps

• Type an address or a search in the top bar. The search engine is chosen in Settings (DuckDuckGo by default).
• The shield shows how many ads and trackers were blocked on the page; one click to turn the blocker off on a site that breaks.
• Private tab: nothing is kept after closing (no history, no cookies).
• Default browser: Settings → “Choose Portail in Windows” on PC, or the button in settings on the phone.

Organising tabs

• Settings → “Tabs and tools”: top, bottom, or in a left or right panel.
• Drag a tab to move it; drop it in the middle of a folder to put it inside.
• Right-click a link: “Open in new tab” or “Open in folder”. Right-click a folder: rename, new tab, close its tabs.
• Your tabs and folders come back at startup; pages only load on the first click.

Passwords and account

• After you sign in to a site, Portail offers to save the password. The key in the address bar fills the form, generates a strong password or fills in your address.
• “…” menu → Account and sync: an optional account brings your favourites, passwords, settings and scripts to both PC and phone. Everything is encrypted on the device before sending.
• Write down your recovery code. It is shown only once. If you forget your password, it is what reopens your data; nobody else can, not even us.

Changing the theme

“…” menu → Extensions → “Arcanes themes” → Install, then one click on a theme: Arcane, Parchemin, Fleur, and the festivals of the year (Beltavae, Imbalvae, Lithavae, Lughvana, Mabosol, Ostavae, Samonokta, Yulsol). They are also in Settings → Theme. The theme stays specific to each device.

Writing a script

“…” menu → Extensions → “New script”. A script starts with a header that says where it runs:

// ==UserScript==
// @name         Mon premier script
// @match        https://example.com/*
// ==/UserScript==

// Ce code tourne sur les pages visées par @match, une fois la page construite.
GM_addStyle('body { outline: 3px solid gold; }');
const bandeau = document.createElement('div');
bandeau.textContent = 'Bonjour depuis Portail !';
document.body.prepend(bandeau);

• A new script is turned off: turn it on yourself. It never runs in a private tab or on Portail’s own pages.
• Like Tampermonkey’s “@grant none”: GM_addStyle(css) and GM_info exist, the other GM_ functions do not.
• With an account, your scripts follow you on PC and phone.

Sharing a script

• Sign in to your account in Portail, then Extensions → your script → “Share”, with a short description.
• Every script is reviewed before it appears in the catalogue. Refused straight away: a script that targets every site (<all_urls>, *://*/*).
• A new version goes through review again; the old one stays online meanwhile. Your nickname is shown, never your e-mail.

Creating a theme pack

A .portext pack is a JSON file, without any code: only names and colours. The ten colours are required, in #rrggbb format.

{
  "format": 1,
  "api": 1,
  "id": "mon-pseudo.mes-themes",
  "version": "1.0.0",
  "nom": { "fr": "Mes thèmes", "en": "My themes" },
  "description": { "fr": "Un thème vert forêt.", "en": "A forest green theme." },
  "auteur": "Mon pseudo",
  "contributes": {
    "themes": [{
      "id": "foret",
      "nom": { "fr": "Forêt", "en": "Forest" },
      "sombre": true,
      "couleurs": {
        "fond": "#0c1a12", "fond2": "#12261a", "surface": "#183022", "surface2": "#1f3b2a",
        "texte": "#e4f2e8", "doux": "#9cbca6", "accent": "#d4af37", "accentTexte": "#e3c25a",
        "accentEncre": "#1a1004", "ligne": "#2f4d3a"
      }
    }]
  }
}

Rules: identifier in lowercase letters, digits, dots and dashes; 64 themes at most; names of 80 characters at most. A pack that breaks a rule is refused as a whole.