/* Bar widths of the recorded example answers and code indents. Generated by tools/make_examples.py. */
.w00000 { --w: 0.0060; }
.w00003 { --w: 0.0060; }
.w00005 { --w: 0.0060; }
.w00006 { --w: 0.0060; }
.w00009 { --w: 0.0060; }
.w00019 { --w: 0.0060; }
.w00037 { --w: 0.0060; }
.w00053 { --w: 0.0060; }
.w09942 { --w: 0.9942; }
.w09944 { --w: 0.9944; }
.w09988 { --w: 0.9988; }
.w09994 { --w: 0.9994; }
.code .ln.i0 { padding-left: 2ch; text-indent: -2ch; }
.code .ln.i2 { padding-left: 4ch; text-indent: -4ch; }
.code .ln.i4 { padding-left: 6ch; text-indent: -6ch; }
.code .ln.i6 { padding-left: 8ch; text-indent: -8ch; }
.code .ln.i8 { padding-left: 10ch; text-indent: -10ch; }