776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
|
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
|
-
-
-
-
+
-
-
-
-
-
-
+
+
-
-
-
-
+
+
-
-
-
-
+
-
+
-
+
-
|
{ ".filetree",
"tree-view file browser",
@ margin: 1em 0;
@ line-height: 1.5;
},
{ ".filetree ul",
"tree-view lists",
@ display: inline;
@ margin: 0;
@ padding: 0;
},
{ ".filetree li",
"tree-view list items",
@ list-style: none;
@ display: inline;
},
/* There is exactly one element with class="subdir". That element is
** the name of the directory specified by the "name=" query parameter,
** and the directory described by the text at the top of the page. */
{ ".filetree .subdir ul",
"tree-view lists below subdir",
{ ".filetree ul ul",
"tree-view lists below the root",
@ position: relative;
@ display: block;
@ margin: 0 0 0 21px;
@ padding: 0;
},
{ ".filetree .subdir li",
"tree-view lists items below subdir",
{ ".filetree li",
"tree-view lists items",
@ position: relative;
@ display: block;
@ margin: 0;
@ padding: 0;
},
{ ".filetree .subdir li:before",
{ ".filetree li li:before",
"tree-view node lines",
@ content: '';
@ position: absolute;
@ top: -.8em;
@ left: -14px;
@ width: 14px;
@ height: 1.5em;
@ border-left: 2px solid #aaa;
@ border-bottom: 2px solid #aaa;
},
{ ".filetree .subdir > ul ul:before",
{ ".filetree ul ul:before",
"tree-view directory lines",
@ content: '';
@ position: absolute;
@ top: -1.5em;
@ bottom: 0;
@ left: -35px;
@ border-left: 2px solid #aaa;
},
{ ".filetree .subdir li:last-child > ul:before",
{ ".filetree li:last-child > ul:before",
"hide lines for last-child directories",
@ display: none;
},
{ ".filetree a",
"tree-view links",
@ position: relative;
@ z-index: 1;
@ display: inline-block;
@ min-height: 16px;
@ margin-right: .5em;
@ padding-left: 21px;
@ background-image: url(data:image/gif;base64,R0lGODlhEAAQAJEAAP\/\/\/yEhIf\/\/\/wAAACH5BAEHAAIALAAAAAAQABAAAAIvlIKpxqcfmgOUvoaqDSCxrEEfF14GqFXImJZsu73wepJzVMNxrtNTj3NATMKhpwAAOw==);
@ background-position: center left;
@ background-repeat: no-repeat;
},
{ ".filetree .dir > a",
"tree-view directory links",
|