Commit42ade08

authored

Make copy button appear when hovered (#243)

1 parent5d07825 commit42ade08Copy full SHA for 42ade08

File tree

-0

lines changed

-0

lines changed

Lines changed: 9 additions & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -451,6 +451,7 @@ div.genindex-jumpbox a {`
`451`	`451`	`color:#000;`
`452`	`452`	`background-color:#fff;`
`453`	`453`	`border:1px solid#ac9;/* follows div.body pre */`
	`454`	`+display: none;`
`454`	`455`	`}`
`455`	`456`
`456`	`457`	`.copybutton:hover {`
`@@ -461,6 +462,14 @@ div.genindex-jumpbox a {`
`461`	`462`	`background-color:#ddd;`
`462`	`463`	`}`
`463`	`464`
	`465`	`+.highlight:active .copybutton {`
	`466`	`+display: block;`
	`467`	`+}`
	`468`	`+`
	`469`	`+.highlight:hover .copybutton {`
	`470`	`+display: block;`
	`471`	`+}`
	`472`	`+`
`464`	`473`	`@media (max-width:1023px) {`
`465`	`474`	`/* Body layout */`
`466`	`475`	`div.body {`

Comments

(0)