#!/usr/bin/env python
#-*-mode: python -*- -*- coding: utf-8 -*-
import urllib2
import sys
stream = urllib2.urlopen(sys.argv[1])
data = stream.read()
stream.close()
(junk, divider, body) = data.partition('')
(body, divider, junk) = body.partition('')
(body, divider, junk) = body.partition('''
div.nothing {
// first entry doesnt work
}
div.hbox {
width:85%; margin-top: 0;
margin-left:auto; margin-right:auto;
height: 75%;
border:1px solid silver;
background:#F0F0F0;
overflow:auto;
text-align:left;
clear:both;
}
.attn {
text-weight: bold;
color: red;
}
table {
margin: 0.3em;
border-collapse: collapse;
background: #FFF;
}
th,td {
padding: 4px 1em;
border: 1px black solid;
}
th {
background: #ccc;
}
td {
background: #eee;
}
pre { border-width: thin; }
td pre { margin: 0; padding 0; }
div.slide h1 {
}
.tight li {
margin-top: 0;
margin-bottom: 0;
}
.tight ul {
margin-top: 0;
margin-bottom: 0;
}
.tight p {
margin-top: 0.25em;
margin-bottom: 0.25em;
}
/*]]>*/
"""
started=False
for line in body.split("\n"):
if started:
print line
else:
if "mw-headline" in line:
started=True
print line
print " 
