#!/usr/bin/python3

# Replace the inline htmldoc stylesheet with the SWIG stylesheet

import sys
import string

filename = sys.argv[1]

data = open(filename).read()
open(filename+".bak","w").write(data)

swigstyle = "\n" + open("style.css").read()

lines = data.splitlines()
result = [ ]
skip = False
for s in lines:
    if not skip:
        result.append(s)
    if s == "<STYLE TYPE=\"text/css\"><!--":
        result.append(swigstyle)
        skip = True
    elif s == "--></STYLE>":
        result.append(s)
        skip = False

data = "\n".join(result)

open(filename,"w").write(data)
