rgin-right: 20px;
            margin-bottom: 1px;
        }

        .removed {
            background: #ffdddd;
        }

        .changed {
            background: #ffe0b0;
        }

        .added {
            background: #ccffcc;
        }
    </style>
</head>

<body>

<div class="sidebar">
    <div class="doclist">
        <a href="usersguide.htm">User's Guide</a><br/>
        <a href="customizing.htm">Customization Guide</a><br/>
        <a href="hardware.htm">Hardware Guide</a><br/>
        <a hre