Video Downloader Interface

A simple interface for downloading videos from the web.

/* ==UserStyle==
@name Video Downloader Interface
@namespace urn:uuid:12345678-1234-5678-1234-567812345678
@version 1.0
@description A simple interface for downloading videos from the web.
@license MIT; https://opensource.org/licenses/MIT
@homepageURL http://example.com/video-downloader-home
@supportURL http://example.com/video-downloader-support
@var text videoURL "Video URL" "https://example.com"
==/UserStyle== */
@-moz-document domain("example.com") {
    body {
        background-color: #f0f0f0;
    }

    #video-downloader-form {
        background-color: #ffffff;
        border: 1px solid #ddd;
        padding: 20px;
        margin: 50px auto;
        width: 300px;
        box-shadow: 0 2px 4px rgba(0,0,0,0.1);
    }

    #video-downloader-form label,
    #video-downloader-form input,
    #video-downloader-form button {
        display: block;
        width: 100%;
        margin-bottom: 10px;
    }

    #video-downloader-form button {
        background-color: #007bff;
        color: #ffffff;
        border: none;
        padding: 10px;
        cursor: pointer;
    }

    #video-downloader-form button:hover {
        background-color: #0056b3;
    }
}