bottom: 1em;
right: 1em;
}
+
+/* redirection message ********************************************************/
+.redirection {
+ margin: 5px;
+ padding: 2px;
+
+ font-size: 80%;
+
+ background-color: #fafafa;
+ color: #888888;
+
+ border-color: #eeeeee;
+ border-width: 1px;
+ border-style: dotted
+}
+
+.redirection input[type="button"] {
+ background-color: inherit;
+
+ color: #008800;
+
+ border-width: 0;
+}
+
+.redirection input[type="button"]:hover {
+ color: #880000;
+}
</textData>
</page>