Skip to content

Instantly share code, notes, and snippets.

@tvon

tvon/fdo-man.css

Created January 20, 2021 20:05
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save tvon/09f735c4e61b7fe27927b90f3752b874 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save tvon/09f735c4e61b7fe27927b90f3752b874 to your computer and use it in GitHub Desktop.
Download ZIP

Revisions

  1. tvon created this gist Jan 20, 2021.
    80 changes: 80 additions & 0 deletions fdo-man.css
    View file
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,80 @@
    @-moz-document regexp(".*freedesktop\\.org\\/software\\/.*\\/man\\/.*") {

    body {
    font-family: Arial, Helvetica;
    }

    .refentry {

    max-width: 960px;
    margin: 1em auto;
    }

    a {
    border-bottom: thin solid;
    color: rgb(0,0,192);
    font-weight: bolder;
    text-decoration: none;
    }

    a:visited {
    color: rgb(160,0,160);
    }

    a:active {
    color: rgb(192,0,0);
    }
    a:active, a:focus, a:hover {
    border-bottom-width: medium;
    }

    blockquote {
    margin: 10pt;
    }

    table, td, th {
    border: 1px #000 solid;
    border-collapse: collapse;
    }

    td, th {
    padding: 0.5em;
    }

    th {
    background: #f0f0f0;
    }

    p {
    font-family: Arial, Helvetica;
    line-height: 1.5;
    max-width: 80ch;
    }

    pre, code {
    background-color: #f0f0f0;
    }

    pre {
    padding: 0.5em;
    border: 1px #efefef solid;
    }

    h1 {
    font-weight: bold;
    text-decoration: none;
    }

    h2 {
    font-weight: bold;
    text-decoration: none;
    }

    dl {
    font-weight: normal;
    text-decoration: none;
    color: #333333;
    }


    }