// ==UserScript==
// @name           docs.ingres.com
// @namespace      docs.ingres.com
// @include        http://docs.ingres.com/*
// ==/UserScript==
//
var container = document.getElementById('container');
container.style.width="100%";
var mid = document.getElementById('mid');
mid.style.width="100%";
var content = document.getElementById('content');
content.style.width="60%";