view help/header.android @ 481:0e23b20ab22d default tip

Added tag stable-1.9.4-0 for changeset 11c79d847892
author Carl Byington <carl@five-ten-sg.com>
date Tue, 29 Oct 2019 07:26:33 -0700
parents 7eb24880b111
children
line wrap: on
line source

<?xml version="1.0" encoding="iso-8859-1"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
   "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
    <head>
        <title>510 ConnectBot</title>
        <style type="text/css">
        <!--
        body {
            background : black;
            color : white;
            link : aqua;
        }

        .wrap {
            margin : 1em;
            min-width : 20em;
            max-width : 35em;
        }

        .logo {
            float : left;
            width : 10em;
            margin : 0 0 1em 0;
        }

        .address {
            float : right;
            width : 10em;
        }

        .right {
            margin : 0 0 1em 0;
            text-align : right;
        }

        .content {
            clear : both;
        }

    	hr {
            height: .2em;
    	    width : 80%;
    	}

        .code {
            font-family : Courier, monospace;
            line-height : 1.2;
            padding : 0;
            border-width : 0;
            margin : 0 0 0 1.5em;
            vertical-align : middle;
            background-color : rgb(230,230,230);
        }

        .table-num {
            padding : 0 1em;
            text-align : right;
        }

        .nice-list {
            padding-bottom: 1em;
        }

        .top-nice-list {
            padding-top: 0em;
            border-top-width: 0em;
            margin-top: -1em;
        }

        .centered {
            text-align : center;
            display : block;
            margin-left : auto;
            margin-right : auto;
        }

        .blog-column {
            min-width : 15em;
            max-width : 35em;
        }

        .emphasis {
            font-weight : bold;
        }

        .red {
            color: red;
        }
        -->
        </style>
    </head>
    <body bgcolor="#000000" text="#FFFFFF" link="#00FFFF">