Helpviewer/HTMLResources.py

changeset 1665
b248526d3a1b
parent 1664
863114db258e
child 1666
098e7d94d372
diff -r 863114db258e -r b248526d3a1b Helpviewer/HTMLResources.py
--- a/Helpviewer/HTMLResources.py	Thu Feb 23 16:48:19 2012 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,251 +0,0 @@
-# -*- coding: utf-8 -*-
-
-# Copyright (c) 2009 - 2012 Detlev Offenbach <detlev@die-offenbachs.de>
-#
-
-"""
-Module containing some HTML resources.
-"""
-
-notFoundPage_html = """\
-<?xml version="1.0" encoding="UTF-8" ?>
-<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
-"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
-<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
-<head>
-<title>{0}</title>
-<link rel="icon" href="data:image/png;base64,@FAVICON@" type="image/x-icon" />
-<style>
-body {{
-  padding: 3em 0em;
-  background: -webkit-gradient(linear, left top, left bottom, from(#85784A), to(#FDFDFD), color-stop(0.5, #FDFDFD));
-  background-repeat: repeat-x;
-}}
-img {{
-  float: left;
-  opacity: .8;
-}}
-#box {{
-  background: white;
-  border: 1px solid #85784A;
-  width: 600px;
-  padding: 60px;
-  margin: auto;
-  border-radius: 0.8em;
-}}
-h1 {{
-  font-size: 130%;
-  font-weight: bold;
-  border-bottom: 1px solid #85784A;
-  margin-left: 64px;
-}}
-h2 {{
-  font-size: 100%;
-  font-weight: normal;
-  border-bottom: 1px solid #85784A;
-  margin-left: 64px;
-}}
-ul {{
-  font-size: 100%;
-  padding-left: 64px;
-  margin: 5px 0;
-}}
-</style>
-</head>
-<body>
-  <div id="box">
-    <img src="data:image/png;base64,@IMAGE@" width="48" height="48"/>
-    <h1>{1}</h1>
-    <h2>{2}</h2>
-    <ul>
-      <li>{3}</li>
-      <li>{4}</li>
-      <li>{5}</li>
-      <li>{6}</li>
-      <input type="submit" id="reloadButton" value="{7}" onclick="window.location.reload()">
-    </ul>
-  </div>
-</body>
-</html>
-"""
-
-##########################################################################################
-
-adblockPage_html ="""\
-<?xml version="1.0" encoding="UTF-8" ?>
-<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
-"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
-<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
-<head>
-<title>{0}</title>
-<link rel="icon" href="data:image/png;base64,@FAVICON@" type="image/x-icon" />
-<style>
-body {{
-  padding: 3em 0em;
-  background: -webkit-gradient(linear, left top, left bottom, from(#85784A), to(#FDFDFD), color-stop(0.5, #FDFDFD));
-  background-repeat: repeat-x;
-}}
-#box {{
-  background: white;
-  border: 1px solid #85784A;
-  max-width: 600px;
-  height: 50%;
-  padding: 40px;
-  padding-bottom: 10px;
-  margin: auto;
-  border-radius: 0.8em;
-  text-align: center;
-  vertical-align: middle;
-  margin: auto;
-}}
-h1 {{
-  font-size: 130%;
-  font-weight: bold;
-  border-bottom: 1px solid #85784A;
-  margin-bottom: 0px;
-}}
-</style>
-</head>
-<body>
-  <div id="box">
-    <img src="data:image/png;base64,@IMAGE@" width="64" height="64"/>
-    <h1>AdBlock Plus</h1>
-    <p>{1}</p>
-  </div>
-</body>
-</html>
-"""
-
-##########################################################################################
-
-startPage_html = """\
-<?xml version="1.0" encoding="UTF-8" ?>
-<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
-"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
-<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
-<head>
-    <title></title>
-    <link rel="icon" href="data:image/png;base64,@FAVICON@" type="image/x-icon" />
-    <style>
-* {
-    margin: 0;
-    padding: 0;
-    font-family: "DejaVu Sans";
-}
-
-body {
-    background: -webkit-gradient(linear, left top, left bottom, from(#85784A), to(#FDFDFD), color-stop(0.5, #FDFDFD));
-    background-repeat: repeat-x;
-    margin-top: 200px;
-}
-
-#header, #search, #footer {
-    width: 600px;
-    margin: 10px auto;
-}
-
-#header, #search {
-    border-radius: 0.8em;
-    padding: 25px;
-}
-
-#header {
-    background: -webkit-gradient(linear, left top, left bottom, from(#D57E3E), to(#D57E3E), color-stop(0.5, #FFBA89));
-    height: 25px;
-}
-
-#header h1 {
-    display: inline;
-    font-size: 1.7em;
-    font-weight: bold;
-}
-
-#header img {
-    display: inline;
-    float: right;
-    margin-top: -5px;
-}
-
-#search {
-    background: -webkit-gradient(linear, left top, right top, from(#85784A), to(#85784A), color-stop(0.5, #C8C2AE));
-    height: 50px;
-    color: #000;
-    text-align: center;
-    padding-top: 40px !important;
-}
-
-#search fieldset {
-    border: 0;
-}
-
-#search input[type=text] {
-    width: 65%;
-}
-
-#search input[type=submit] {
-    width: 25%;
-}
-
-#footer {
-    text-align: center;
-    color: #999;
-}
-
-#footer a {
-    color: #555;
-    text-decoration: none;
-}
-
-#footer a:hover {
-    text-decoration: underline;
-}
-    </style>
-    <script type="text/javascript">
-        function update()
-        {
-            document.title = window.eric.translate('Welcome to eric5 Web Browser!');
-            document.getElementById('headerTitle').innerHTML = window.eric.translate('eric5 Web Browser');
-            document.getElementById('searchButton').value = window.eric.translate('Search!');
-            document.getElementById('footer').innerHTML = window.eric.providerString()
-                                                          + ' | ' + '<a href="http://eric-ide.python-projects.org/">'
-                                                          + window.eric.translate('About eric5') + '</a>';
-            document.getElementById('lineEdit').placeholder = window.eric.providerString();
-
-            // Try to change the direction of the page:
-
-            var newDir = window.eric.translate('QT_LAYOUT_DIRECTION');
-            newDir = newDir.toLowerCase();
-            if ((newDir != 'ltr') && (newDir != 'rtl'))
-                newDir = 'ltr';
-            document.getElementsByTagName('body')[0].setAttribute('dir', newDir);
-        }
-
-        function formSubmitted()
-        {
-            var string = lineEdit.value;
-
-            if (string.length == 0)
-                return;
-
-            var url = window.eric.searchUrl(string);
-            window.location.href = url;
-        }
-    </script>
-</head>
-<body onload="document.forms[0].lineEdit.select(); update();">
-    <div id="header">
-        <h1 id="headerTitle"></h1>
-        <img src="data:image/png;base64,@IMAGE@" width="32" height="32"/>
-    </div>
-    <div id="search">
-        <form action="javascript:formSubmitted();">
-            <fieldset>
-                <input id="lineEdit" name="lineEdit" type="text" />
-                <input id="searchButton" type="submit" />
-            </fieldset>
-        </form>
-    </div>
-    <div id="footer"></div>
-</body>
-</html>
-"""

eric ide

mercurial