summaryrefslogtreecommitdiff
path: root/source/_includes
ModeNameSize
-rw-r--r--alphlist.html452logplain
-rw-r--r--footer.html250logplain
-rw-r--r--image.html1856logplain
-rw-r--r--navigation.html200logplain
-rw-r--r--preamble.html1315logplain
d---------proof74logplain