Skip to content

Instantly share code, notes, and snippets.

@exhuma
Created September 15, 2011 11:18
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save exhuma/1219027 to your computer and use it in GitHub Desktop.
Save exhuma/1219027 to your computer and use it in GitHub Desktop.
Personalized Web scripts for PostgreSQL Docs

Description

These files represent the different parts for the customisation for the PostgreSQL docs.

All to make the page a bit more readable

Requires the Chrome extension Personalized Web

BODY {
font-family: 'Merriweather', serif;
}
#docContainer{
width: 45em;
line-height: 1.8em;
color: #586e75;
}
#docContainerWrap {
background: #fdf6e3;
}
#docContainer tt, #docContainer pre, #docContainer code {
font-size: inherit !important;
border: 1px solid #ccc;
padding: 0.2em 0.3em;
}
blockquote.NOTE, blockquote.TIP {
width: inherit !important;
}
pre.LITERALLAYOUT, .SCREEN, .SYNOPSIS, .PROGRAMLISTING, .REFSYNOPSISDIV p, table.CAUTION, table.WARNING, blockquote.NOTE, blockquote.TIP {
background-color: #eee8d5;
color: #657b83;
}
WebFontConfig = {
google: { families: [ 'Merriweather:latin' ] }
};
(function() {
var wf = document.createElement('script');
wf.src = ('https:' == document.location.protocol ? 'https' : 'http') +
'://ajax.googleapis.com/ajax/libs/webfont/1/webfont.js';
wf.type = 'text/javascript';
wf.async = 'true';
var s = document.getElementsByTagName('script')[0];
s.parentNode.insertBefore(wf, s);
})();
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment