qse/ase/doc/doc.css

87 lines
1.5 KiB
CSS

body
{
font-family: verdana, "times new roman", tahoma, lucida, sans-serif;
background-color: white;
color: black;
#padding: 10px 10px 10px 10px;
font-size: 90%;
padding-left: 10px;
padding-right: 10px;
line-height: 1.3;
text-align: justify;
}
#a:link { color: #F89E59;}
#a:visited { color: #F89E59;}
#a:hover { color:#000000;}
h1,h2,h3,h4,h5
{
font-family: tahoma, "times new roman", verdana;
border-bottom: 1px solid #779098;
}
h1 { font-size: 120%; }
h2 { font-size: 115%; padding-left: 5px; }
h3 { font-size: 110%; padding-left: 10px; }
h4 { font-size: 105%; padding-left: 15px; }
h5 { font-size: 100%; padding-left: 20px; }
.header
{
font-family: verdana, tahoma;
font-size: 120%;
font-weight: bold;
#padding-right: 20px;
text-decoration: none;
border-bottom: 1px solid black;
}
.footer
{
font-family: "times new roman", tahoma;
font-size: 14px;
#padding-right: 20px;
text-decoration: none;
text-align: right;
border-top: 1px solid black;
}
.contents
{
font-family: "times new roman", tahoma;
font-size: 95%;
}
.maintext
{
font-size: 90%;
#color: #555555;
color: black;
padding-left: 20px;
padding-right: 20px;
line-height: 1.3;
text-align: justify;
}
pre.code
{
font-family: "Lucida TypeWriter", monotype, lucida, fixed;
font-size: 80%;
padding: 6px 6px 6px 6px;
xbackground-color: #000000;
xcolor: #FFD700;
#border: 1px dashed #779098;
#border: 1px solid #779098;
border: none;
background-color: yellow;
}
.linenum
{
font-weight: bold;
}