Re: [help-texinfo] Submission for Texinfo CSS Library

[Patrice Dumas]

On Fri, Oct 05, 2012 at 04:01:48PM -0400, Jason Massey wrote:
> Friends of Texinfo,
> 
> The file is here: http://janixsoft.com/texinfo/texinfo.css

Thanks.  I attach a modified version that should also lead to something
similar with the default output of the new tp/texi2any command.

Does it looks good?

Could you please 
* come up with a name for your .css file that is more descriptive, or
  at least less prone to name clashes
* add a license

Thanks in advance.

-- 
Pat

body
{
    margin-left: 3%;
    margin-right: 3%;
    font-size: 125%;
}

a
{
    color: #666688;
    text-decoration: none;
    border-bottom-color: #666688;
    border-bottom-width: 1px;
    border-bottom-style: dotted;
}

div.smallexample, div.example
{
    border: 1px solid silver;
    padding: .5em;
    background: rgb(244, 244, 244);
    /*width: 85%;*/
    margin-left: 0em;
    margin-right: 0em;
    margin-bottom: 2em;
    margin-top: 1em;
    color: #004400;
    border-radius: 4px;
}

blockquote
{
    border: 2px solid #666688;
    padding: .5em;
    background: #FFFFE3;
    /*width: 85%;*/
    margin-bottom: 2em;
    margin-top: 1em;
    margin-left: 0em;
    margin-right: 0em;
    border-radius: 4px;
}

h1, h2, h3, h4, h5
{
    color: #666688;
    font-family: Candara,Arial,sans-serif;
}

h1.chapter, h1.appendix, h2.chapter, h2.appendix
{
    border-bottom: 5px solid #ccd;
}

h2.section, h3.section
{
    border-bottom: 2.5px solid #ccd;
}

h3.subsection, h4.subsection
{
    /*background: #900;*/
    color: #666688;
    /*padding: 5px;*/
}

table.header, div.header p
{
    background: #EEEEEE;
    border: 1px solid black;
    padding: .5em;
    /*font-size: 70%;*/
}

table.header a, div.header p a
{
    /*border-bottom-color: #666688;
    border-bottom-width: 1px;
    border-bottom-style: dotted;*/
    border-bottom: none;
}

table.header a:link, div.header p a:link
{text-decoration:none;}

table.header a:visited, div.header p a:visited
{text-decoration:none;}

table.header a:hover, div.header p a:hover
{text-decoration:underline;}

table.header a:active, div.header p a:active
{text-decoration:underline;}

kbd
{
    padding-left: .25em;
    padding-right: .25em;
    font-family: sans-serif;
    border: solid 1px #C2C2C2;
    border-radius: 4px;
    background-color: #F0F0F0;
    box-shadow: 1px 1px silver;
}

code
{
    padding-left: .25em;
    padding-right: .25em;
    font-family: sans-serif;
    box-shadow: 1px 1px silver;
    border-radius: 4px;
    background-color: rgb(244, 244, 244);
    color: #004400;
}

samp
{
    padding-left: .25em;
    padding-right: .25em;
    font-family: sans-serif;
    box-shadow: 1px 1px silver;
    border-radius: 4px;
    background-color: rgb(244, 244, 244);
    color: #3333FF;
}

var
{
    font-family: sans-serif;
    color: green;
}

div.contents code, div.contents var, div.contents samp, div.contents kbd,
table.menu code, table.menu var, table.menu samp, table.menu kbd,
h1 code, h1 var, h1 samp, h1 kbd,
h2 code, h2 var, h2 samp, h2 kbd,
h3 code, h3 var, h3 samp, h3 kbd,
h4 code, h4 var, h4 samp, h4 kbd,
a code, a var, a samp, a kbd
{
    padding: inherit;
    font-family: inherit;
    border: inherit;
    background-color: inherit;
    box-shadow: inherit;
    color: inherit;
}

div.contents li
{
    margin-bottom: .25ex;
}

div.contents li ul
{
    margin-top: .25ex;
}

li
{
    margin-bottom: .5em;
}

tt
{
    /*font-family: monospace;*/
}

table.menu
{
    /*margin-left: 20px;*/
    border-left: 7px solid #ccd;
    padding-left: .5em;
}