Add an border around the Run button

tesuji · tesuji · commit 174abeb6cb95 · 2020-07-19T04:31:01.000Z
diff --git a/src/librustdoc/html/static/themes/ayu.css b/src/librustdoc/html/static/themes/ayu.css
@@ -318,6 +318,7 @@ a.test-arrow {
 	font-size: 100%;
 	color: #788797;
 	border-radius: 4px;
+	box-shadow: 0 0 0 1px #424c57,0 0 0 2px transparent;
 	background-color: rgba(255, 255, 255, 0);
 }
 

Original file line number	Diff line number	Diff line change
`@@ -318,6 +318,7 @@ a.test-arrow {`
`318`	`318`	`font-size: 100%;`
`319`	`319`	`color: #788797;`
`320`	`320`	`border-radius: 4px;`
	`321`	`+ box-shadow: 0 0 0 1px #424c57,0 0 0 2px transparent;`
`321`	`322`	`background-color: rgba(255, 255, 255, 0);`
`322`	`323`	`}`
`323`	`324`