phd_thesis/docs/libs/gitbook-2.6.7/css/plugin-clipboard.css

div.sourceCode {
  position: relative;
}

.copy-to-clipboard-button {
  position: absolute;
  right: 0;
  top: 0;
  visibility: hidden;
}

.copy-to-clipboard-button:focus {
  outline: 0;
}

div.sourceCode:hover > .copy-to-clipboard-button {
  visibility: visible;
}