CSS tweaks

This commit is contained in:
Eelco Dolstra 2012-05-11 16:21:21 -04:00
parent 58d1de08d9
commit 2b00e6990c

View file

@ -8,15 +8,14 @@
body body
{ {
font-family: sans-serif; font-family: "Nimbus Sans L", sans-serif;
background: white; background: white;
margin: 2em 1em 2em 1em; margin: 2em 1em 2em 1em;
} }
h1,h2,h3 h1, h2, h3, h4
{ {
color: #005aa0; color: #005aa0;
text-align: left;
} }
h1 /* title */ h1 /* title */
@ -75,11 +74,13 @@ div.refsection h3
div.example div.example
{ {
border: 1px solid #6185a0; border: 1px solid #b0b0b0;
padding: 6px 6px; padding: 6px 6px;
margin-left: 1.5em; margin-left: 1.5em;
margin-right: 1.5em; margin-right: 1.5em;
background: #f4f4f8; background: #f4f4f8;
border-radius: 0.4em;
box-shadow: 0.4em 0.4em 0.5em #e0e0e0;
} }
div.example p.title div.example p.title
@ -87,6 +88,11 @@ div.example p.title
margin-top: 0em; margin-top: 0em;
} }
div.example pre
{
box-shadow: none;
}
/*************************************************************************** /***************************************************************************
Screen dumps: Screen dumps:
@ -94,14 +100,15 @@ div.example p.title
pre.screen, pre.programlisting pre.screen, pre.programlisting
{ {
border: 1px solid #6185a0; border: 1px solid #b0b0b0;
padding: 3px 3px; padding: 3px 3px;
margin-left: 1.5em; margin-left: 1.5em;
margin-right: 1.5em; margin-right: 1.5em;
color: #600000; color: #600000;
background: #f4f4f8; background: #f4f4f8;
font-family: monospace; font-family: monospace;
/* font-size: 90%; */ border-radius: 0.4em;
box-shadow: 0.4em 0.4em 0.5em #e0e0e0;
} }
div.example pre.programlisting div.example pre.programlisting
@ -118,13 +125,15 @@ div.example pre.programlisting
.note, .warning .note, .warning
{ {
border: 1px solid #6185a0; border: 1px solid #b0b0b0;
padding: 3px 3px; padding: 3px 3px;
margin-left: 1.5em; margin-left: 1.5em;
margin-right: 1.5em; margin-right: 1.5em;
margin-bottom: 1em; margin-bottom: 1em;
padding: 0.3em 0.3em 0.3em 0.3em; padding: 0.3em 0.3em 0.3em 0.3em;
background: #fffff5; background: #fffff5;
border-radius: 0.4em;
box-shadow: 0.4em 0.4em 0.5em #e0e0e0;
} }
div.note, div.warning div.note, div.warning
@ -136,7 +145,6 @@ div.note h3, div.warning h3
{ {
color: red; color: red;
font-size: 100%; font-size: 100%;
// margin: 0 0 0 0;
padding-right: 0.5em; padding-right: 0.5em;
display: inline; display: inline;
} }
@ -167,20 +175,26 @@ div.navfooter *
Links colors and highlighting: Links colors and highlighting:
***************************************************************************/ ***************************************************************************/
a { text-decoration: none; }
a:hover { text-decoration: underline; }
a:link { color: #0048b3; } a:link { color: #0048b3; }
a:visited { color: #002a6a; } a:visited { color: #002a6a; }
a:hover { background: #ffffcd; }
/*************************************************************************** /***************************************************************************
Table of contents: Table of contents:
***************************************************************************/ ***************************************************************************/
.toc div.toc
{ {
font-size: 90%; font-size: 90%;
} }
div.toc dl
{
margin-top: 0em;
margin-bottom: 0em;
}
/*************************************************************************** /***************************************************************************
@ -213,76 +227,25 @@ div.glosslist dt
font-style: italic; font-style: italic;
} }
.default
{
font-style: italic;
}
.availability
{
font-style: italic;
}
.varname .varname
{ {
color: #400000; color: #400000;
} }
span.command strong
div.informaltable table
{
border: 1px solid #6185a0;
width: 100%;
}
div.informaltable td
{
border: 0;
padding: 5px;
}
div.informaltable td.default
{
text-align: right;
}
div.informaltable th
{
text-align: left;
color: #005aa0;
border: 0;
padding: 5px;
background: #fffff5;
font-weight: normal;
font-style: italic;
}
td.varname, td.tagname, td.paramname
{
font-weight: bold;
vertical-align: top;
}
div.epigraph
{
font-style: italic;
text-align: right;
}
table.productionset table.productionset
{ {
font-family: monospace; font-family: monospace;
} font-weight: normal;
strong.command
{
// font-family: monospace;
// font-style: italic;
// font-weight: normal;
color: #400000; color: #400000;
} }
div.calloutlist td div.calloutlist table
{ {
padding-bottom: 1em; box-shadow: none;
}
table
{
border-collapse: collapse;
box-shadow: 0.4em 0.4em 0.5em #e0e0e0;
} }