Differences From 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)

To Artifact [b1ba7526de]:

• File src/default.css — part of check-in [4f69773183] at 2020-09-17 16:31:21 on branch trunk — Implemented most of the feedback from [https://pikchr.org/home/forumpost/f538d8e7f7], with the exceptions being documented in that thread. /pikchrshow now longer uses the mode-swap feature (seems superfluous there) and tapping anywhere in the body, outside of the source/svg container element, now turns off those buttons on all pikchrs where they are currently visible. Consolidated pikchr-rendering impl for markdown/fossil/pikchrshow/pikchr command. (user: stephan size: 30114)

1383
1384
1385
1386
1387
1388
1389






1390

1383
1384
1385
1386
1387
1388
1389
1390
1391
1392
1393
1394
1395
1396

+
+
+
+
+
+

  border-style: outset;
}

noscript > .error {
  /* Part of the style_emit_noscript_for_js_page() interface. */
  padding: 1em;
  font-size: 150%;
}
.pikchr-src { /* source code view for a pikchr (see fossil.pikchr.js) */
  box-sizing: border-box/*reduces UI shift*/;
  border-width: 1px;
  border-style: dotted;
  overflow: auto;
}