WebKit/gtk/resources/error.html
changeset 0 4f2f89ce4247
equal deleted inserted replaced
-1:000000000000 0:4f2f89ce4247
       
     1 <html>
       
     2 <head>
       
     3 <title>Error</title>
       
     4 <style type="text/css">
       
     5 body {
       
     6  background-color: #fff;
       
     7  margin: 0;
       
     8  padding: 0;
       
     9 }
       
    10 
       
    11 #errorContainer {
       
    12  background: #fff;
       
    13  min-width: 35em;
       
    14  max-width: 35em;
       
    15  position: absolute;
       
    16  top: 2em;
       
    17  left: 1em;
       
    18  padding: 10px;
       
    19  border: 2px solid #eee;
       
    20  -webkit-border-radius: 5px;
       
    21 }
       
    22 
       
    23 #errorTitleText {
       
    24  font-size: 120%;
       
    25  font-weight: bold;
       
    26 }
       
    27 
       
    28 #errorMessageText {
       
    29  font-size: 80%;
       
    30 }
       
    31 
       
    32 </style>
       
    33 <script type="text/javascript">
       
    34 
       
    35 function tryagain()
       
    36 {
       
    37  location.reload();
       
    38 }
       
    39 </script>
       
    40 </head>
       
    41 <body>
       
    42 <div id="errorContainer">
       
    43 
       
    44 <div id="errorTitle">
       
    45  <p id="errorTitleText">Unable to load page</p>
       
    46 </div>
       
    47 <div id="errorMessage">
       
    48  <p>Problem occurred while loading the URL %s</p>
       
    49  <p id="errorMessageText">%s</a>
       
    50 </p>
       
    51 </div>
       
    52 
       
    53 <form name="bl">
       
    54 <input type="button" value="Try again" onclick="javascript:tryagain()" />
       
    55 </form>
       
    56 
       
    57 </div>
       
    58 
       
    59 </body>
       
    60 </html>