|
55 | 55 |
|
56 | 56 | <meta name="viewport" content="width=device-width, initial-scale=1.0"> |
57 | 57 | <style> |
58 | | - html, body { margin: 0; padding: 0; background-color: #EEE; color: black; font: 1em normal "Verdana","Arial","Georgia",sans-serif; text-align: center;} |
59 | | - .frame { width: 960px; margin: 0 auto; padding: 2em 5px; text-align: left; } |
| 58 | + html, body { margin: 0; padding: 0; width: 100%; height: 100%; background-color: #CCC; color: black; font: 1em normal "Verdana","Arial","Georgia",sans-serif; text-align: center;} |
| 59 | + a { text-decoration: underline; color: #A00; } |
| 60 | + a:hover { text-decoration: none !important; } |
| 61 | + .frame { width: 960px; height: 100%; margin: 0 auto; padding: 2em 5px; text-align: left; background-color: #EEE; border: 1px none solid #AAA; } |
| 62 | + .content { } |
60 | 63 | h1 { width: 100%; font 1.5em bold; line-height: 1.05em; margin-bottom: 2em; } |
61 | 64 | p { margin-bottom: 1em; padding: 0 5px; } |
62 | | - |
63 | | - |
| 65 | + a.button { display: box; padding: 0.5em 1em; color: #FFF; background-color: #0D0; text-align: center; vertical-align: center; font: 1.3em bold; text-decoration: none; } |
| 66 | + a.button:hover { background-color: #F00 !important; } |
64 | 67 | </style> |
65 | 68 | </head> |
66 | 69 |
|
67 | 70 | <body> |
68 | 71 | <div class="frame"> |
69 | | - <h1>This webCAT instance moved!<h1> |
70 | | - <p class="explain"> |
71 | | - This <a href="http://sems.uni-rostock.de/cat" target="_blank">webCAT</a> instance move to a new domain. To ensure you can still access your pressures workspaces and archives |
72 | | - you can migrate the history cookie, which contains all the workspace ids. To do so please click on the button down below. |
73 | | - </p> |
74 | | - <p class="button"> |
75 | | - </p> |
| 72 | + <div class="content"> |
| 73 | + <h1>This webCAT instance moved!<h1> |
| 74 | + <p class="explain"> |
| 75 | + This <a href="http://sems.uni-rostock.de/cat" target="_blank">webCAT</a> instance move to a new domain. To ensure you can still access your pressures workspaces and archives |
| 76 | + you can migrate the history cookie, which contains all the workspace ids. To do so please click on the button down below. |
| 77 | + </p> |
| 78 | + <p class="button"> |
| 79 | + <a class="button" href="<?php echo($redirect_url); ?>">Migrate Workspaces</a> |
| 80 | + </p> |
| 81 | + <p class="ws-list"> |
| 82 | + Following workspaces were found: |
| 83 | + <ul> |
| 84 | + <?php foreach( $result as $entry ) { ?><li><code><?php echo($entry); ?></code></li><?php } ?> |
| 85 | + </ul> |
| 86 | + </p> |
| 87 | + </div> |
76 | 88 | </div> |
77 | 89 | </body> |
78 | 90 | </html> |
0 commit comments