Use nicer formatting for keyboard shortcuts

Issue: n/a
mlopatkin · Dec 30, 2023 · 6f241ab · 6f241ab
1 parent 9faa8ed
commit 6f241ab
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 2 deletions.
diff --git a/docs/site/content/adb_mode/_index.en.md b/docs/site/content/adb_mode/_index.en.md
@@ -13,8 +13,8 @@ to connect to.
 
 ![Device selection window](select_device.png)
 
-"ADB > Reset logs" command clears already retrieved logs, bookmarks
-and processes list.
+"ADB > Reset logs" command or <kbd><kbd>Ctrl</kbd><kbd>R</kbd></kbd> clears already retrieved logs,
+bookmarks and processes list.
 
 ## ADB Configuration
 

diff --git a/docs/site/static/custom.css b/docs/site/static/custom.css
@@ -0,0 +1,7 @@
+kbd > kbd {
+    border-radius: 3px;
+    padding: 1px 2px 0;
+    margin: 0 2px 2px 2px;
+    border: 1px solid black;
+    font-size: 95%;
+}