-A.el { text-decoration: none; font-weight: bold }
-A.elRef { font-weight: bold }
-A.code:link { text-decoration: none; font-weight: normal; color: #BA3708}
-A.code:visited { text-decoration: none; font-weight: normal; color: #BA3708}
-A.codeRef:link { font-weight: normal; color: #BA3708}
-A.codeRef:visited { font-weight: normal; color: #BA3708}
-A:hover { text-decoration: none; background-color: #ffff00 }
-DL.el { margin-left: -1cm }
+a.el {
+ text-decoration: none;
+ font-weight: bold
+}
+
+a.elRef { font-weight: bold }
+
+a.code:link {
+ text-decoration: none;
+ font-weight: normal;
+ color: #BA3708
+}
+
+a.code:visited {
+ text-decoration: none;
+ font-weight: normal;
+ color: #BA3708
+}
+
+a.codeRef:link {
+ font-weight: normal;
+ color: #BA3708
+}
+
+a.codeRef:visited {
+ font-weight: normal;
+ color: #BA3708
+}
+
+a:hover {
+ text-decoration: none;
+ background-color: #ffff00
+}
+
+dl.el { margin-left: -1cm }