Remove links to smaller/normal text size

This functionality is already implemented in browsers, there is no need
for us to have our own implementation.
This commit is contained in:
Magnus Hagander
2014-02-09 13:56:06 +01:00
parent 88f81115f4
commit 78c698c180
4 changed files with 0 additions and 114 deletions

View File

@ -1,15 +0,0 @@
/* PostgreSQL Documentation Style - Large Text Version */
body {
font-size: 93%;
}
#pgTopNav,
#pgTopNavLeft,
#pgTopNavRight {
height: 57px;
}
#pgTopNavList {
line-height: 1.8em;
}

View File

@ -1,91 +0,0 @@
/* http://www.alistapart.com/articles/alternate/ */
function
setActiveStyleSheet (title)
{
var i, a, main;
for (i = 0; (a = document.getElementsByTagName ("link")[i]); i++)
{
if (a.getAttribute ("rel").indexOf ("style") != -1
&& a.getAttribute ("title"))
{
a.disabled = true;
if (a.getAttribute ("title").indexOf(title) != -1)
a.disabled = false;
}
}
}
function
getActiveStyleSheet ()
{
var i, a;
for (i = 0; (a = document.getElementsByTagName ("link")[i]); i++)
{
if (a.getAttribute ("rel").indexOf ("style") != -1
&& a.getAttribute ("title") && !a.disabled)
return a.getAttribute ("title");
}
return null;
}
function
getPreferredStyleSheet ()
{
var i, a;
for (i = 0; (a = document.getElementsByTagName ("link")[i]); i++)
{
if (a.getAttribute ("rel").indexOf ("style") != -1
&& a.getAttribute ("rel").indexOf ("alt") == -1
&& a.getAttribute ("title"))
return a.getAttribute ("title");
}
return null;
}
function
createCookie (name, value, days)
{
if (days)
{
var date = new Date ();
date.setTime (date.getTime () + (days * 24 * 60 * 60 * 1000));
var expires = "; expires=" + date.toGMTString ();
}
else
expires = "";
document.cookie = name + "=" + value + expires + "; path=/";
}
function
readCookie (name)
{
var nameEQ = name + "=";
var ca = document.cookie.split (';');
for (var i = 0; i < ca.length; i++)
{
var c = ca[i];
while (c.charAt (0) == ' ')
c = c.substring (1, c.length);
if (c.indexOf (nameEQ) == 0)
return c.substring (nameEQ.length, c.length);
}
return null;
}
window.onload = function (e)
{
var cookie = readCookie ("style");
var title = cookie ? cookie : getPreferredStyleSheet ();
setActiveStyleSheet (title);
}
window.onunload = function (e)
{
var title = getActiveStyleSheet ();
createCookie ("style", title, 365);
}
var cookie = readCookie ("style");
var title = cookie ? cookie : getPreferredStyleSheet ();
setActiveStyleSheet (title);

View File

@ -8,10 +8,8 @@
<meta name="copyright" content="The PostgreSQL Global Development Group" />
<style type="text/css" media="screen" title="Normal Text">@import url("/dyncss/base.css?{{gitrev}}");</style>
<link rel="shortcut icon" href="/favicon.ico" />
<link rel="alternate stylesheet" type="text/css" media="screen" title="Large Text" href="/media/css/docs_large.css?{{gitrev}}" />
<link rel="alternate" type="application/rss+xml" title="PostgreSQL News" href="{{link_root}}/news.rss" />
<link rel="alternate" type="application/rss+xml" title="PostgreSQL Events" href="{{link_root}}/events.rss" />
<script async type="text/javascript" src="/media/js/styleswitcher.js?{{gitrev}}"></script>
<script type="text/javascript">
var _gaq = _gaq || [];
_gaq.push(['_setAccount', 'UA-1345454-1']);
@ -40,9 +38,6 @@
<h2 class="pgBlockHide">Peripheral Links</h2>
<div id="pgSearchNav">
<ul id="pgSearchNavList">
<li>
Text Size: <a href="#" onkeypress="return false;" onclick="setActiveStyleSheet('Normal Text'); return false;" title="Normal Text Size">Normal</a> / <a href="#" onkeypress="return false;" onclick="setActiveStyleSheet('Large Text'); return false;" title="Large Text Size">Large</a>
</li>
<li>
<a href="/about/donate">Donate</a>
</li>

View File

@ -3,8 +3,6 @@
<head>
<title>PostgreSQL: Documentation: {{page.display_version}}: {{page.title}}</title>
<style type="text/css" media="screen" title="Normal Text">@import url("/dyncss/docs.css?{{gitrev}}");</style>
<link rel="alternate stylesheet" media="screen" href="/media/css/docs_large.css" type="text/css" title="Large Text" />
<script async type="text/javascript" src="/media/js/styleswitcher.js?{{gitrev}}"></script>
<script type="text/javascript" src="/media/js/monospacefix.js?{{gitrev}}"></script>
<script type="text/javascript">
var _gaq = _gaq || [];
@ -34,7 +32,6 @@
<label for="q">Search Documentation:&nbsp;</label><input type="text" id="q" name="q" size="20" onfocus="if( this.value==this.defaultValue ) this.value='';" value="Search" /><input id="submit" type="submit" value="Search" />
</div>
</form>
<div id="docTextSize">Text Size: <a href="#" onclick="setActiveStyleSheet('Normal Text'); return false;" onkeypress="return false;" title="Normal Text Size">Normal</a> / <a href="#" onclick="setActiveStyleSheet('Large Text'); return false;" onkeypress="return false;" title="Large Text Size">Large</a></div>
</div>
<div id="docNav">
<a href="/" title="Home">Home</a> &rarr; <a href="/docs" title="Documentation">Documentation</a> &rarr; <a href="/docs/manuals" title="Manuals">Manuals</a> &rarr; <a href="/docs/{{page.display_version}}/{{doc_type}}/{{doc_index_filename}}">PostgreSQL {{page.display_version}}</a>{%if loaddate%} ({{loaddate|date:"Y-m-d H:i:s"}}){%endif%}