X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fhtml%2Fcontrol.html;h=08840663cd5f361996b61e7b6aa568ce1ab3fc53;hb=947d5199775402a60ae71e73ffa2ad59221d19b2;hp=98bfebaf4a3bcaa6930f961d423d90fee0650953;hpb=de7919bc2f1c068734c6760af0cb44c6d7022804;p=helm.git diff --git a/helm/on-line/html/control.html b/helm/on-line/html/control.html index 98bfebaf4..08840663c 100644 --- a/helm/on-line/html/control.html +++ b/helm/on-line/html/control.html @@ -26,9 +26,9 @@ td.back { background-color: #e6e6fa; color: brown }