Fossil

Differences From Artifact [c3fbc944b0]:

• File src/default.css — part of check-in [79023c9273] at 2020-09-12 12:21:11 on branch trunk — Milestone: eliminated the remaining assign-to-DOMElement.innerHTML in the fossil.*.js APIs (ostensible security enhancement), thanks to the DOMParser interface. Fixed an obscure minor bug in /fileedit where a commit message which contained HTML tags could cause the page to misbehave if the 'response manifest' debugging option was turned on. (user: stephan size: 29906)

To Artifact [e01a7b9e32]:

• File src/default.css — part of check-in [f5c040869d] at 2020-09-14 10:48:44 on branch trunk — Renamed fossil.pikchr-util.js to fossil.pikchr.js. Minor UI tweaks in the pikchr-related bits. (user: stephan size: 29930)

903
904
905
906
907
908
909

910
911
912
913
914
915
916

903
904
905
906
907
908
909
910
911
912
913
914
915
916
917

+

d='M10,4.4v1.6h1.6zm-4,-0.6h3v3h-3zm0,3h6v5.4h-6z'/%3E%3Cpath style='fill:rgb(80,128,208)' \
d='M7,8h4v1h-4zm0,2h4v1h-4z'/%3E%3C/svg%3E");
  background-repeat: no-repeat;
  background-position: center;
  cursor: pointer;
}
.copy-button.disabled {
  filter: grayscale(1);
  opacity: 0.4;
}
.copy-button-flipped {
/*Note: .16em is suitable for element grouping.*/
  margin-left: .16em;
  margin-right: 0;
}