135 lines
2.2 KiB
CSS
135 lines
2.2 KiB
CSS
a:link {color: #0000D0;}
|
|
a:visited {color: #0000D0;}
|
|
a:hover {color: #FF0000;}
|
|
|
|
body {
|
|
margin-right:1em;
|
|
margin-left:15em;
|
|
margin-top:70px;
|
|
padding-top:1px;
|
|
font-family: Helvetica, Arial, sans-serif;
|
|
font-size:14px;
|
|
background-color:#ffffff;
|
|
}
|
|
|
|
a[name] { position:relative; top:-11ex;}
|
|
|
|
pre {
|
|
background-color:#f4f4f4;
|
|
padding:1ex;
|
|
border:1px solid #000000;
|
|
white-space:pre;
|
|
margin:2ex;
|
|
}
|
|
|
|
kbd {
|
|
font-weight:bold;
|
|
}
|
|
|
|
dt {
|
|
margin-top:0.5ex;
|
|
}
|
|
|
|
h1 {
|
|
font-size:250%;
|
|
margin-top:0;
|
|
font-style:italic;
|
|
font-weight:bold;
|
|
font-family:"Times New Roman", serif;
|
|
text-align:center;
|
|
position:fixed;
|
|
top:0;
|
|
left:0;
|
|
width:100%;
|
|
line-height:190%;
|
|
background-color:white;
|
|
border-width:0;
|
|
border-bottom:3px solid #1b4486;
|
|
white-space:nowrap;
|
|
background-image:url(PSI.png);
|
|
background-repeat:no-repeat;
|
|
background-position:10px 5px;
|
|
text-shadow:.1em .1em .1em darkgray;
|
|
box-shadow:0 .3em .1em -.2em darkgray;
|
|
}
|
|
|
|
h2 {
|
|
font-size:150%;
|
|
margin-bottom:0.5ex;
|
|
}
|
|
|
|
h3 {
|
|
font-size:120%;
|
|
margin-bottom:0.25ex;
|
|
}
|
|
|
|
h4 {
|
|
font-size:100%;
|
|
margin-bottom:0.25ex;
|
|
}
|
|
|
|
p {
|
|
margin-top:0.75ex;
|
|
margin-bottom:0.75ex;
|
|
}
|
|
|
|
small {
|
|
font-size:75%;
|
|
}
|
|
|
|
code {
|
|
color: #008000;
|
|
}
|
|
|
|
.indent {
|
|
text-indent:-4ex;
|
|
margin-left:4ex;
|
|
margin-top:0.5ex;
|
|
text-align:left;
|
|
}
|
|
|
|
.box {
|
|
margin-left:1ex;
|
|
margin-right:1ex;
|
|
margin-top:0.5ex;
|
|
padding: 0 1ex;
|
|
border: 1px solid black;
|
|
text-align:left;
|
|
background-color:#f0f0f0;
|
|
}
|
|
|
|
#navleft {
|
|
position:fixed;
|
|
left:0;
|
|
top:0;
|
|
padding-top:70px;
|
|
width:14em;
|
|
height:100%;
|
|
border-style:solid;
|
|
border-color:black;
|
|
border-width:0 1px 0 0;
|
|
background-color:#e3eaf6;
|
|
overflow:hidden;
|
|
z-index:0;
|
|
}
|
|
|
|
.new {
|
|
background-color: #ffc;
|
|
}
|
|
|
|
a[target=ex]:after {
|
|
content:" " url(ex.png);
|
|
}
|
|
|
|
a[target=ex]:hover:after {
|
|
content: " " url(exr.png);
|
|
}
|
|
|
|
@media print {
|
|
a:link {text-decoration:none;}
|
|
a[target=ex]:after {content:" [" attr(href) "]";}
|
|
body {margin:0 4em;}
|
|
h1 {position:relative; background-position:0 0;}
|
|
#navleft {display:none;}
|
|
}
|