| 80 | |
| 81 | this snippet is for a map containing links to persons |
| 82 | {{{ |
| 83 | <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN"> |
| 84 | <html> |
| 85 | <head> |
| 86 | <title>Empty Title</title> |
| 87 | <style type="text/css"> |
| 88 | #authorMenu {display:none |
| 89 | position:absolute; |
| 90 | z-index:200; /* always on top*/ |
| 91 | |
| 92 | padding-left: 35px; |
| 93 | margin-left: 100px; |
| 94 | margin-top: 1em; |
| 95 | width: 250px; |
| 96 | border: 2px solid rgba(128, 128, 128, 0.5); |
| 97 | border-style: ridge; |
| 98 | border-radius: 10px; |
| 99 | background: rgba(128, 128, 128, 0.5); |
| 100 | <!-- background-color: #777; --> |
| 101 | color: white; |
| 102 | font-size: 0.95em; |
| 103 | } |
| 104 | </style> |
| 105 | <script type="text/javascript"> |
| 106 | function showElement(layer){ |
| 107 | var myLayer = document.getElementById(layer); |
| 108 | if(myLayer.style.display=="none"){ |
| 109 | myLayer.style.display="block"; |
| 110 | myLayer.backgroundPosition="top"; |
| 111 | } else { |
| 112 | myLayer.style.display="none"; |
| 113 | } |
| 114 | } |
| 115 | </script> |
| 116 | </head> |
| 117 | |
| 118 | |
| 119 | <body> |
| 120 | <!-- insert menu here --> |
| 121 | |
| 122 | ${DIAGRAM} |
| 123 | </body> |
| 124 | </html> |
| 125 | }}} |