From 1e322a3407fd36559ebb00bbf6839385929b7ee6 Mon Sep 17 00:00:00 2001 From: Gabriel Augendre Date: Sat, 16 Nov 2019 12:53:09 +0100 Subject: [PATCH] Add CSS --- _config.yml | 1 + assets/css/style.scss | 18 ++++++++++++++++++ guides/copy-files-on-usb/index.md | 4 ++-- 3 files changed, 21 insertions(+), 2 deletions(-) create mode 100644 assets/css/style.scss diff --git a/_config.yml b/_config.yml index 763cbbc..dfd0095 100644 --- a/_config.yml +++ b/_config.yml @@ -33,6 +33,7 @@ github_username: Crocmagnon theme: jekyll-theme-cayman # plugins: # - jekyll-feed +show_downloads: false # Exclude from processing. # The following items will not be processed, by default. diff --git a/assets/css/style.scss b/assets/css/style.scss new file mode 100644 index 0000000..cb87482 --- /dev/null +++ b/assets/css/style.scss @@ -0,0 +1,18 @@ +--- +--- +@import "{{ site.theme }}"; + +// start content +kbd { + display: inline-block; + padding: .3rem .4rem; + font: .8rem SFMono-Regular,Consolas,Liberation Mono,Menlo,monospace; + line-height: normal; + line-height: 10px; + color: #444d56; + vertical-align: middle; + background-color: #fafbfc; + border: 1px solid #d1d5da; + border-radius: 3px; + box-shadow: inset 0 -1px 0 #d1d5da; +} diff --git a/guides/copy-files-on-usb/index.md b/guides/copy-files-on-usb/index.md index e8db2a0..d701724 100644 --- a/guides/copy-files-on-usb/index.md +++ b/guides/copy-files-on-usb/index.md @@ -18,7 +18,7 @@ Une vidéo est disponible en-dessous. Vous pouvez la passer en plein écran pour 2. Ouvrir une fenêtre avec la clé USB : 1. Si la fenêtre de l'Explorateur Windows n'apparaît pas automatiquement, ouvrir l'Explorateur Windows : * soit via le bouton jaune dans la barre des tâches (en bas) - * soit en utilisant le raccourci clavier Windows+E. La touche Windows est celle avec le drapeau, à gauche ou à droite de la barre d'espace en bas du clavier. + * soit en utilisant le raccourci clavier Windows + E. La touche Windows est celle avec le drapeau, à gauche ou à droite de la barre d'espace en bas du clavier. 2. Dans la fenêtre qui apparaît, cliquer sur "Ce PC" dans le menu de gauche. 3. Double cliquer ensuite sur le "disque" représentant la clé USB, généralement `D:` ou `E:`. Le nom est souvent en rapport avec la marque de la clé USB. 3. Déplacer la fenêtre sur la moitié droite de l'écran : @@ -29,7 +29,7 @@ Une vidéo est disponible en-dessous. Vous pouvez la passer en plein écran pour 4. Ouvrir une fenêtre avec les fichiers à copier : 1. Ouvrir l'Explorateur Windows : * soit via le bouton jaune dans la barre des tâches (en bas) - * soit en utilisant le raccourci clavier Windows+E. La touche Windows est celle avec le drapeau, à gauche ou à droite de la barre d'espace en bas du clavier. + * soit en utilisant le raccourci clavier Windows + E. La touche Windows est celle avec le drapeau, à gauche ou à droite de la barre d'espace en bas du clavier. 2. Naviguer jusqu'au dossier contenant les fichiers à copier. * Cliquer sur les dossiers dans le menu de gauche ou double-cliquer sur les dossiers dans la fenêtre principale. 5. Déplacer la nouvelle fenêtre sur la moitié gauche de l'écran :