Documentation: improve menuselection tag appearance

2020-11-21 19:52:44 -03:00 · 2020-11-21 19:52:44 -03:00 · 2c2f2bc795
commit 2c2f2bc795
parent e9bd306265
1 changed files with 8 additions and 0 deletions
--- a/Documentation/_static/custom.css
+++ b/Documentation/_static/custom.css
@ -78,3 +78,11 @@ kbd {
  -webkit-border-radius: 3px;
  text-shadow: 0 1px 0 #fff;
 }
+
+span.menuselection
+{
+  margin: 0px 0.1em;
+  padding: 0.1em 0.1em;
+  border-radius: 3px;
+  border: 1px solid rgb(204, 204, 204);
+}