253
254
255
256
257
258
259
260
261
262
263
264
265
266
|
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
|
+
+
+
+
+
+
+
+
+
+
+
|
font-style: normal;
color: #809102;
}
a.rel-bookmark.note-permlink::after {
content: '\f897';
margin-left: 4px;
}
div.note a.rel-bookmark.note-permlink::after {
content: '';
}
div.note a.rel-bookmark.note-permlink::before {
font-family: ◊body-font;
font-size: 1rem;
content: '\00b6';
margin-left: -0.9rem;
float: left;
margin-top: -2px;
}
a.rel-bookmark:hover::after {
color: #aaba16;
}
a.cross-reference:link,
a.cross-reference:visited {
|
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
|
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
|
+
-
+
+
+
+
+
|
text-transform: lowercase;
}
div.note h3 {
margin-top: 0;
font-size: 1rem;
font-weight: normal;
font-family: ◊mono-font;
font-style: italic;
font-size: 0.7rem;
background: #f3f3f3;
border-top: solid #b6b6b6 1px;
padding-left: 0.2rem;
margin-bottom: 0.3rem;
}
div.note-meta {
margin-top: ◊x-lineheight[1];
color: #888;
font-size: 1.2rem;
}
|
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
|
722
723
724
725
726
727
728
729
730
731
732
733
734
735
|
-
-
-
-
|
div.further-notes>h2 {
width: calc(100% + 8rem);
margin-left: -8rem;
}
div.note h3 {
float: left;
margin-left: -8rem;
width: 7rem;
text-align: right;
|
