summaryrefslogtreecommitdiff
path: root/doc/common/styles/html
ModeNameSize
d---------coqremote78logplain
d---------simple115logplain