Fossil

Diff
Login

Diff

Annotate Patch Side-by-side Diff

Differences From Artifact [9e1371e4d5]:

To Artifact [993ebf5de2]:

︙
614
615
616
617
618
619
620
621

622
623
624
625
626
627
628
629
630
631
632
633
634
635


636
637
638

639
640
641
642

643
644
645

646
647
648
649
650

651
652
653
654
655



656
657
658
659
660
661
662

614
615
616
617
618
619
620

621
622
623
624
625
626
627
628
629
630
631
632
633


634
635
636
637

638
639
640
641

642
643
644

645
646
647
648
649

650
651
652



653
654
655
656
657
658
659
660
661
662








-
+












-
-
+
+


-
+



-
+


-
+




-
+


-
-
-
+
+
+








ol,
p,
pre,
table,
ul {
  margin-bottom: 1.5rem
}
.header {
header {
  color: #888;
  font-weight: 400;
  padding-top: 10px;
  border-width: 0
}
.filetree li > ul:before,
.filetree li li:before {
  border-left: 2px solid #888;
  content: '';
  position: absolute
}
.filetree>ul,
.header .logo,
.header .logo h1 {
header .logo,
header .logo h1 {
  display: inline-block
}
.header .login {
header .login {
  padding-top: 2px;
  text-align: right
}
.header .login .button {
header .login .button {
  margin: 0
}
.header h1 {
header h1 {
  margin: 0;
  color: #888;
  display: inline-block
}
.header .title h1 {
header .title h1 {
  padding-bottom: 10px
}
.header .login,
.header h1 small,
.header h2 small {
header .login,
header h1 small,
header h2 small {
  color: #777
}
.middle {
  background-color: #1d2021;
  padding-bottom: 20px;
  max-width: 100%;
  box-sizing: border-box
︙
682
683
684
685
686
687
688
689

690
691
692
693
694

695
696
697
698
699

700
701
702
703
704
705
706

682
683
684
685
686
687
688

689
690
691
692
693

694
695
696
697
698

699
700
701
702
703
704
705
706








-
+




-
+




-
+








}
.artifact_content blockquote:first-of-type {
  padding: 1px 20px;
  margin: 0 0 20px;
  background: #000;
  border-radius: 5px
}
.footer {
footer {
  padding: 10px 0 60px;
  border-top: 0;
  color: #888
}
.footer a {
footer a {
  color: #527b8f;
  background-repeat: no-repeat;
  background-position: center top 10px
}
.footer a:hover {
footer a:hover {
  color: #eef8ff
}
.mainmenu {
  background-color: #161819;
  border-top-right-radius: 15px;
  border-top-left-radius: 15px;
  clear: both
︙
731
732
733
734
735
736
737
738

739
740
741
742
743
744
745

731
732
733
734
735
736
737

738
739
740
741
742
743
744
745








-
+








.mainmenu li:hover {
  background-color: #ff8000;
  border-radius: 5px
}
.mainmenu li:hover a {
  color: #000
}
div#hbdrop {
nav#hbdrop {
  background-color: #161819;
  border-radius: 15px;
  display: none;
  width: 100%;
  position: absolute;
  z-index: 20;
}
︙