Doc: Small beauty fix of field tables.

[shapes.git] / doc / styles / html / shapes.css

/* This file is part of Shapes.
 *
 * Shapes is free software: you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation, either version 3 of the License, or
 * any later version.
 *
 * Shapes is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with Shapes.  If not, see <http://www.gnu.org/licenses/>.
 *
 * Copyright 2008 Henrik Tidefelt
 */

p { font-family: "Times New Roman", serif;
}

tt { font-size: 1.3em;
     font-weight: normal;
}

img {/* border style for all images */
      border: 0;
      }

img.b {/* replacement for <br /> after images */
        display: block; /* forces line break for content after */
        }

img.t {/* top margin control */
        margin-top: 0.8em;
        }

img.g53 {/* scalable em 53 */
          width: 3.3em;
          height: 3.3em;
          }

img.g32 {/* scalable em 32 */
          width: 2em;
          height: 2em;
          }

img.g45 {/* scalable em 45 */
          width: 12em;
          height: 15em;
          }

h0, h1, h2, h3, h4, h5, h6 {
        color:                                  #006633;
        font-family:                                    "Lucida Grande", sans-serif;
        font-weight:                                    bold;
        margin-top:                                     0.8em;
        margin-bottom:                          0.2em;
}

h0 {
        font-size:                                      3em;
        line-height:                                    normal;
        margin-top:                                     0;
        margin-bottom:                          0.5em;
        text-align: center;
}

h1 {
        font-family:                                    "Zapfino", sans-serif;
        font-size:                                      2em;
        line-height:                                    normal;
        margin-top:                                     0;
}
h2 {
     text-decoration: underline;
     font-size:                                         1.6em;
     line-height:                                       normal;
     margin-top:                                        1.2em;
}

h3 {
        margin-top:                                     1.2em;
}
h3, th.big {
        font-size:                                      1.3em;
}

h4 {
        font-size:                                      1em;
        font-weight:                                    bold;
}

h5 {
        font-size:                                      1em;
}

h2.puff {
        font-size:                                      1.6em;
        font-weight:                                    bold;
        color:                                  #000;
        padding:                                        0.1em 0 0 0;
        margin:                                 0.1em 0 0 0;
}

h3.puff {
        font-size:                                      1.3em;
        font-weight:                                    bold;
        color:                                  #000;
        padding:                                        0.1em 0 0 0;
        margin:                                 0.1em 0 0 0;
}

div.p {
        margin-top:                                     0.3em;
        margin-bottom:                          0.7em;
}
div.p ol {
        margin-top:                                     0.1em;
        margin-bottom:                          0.1em;
}
div.p ol li {
        margin-top:                                     0em;
        margin-bottom:                          0.3em;
}
div.p ol li p {
        margin-top:                                     0.3em;
        margin-bottom:                          0em;
}
div.p pre {
        margin-top:                                     0.5em;
        margin-bottom:                          0.5em;
}
div.p table.syntax, div.p table.tight, div.p table.loose, div.p table.type-templates, div.p table.dynvars, div.p table.function, table.mutator, div.p table.simple, div.p table.hotvalue, div.p table.state, div.p table.state-type, div.p table.type {
        margin-top:                                     0.1em;
        margin-bottom:                          0.1em;
}

p.center {
        text-align: center;
}

body { font-size: 12pt; }

pre, inline, varname, lengthunit, lexerregexp, syntaxname, typename, bnf, program-param
{
  font-family: courier;
  font-size: 0.9em
}
varname.replacable, typename.replacable, constname.replacable, filename.replacable, lengthunit.replacable, program-param.replacable
{ color: #CC6600; }
typename.template
{ color: #0000FF; }

pre, table.syntax, table.tokens, table.tight, table.loose, table.wide, table.type-templates, table.dynvars, table.function, table.mutator, table.simple, table.hotvalue, table.state, table.state-type, table.type { margin-left: 1.5em; }
pre.terminal { /* width: 80; */ }
pre.bad { color: #900; text-decoration: line-through; }
inline    { color: #009; }
varname   { }
lengthunit{ text-decoration: overline; }
paramname { font-style: italic; }
typename  { font-style: italic; font-weight: bold; }
lexerregexp { color: F00; font-weight: bold; }
constname { font-weight: bold; }
filename  { font-family: sans-serif; font-style: italic; font-size: 90%; }

syntaxname { font-style: italic; color: #F0F; text-decoration: none; }
syntaxname.new { text-decoration: none; }
bnf  { font-size: 140%; color: #00F; }

exampleswitch { font-size: bigger; color: #9900FF; text-decoration: underline; cursor:pointer }

remark div.p { margin-left: 0.5em; font-size: smaller; font-style: italic; }
here-caption div.p { margin-left: 10%; margin-right: 10%; font-size: smaller; font-style: italic; }
todo div.p { margin-left: 0.5em; font-size: bigger; font-style: italic; color: F00; }

table.syntax { cellspacing:5; }
table.tokens { cellspacing:5; }
table.loose table.wide { cellspacing:5; }
table.tight { cellspacing:0; }
hr.thick { border:0; height:3px; color:#000; background:#000; }
hr.thin { border:0; height:1px; color:#666; background:#000; }

table.dynvars, table.function, table.mutator, table.simple, table.hotvalue, table.state, table.state-type, table.type
{
                text-align: left;
                border-collapse: collapse;
                border-spacing: 0px;
                cellspacing:0;
                width:95%;
}
table.mutator
{
                width: 98%;
}
table.dynvars tr th, table.function tr th, table.mutator tr th, table.simple tr th, table.hotvalue tr th, table.state tr th, table.state-type tr th, table.type tr th
{
                padding: 0em 2em 0em 2em;
                text-align: left;
                border-bottom: 2px solid #6699CC;
                border-left: 1px solid #6699CC;
                background-color: #BEC8D1;
                color: #404040;
}
table.mutator tr th
{
                background-color: #EEEE00;
}
table.dynvars tr td, table.function tr td, table.mutator tr td, table.simple tr td, table.hotvalue tr td, table.state tr td, table.state-type tr td, table.type tr td
{
                padding: 0em 0.5em 0em 0.5em;
                vertical-align: top;
}

table.dynvars
{
                color: #404040;
                border: 1px #6699CC solid;
}
table.dynvars, table.dynvars tr th.horiz
{
                background-color: #fafafa;
}
table.dynvars tr td, table.dynvars tr th
{
                border-bottom: 2px solid #6699CC;
                border-left: 1px solid #6699CC;
}

table.function
{
                color: #404040;
                border: 1px #CC6633 solid;
}
table.function, table.function tr th.horiz
{
                background-color: #fafafa;
}
table.function tr td, table.function tr th
{
                border-bottom: 2px solid #CC6633;
                border-left: 1px solid #CC6633;
}
table.function tr th.heading
{
                font-size: 1em;
                background-color: #FFCC99;
}

table.mutator
{
                color: #404040;
                border: 1px #DDDD99 solid;
}
table.mutator, table.mutator tr th.horiz
{
                background-color: #fafafa;
}
table.mutator tr td, table.mutator tr th
{
                border-bottom: 2px solid #DDDD99;
                border-left: 1px solid #DDDD99;
}
table.mutator tr th.heading
{
                font-size: 1em;
                background-color: #DDDD99;
}

table.simple
{
                color: #404040;
                border: 1px #333333 solid;
}
table.simple, table.simple tr th.horiz
{
                background-color: #fafafa;
}
table.simple tr td, table.simple tr th
{
                border-bottom: 2px solid #333333;
                border-left: 1px solid #333333;
}

table.hotvalue
{
                color: #404040;
                border: 1px #FF3300 solid;
}
table.hotvalue, table.hotvalue tr th.horiz
{
                background-color: #fafafa;
}
table.hotvalue tr td, table.hotvalue tr th
{
                border-bottom: 2px solid #FF3300;
                border-left: 1px solid #FF3300;
}
table.hotvalue tr th.note
{
                font-size: 1em;
                background-color: #FFFF33;
}

table.state
{
                color: #404040;
                border: 1px #3366FF solid;
}
table.state, table.state tr th.horiz
{
                background-color: #fafafa;
}
table.state tr td, table.state tr th
{
                border-bottom: 2px solid #3366FF;
                border-left: 1px solid #3366FF;
}

table.state-type
{
                color: #404040;
                border: 1px #669933 solid;
}
table.state-type, table.state-type tr th.horiz
{
                background-color: #fafafa;
}
table.state-type tr td, table.state-type tr th
{
                border-bottom: 2px solid #669933;
                border-left: 1px solid #669933;
}

table.type
{
                color: #404040;
                border: 1px #FF6699 solid;
}
table.type, table.type tr th.horiz
{
                background-color: #fafafa;
}
table.type tr td, table.type tr th
{
                border-bottom: 2px solid #FF6699;
                border-left: 1px solid #FF6699;
}
table.type tr th.heading
{
                padding-top: 0.3em
                font-size: 1em;
                background-color: #F0F0F9;
                border-bottom: 1px solid #FF6699;
}

table.dynvars tr th.horiz, table.function tr th.horiz, table.mutator tr th.horiz, table.simple tr th.horiz, table.hotvalue tr th.horiz, table.state tr th.horiz, table.state-type tr th.horiz, table.type tr th.horiz
{
                width: 10em;
                text-align: right;
}

table.note
{
                width:100%;
                border-top: 1px solid;
                border-bottom: 1px solid;
                border-left: none;
                border-right: none;
                border-color:#0C0;
                background-color: #CCFFCC;
                margin: 5px
}
table.operator-table { width:100%; }
table.constructor-table { background:#FFFFCC; }
table.codefile
{
                width:100%;
                border-top: 3px solid #000;
                border-bottom: 3px solid #000;
                border-left: 2px solid #000;
                border-right: 2px solid #000;
}

table.loose tr th, table.loose tr td, table.wide tr th, table.wide tr td, table.tight tr th, table.tight tr td, table.operator-table tr th, table.operator-table tr td, table.type-templates tr th, table.type-templates tr td, table.codefile tr th, table.codefile tr td, table.note tr td
{
                padding: 0em 0.5em 0em 0.5em;
                border-bottom: none;
                border-left: none;
                color: #000;
}
table.loose tr th, table.loose tr td, table.wide tr th, table.wide tr td, table.tight tr th, table.tight tr td, table.operator-table tr th, table.operator-table tr td, table.type-templates tr th, table.type-templates tr td, table.codefile tr th, table.codefile tr td
{
                background-color: #fafafa;
}
table.loose tr th, table.wide tr th, table.tight tr th, table.operator-table tr th, table.type-templates tr th, table.codefile tr th
{
                padding: 0em 2em 0em 2em;
                text-align: center;
}
table.wide
{
                width: 95%;
}


.tex sub, .latex sub, .latex sup {
  text-transform: uppercase;
}
.tex sub, .latex sub {
  vertical-align: -0.5ex;
  margin-left: -0.1667em;
  margin-right: -0.125em;
}
.tex, .latex, .tex sub, .latex sub {
  font-size: 1em;
}
.latex sup {
  font-size: 0.85em;
  vertical-align: 0.15em;
  margin-left: -0.36em;
  margin-right: -0.15em;
}
span.Google { font-family: serif; }
span.Google blue { color:#003EC5; }
span.Google red { color:#D8240C; }
span.Google yellow { color:#F4C513; }
span.Google green { color:#2C9F2C; }
span.Google black { color:#000; }

.small-caps
{
                font-variant: small-caps;
}
.medium-caps
{
                font-size: smaller;
                text-transform: uppercase;
}
.medium-caps sup, .small-caps sup {
  vertical-align: 0.4em;
}

tolparam
{
  font-family: helvetica;
        font-style: italic;
  font-size: 0.9em;
        color: orange;
}

.xx-small
{
                font-size: xx-small;
}
.nowrap
{
                white-space: nowrap;
}

a:link.discrete
{
                text-decoration: none;
                color: black;
}
a:visited.discrete
{
                text-decoration: none;
                color: black;
}
a:hover.discrete
{
                text-decoration: none;
                color: black;
                background-color: #CCCCCC;
}

eq { font-style: italic;
                 font-family:   "Georgia", serif;
                 font-size: 0.95em;
     font-weight: normal;
                 color: #000;
}
eq span.text { /* Peek at the definition of the <p> style! */
                font-style: normal;
                font-family: "Times New Roman", serif;
 }
eq span.rm {
  font-style: normal;
        font-famil: "Verdana", sans-serif;
}
eq span.sub {
  vertical-align: -0.5ex;
  font-size: 0.7em;
}
eq span.sup {
  vertical-align: 0.5ex;
  font-size: 0.7em;
}