Differences From Artifact [e65248aef0]:

• File src/default.css — part of check-in [e5f79f4fa5] at 2020-08-15 10:14:47 on branch line-number-selection — Shrink the line number column just a tick. (user: stephan size: 24571)

To Artifact [e46862688d]:

• File src/default.css — part of check-in [8a6ccf9ddd] at 2020-08-16 00:50:31 on branch line-number-selection — Removed the copy button's hard-coded post-copy behaviour (flashing) and instead fire a text-copied event. The line number selection now closes the popup widget after the copy button is triggered. Implemented a basic toast-message API using PopupWidget. (user: stephan size: 24807)

1248
1249
1250
1251
1252
1253
1254

  position: absolute;
  display: inline-block;
  z-index: 100;
  box-shadow: 2px 2px 6px rgba(0, 0, 0, 0.75);
  background-color: inherit;
  font-size: 80%;
}

>
>
>
>
>
>
>
>
>
>
>

1248
1249
1250
1251
1252
1253
1254
1255
1256
1257
1258
1259
1260
1261
1262
1263
1264
1265

  position: absolute;
  display: inline-block;
  z-index: 100;
  box-shadow: 2px 2px 6px rgba(0, 0, 0, 0.75);
  background-color: inherit;
  font-size: 80%;
}

.fossil-toast {/* "toast"-style popup message */
  padding: 0.25em 0.5em;
  margin: 0;
  border-radius: 0.25em;
  font-size: 1em;
  opacity: 0.8;
  border-size: 1px;
  border-style: dotted;
  border-color: rgb( 127, 127, 127, 0.5 );
}