// Fix Punto Informatico layout
// version 0.1
// 2005-05-17
// Copyright (c) 2005, Paolo Montrasio
// Released under the GPL license
// http://www.gnu.org/copyleft/gpl.html
//
// --------------------------------------------------------------------
//
// This is a Greasemonkey user script.  To install it, you need
// Greasemonkey 0.3 or later: http://greasemonkey.mozdev.org/
// Then restart Firefox and revisit this script.
// Under Tools, there will be a new menu item to "Install User Script".
// Accept the default configuration and install.
//
// To uninstall, go to Tools/Manage User Scripts,
// select "Access Bar", and click Uninstall.
//
// --------------------------------------------------------------------
//
// ==UserScript==
// @name          Punto Informatico
// @namespace     http://www.paolomontrasio.com/computer/punto-informatico.user.js
// @description   fix Punto Informatico layout
// @include       http://www.punto-informatico.it/*
// @include       http://punto-informatico.it/*
// ==/UserScript==

(function() {

  // The addGlobalStyle function is by Mark Pilgrim
  // Found at http://diveintogreasemonkey.org/patterns/add-css.html
 
  function addGlobalStyle(css) {
    var head, style;
    head = document.getElementsByTagName('head')[0];
    if (!head) { return; }
    style = document.createElement('style');
    style.type = 'text/css';
    style.innerHTML = css;
    head.appendChild(style);
  }

  // Darkens the background color
  addGlobalStyle('body {background-color:#f5f5f5;}');

  // Changes width to 800px
  addGlobalStyle('div .container {width:800px;left:0px;position:absolute;}');
  addGlobalStyle('.header .headertop {width:800px}');
  addGlobalStyle('.header .headerbottom {width:800px}');
  addGlobalStyle('.content { width: 800px; }');

  // Shrinks left column to 180px
  addGlobalStyle('.content .left {padding-left: 12px;padding-right: 12px;padding-top: 20px;width: 

180px;float: left;}');

  // Shrinks central column to 570px
  addGlobalStyle('.content .center {padding-left: 20px;padding-top: 20px;width: 570px;max-width: 

659px;float:left;}');

})();