swh:1:snp:ed2d467953071803b0382cac92a7b1b452fbb8ef
Tip revision: 49185a6d92a7679adf4609f414c530b3b545fc66 authored by raffazizzi on 16 November 2023, 16:51:23 UTC
Trigger Build
Trigger Build
Tip revision: 49185a6
teidoc.css
/* teidoc.css */
/* main layout */
#col1{
width: 20%;
background: #ffffff;
margin: 0;
margin-top: 10px;
color: #000066;
padding: 5px;
position : absolute;
float: left;
border-style: solid;
border-width: 1;
border-color: red;
}
#col2{
background: #ffffff;
color: #333333;
border-style: solid;
border-width: 1;
border-color: black;
margin: 0;
margin-top: 10px;
padding: 5px ;
left: 22%;
width: 51%;
position : absolute;
}
#col3{
width: 24%;
left: 75%;
color: #000066;
background: #ffffff;
border-style: solid;
border-width: 1;
border-color: red;
margin: 0;
margin-top: 10px;
padding: 5px;
position : absolute;
float: right;
}
#lh-col{
width: 16%;
color: black;
margin: 0pt;
margin-right: 10pt;
padding: 5px;
background-color: #ffffff;
position : relative;
float: left;
}
#rh-col{
background-color: #ffffff;
color: #333333;
margin: 2pt;
padding: 5px ;
left: 17%;
width: 81%;
border: solid black 1pt;
position : absolute;
}
.bannerright {
margin-right : 5px;
float: right;
color: black;
font-family : Arial:hover, Helvetica, sans-serif;
font-size : 0.8em;
font-weight : bold;
text-decoration: none;
}
body.pagetable {
background-color: #ffffcc;
color: black;
}
td.maintext p {
font-family: sans-serif;
}
td.maintext {
background-color: white;
font-family: sans-serif;
color: black;
padding-left: 6pt;
padding-right: 6pt;
}
body.simple {
background-color: white;
color: black;
margin: 10pt;
}
body{
margin: 0;
padding:0;
color: black;
}
#hdr{
width: auto;
margin: 0;
padding-top: 1pt;
padding-bottom: 1pt;
border:0;
color: yellow;
background: url("/logos/TEI-glow.png");
background-repeat : no-repeat;
overflow : inherit;
}
/* navigation bar */
#hdr2{
width: auto;
background-color: #0082EF;
color : #223377;
font-weight: bold;
padding-left : 15px;
padding-bottom : 2px;
padding-top : 2px;
padding-right : 5px;
font-family: sans-serif;
font-size:smaller;
border-top: solid black 1pt;
border-bottom: solid black 1pt;
}
/* bread crumbs */
#hdr3{
width: auto;
color: black;
background-color : white;
padding-left : 5px;
padding-bottom : 2px;
padding-top : 2px;
padding-right : 5px;
font-family: arial,sans-serif;
font-weight : bold;
font-size: smaller;
}
/* headings */
h1 {
font-weight: bold;
font-size: x-large;
color: #223377;
}
h2 { font-size: 16pt;
margin-top: large;
font-weight: bold;
font-family: arial, sans-serif;
color: #223377;
}
h3 { font-size: larger;
color: #C63904;
font-weight: bold;
font-family: arial, sans-serif;
font-style: italic;
}
h1.maintitle {
color: #222E44;
margin-left: 100px;
font-family: arial,sans-serif;
font-weight: bold;
margin-bottom: 5px;
}
h2.subtitle {
color: #222E44;
margin-bottom: 15px;
margin-left: 100px;
font-family: arial,sans-serif;
font-weight: bold;
}
.skiplinks{
font-family: arial, sans-serif;
color: black;
font-weight : bold;
font-size : 0.8em;
text-decoration: none;
padding-right : 15px;
}
a.skiplinks{
font-family: arial,sans-serif;
color: black;
font-weight : bold;
font-size : 0.8em;
text-decoration: none;
padding-right : 15px;
}
.footer
{text-align : center;
font-family: arial,sans-serif;
font-size : 0.8em;}
.hide{
display : none;
}
.tocontent{
color : #000066;
display : none;
}
.framestdlink {
color: red;
font-size: smaller;
font-weight: bold;
}
/* linking of all kinds */
a.breadcrumb{
color: black;
text-decoration: none;
padding-right : 5px;
}
ul.breadcrumb
{
display: inline;
font-size: 1.1em;
}
ul.breadcrumb li
{
padding-left: 12px;
padding-right: 5px;
display: inline;
color: #000;
background: url(/images/rightarrow.gif);
background-repeat: no-repeat;
background-position: left;
}
a.framestdlink
{
font-size: small;
font-weight: bold;
text-decoration: none;
font-family : Arial, sans-serif;
}
a:hover
{
text-decoration: underline;
}
a.navbar:link
{
color: white;
text-decoration: none;
}
a.navbar:visited
{
color: white;
text-decoration: none;
}
a.navbar:hover {
color: white;
text-decoration: underline;
}
a.inlinetoc:link,a.inlinetoc:visited
{
color: #7a7a7a;
font-size: smaller;
text-decoration: none;
}
a.inlinetoc:hover
{
color: #7a7a7a;
font-size: smaller;
text-decoration: underline;
}
a.inlinetoc-this:visited,a.inlinetoc-this:link
{
font-size: smaller;
color: black;
font-weight: bold;
text-decoration: underline;
}
a.inlinetoc-sub:visited,a.inlinetoc-sub:link
{
text-decoration: none;
color: black;
font-weight: normal;
font-size: smaller;
}
/* misc */
.plain {
font-weight: bold;
text-decoration: none;
font-size: 100%;
font-family: sans-serif;
color: #C63904 }
.TEIgi {
text-decoration: none;
color: #ff6600;
}
.WWPgi { text-decoration:none;
color: green;
}
.small { font-size: 8pt;
font-family: "Arial";
color: #9F9F9F;
}
.label {
font-weight: bold;
background-color: #AAAAAA;
}
tr.label td {
font-weight: bold;
background-color: #AAAAAA;
}
pre {
margin-left: 1em;
}
pre.eg {
font-size: small
}
table.wovenodd td,p.wovenodd {
background-color: white;
}
div.inlinetoc {
color: #7a7a7a;
text-align: center;
margin-top: 10pt;
padding-right: 16pt;
padding-left: 16pt;
}
/* table of contents in left-hand column */
span.toclist{
font-size: smaller;
font-family: sans-serif;
font-weight: bold;
}
p.toclist {
font-family: sans-serif;
margin-left: 1em;
margin-top: 1pt;
margin-bottom: 2pt;
text-indent: -1em;
}
p.toclist-this {
font-family: sans-serif;
margin-left: 1em;
margin-top: 1pt;
margin-bottom: 2pt;
text-indent: -1em;
font-size: small;
font-weight: bold ;
color: red;
}
p.toclist-sub {
font-family: sans-serif;
margin-left: 2em;
margin-top: 1pt;
margin-bottom: 2pt;
text-indent: -1em
}
a.toclist:visited,a.toclist:link
{
font-size: small;
font-weight: bold;
color: #223377;
text-decoration: none;
}
a.link_xref:hover
{
color: blue;
text-decoration: underline;
}
a.link_xref:visited,a.link_xref:link
{
color: #223377;
text-decoration: underline;
}
a.toclist:hover
{
font-size: small;
font-weight: bold;
color: #222E44;
text-decoration: underline;
}
a.toclist-this:visited,a.toclist-this:link {
text-decoration: none;
font-weight: bold;
color: #cc99cc;
}
a.toclist-sub:visited ,a.toclist-sub:link
{
text-decoration: none;
color: #6600ff;
font-weight: bold;
font-size: small;
}
a.toclist-sub:hover
{
text-decoration: underline;
color: #6600ff;
font-weight: bold;
font-size: small;
}
/* notes */
div.notes {
margin: 6pt;
font-size: smaller;
}
div.noteHeading {
margin-top: 9pt;
margin-bottom: 3pt;
border: 0;
border-top: 1pt;
border-style: solid;
padding-top: 6pt;
font-size: larger;
font-weight: bold;
}
div.note {
margin-left: 1em;
margin-bottom: 2pt;
text-indent: -1em;
}
/* images */
img {
margin-top: 10pt;
margin-bottom: 10pt;
display: block;
border: 1pt solid black;
}
p.caption {
font-style: italic;
}
p.rss {
margin-top: 1pt;
margin-bottom: 2pt;
font-size: smaller;
color: black;
}
ul.rss {
margin: 0;
padding: 0;
list-style: none;
}
li.rss {
font-size: smaller;
list-style: none;
display: block;
margin-left: 0.5em;
margin-top: 1pt;
margin-bottom: 2pt;
text-indent: -0.5em;
}
a {
color: #223377;
}
p.heading { font-size: 18pt;
margin-top: large;
font-weight: bold;
color: #C63904;
}
.floatimage {
float : left;
margin-right : 6px;
vertical-align : top;
}
pre.input {
background-color: #eeeeee;
padding: 3pt;
border: 2pt solid green;
}
pre.output {
background-color: #eeeeee;
padding: 3pt;
border: 2pt solid red;
}
span.ident{
font-family: sans-serif;
font-weight: bold;
}
span.code{
font-family: typewriter;
}
span.kw{
font-family: sans-serif;
text-decoration: underline;
}
span.path{
font-family: typewriter;
color: red;
}
span.command{
color: red;
}
span.software{
font-style: italic;
}
span.url{
font-family: typewriter;
color: red;
}
span.value{
font-family: typewriter;
color: green;
}
dt {
font-weight: bold;
}