// ==UserScript==
// @name           django_snippets_search
// @namespace      django.snippets.search
// @description    Google Search box for Django Snippets
// @include        http://www.djangosnippets.org/*
// ==/UserScript==

// Build the form field
var form1=document.createElement('form');
form1.name='f';
form1.id='f';
form1.setAttribute('action','http://google.com/search');
var div1=document.createElement('div');
form1.appendChild(div1);

var label1=document.createElement('label');
label1.setAttribute('for','q');
div1.appendChild(label1);
var txt4=document.createTextNode('Search');
label1.appendChild(txt4);

var input1=document.createElement('input');
input1.name = 'q';
input1.setAttribute('id','q');
div1.appendChild(input1);

var input2=document.createElement('input');
input2.name = 'submit';
input2.setAttribute('type','submit');
input2.setAttribute('id','submit');
input2.setAttribute('value','Search');
div1.appendChild(input2);

var input3=document.createElement('input');
input3.name = 'sitesearch';
input3.setAttribute('type','hidden');
input3.setAttribute('value','djangosnippets.org');
div1.appendChild(input3);

document.getElementById('header').appendChild(form1);

// Teh awesome styling 
form1.style.position ='absolute';
form1.style.right = '14px';
form1.style.top = '10px';
label1.style.color = '#fff';
label1.style.marginRight = '10px';
input2.style.marginLeft = '10px';