PDP-8-E-Simulator/RK8E/English.lproj/RK8EOnlineHelp/styles.css
2018-05-26 15:52:10 +12:00

240 lines
4.0 KiB
CSS

/*
* PDP-8/E Simulator
*
* Copyright © 1994-2015 Bernhard Baehr
*
* styles.css - Online help - Style sheet
*
* This file is part of PDP-8/E Simulator.
*
* PDP-8/E Simulator 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
* (at your option) any later version.
*
* This program 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 this program. If not, see <http://www.gnu.org/licenses/>.
*/
p {
font-size: 9pt;
font-family: "Lucida Grande", Arial, "Sans Serif";
text-decoration: none
}
p.small {
font-size: 8pt;
}
a {
font-family: "Lucida Grande", Arial, "Sans Serif";
text-decoration: none
}
a:hover {
text-decoration: underline
}
ul {
margin-left: 1.25em; padding-left: 0em;
}
li {
font-size: 9pt;
font-family: "Lucida Grande", Arial, "Sans Serif";
text-decoration: none
}
#mainbox {
background-color: #fff;
margin-top: 30px;
margin-right: 26px;
margin-left: 18px;
position: absolute;
top: 10px
}
#taskbox {
background-color: #eee;
list-style-type: decimal;
list-style-position: outside;
margin-top: 12px;
margin-bottom: 12px;
border: solid 1px #444
}
h1 {
font-size: 12pt;
font-family: "Lucida Grande", Arial, "Sans Serif";
padding-top: 6pt;
}
h2 {
font-size: 12pt;
font-family: "Lucida Grande", Arial, "Sans Serif";
padding-top: 8pt;
}
h3 {
font-size: 10pt;
font-family: "Lucida Grande", Arial, "Sans Serif";
padding-top: 5pt;
}
h4 {
font-size: 9pt;
font-family: "Lucida Grande", Arial, "Sans Serif";
padding-top: 4pt;
}
/* index.html */
table.index {
padding-top: 20px;
width: 100%;
}
td.banner {
padding: 20px;
}
td.toc {
padding-top: 10px;
padding-bottom: 10px;
padding-left: 20px;
padding-right:20px;
border-left: 1px solid darkgray;
}
p.toc {
line-height: 40px;
}
/* other pages */
table {
border-collapse: separate;
border-spacing: 0px;
}
th {
font-family: "Lucida Grande", Arial, "Sans Serif";
font-size: 9pt;
font-style: bold;
border-bottom: 1px solid gray;
padding-left: 10px;
padding-right: 10px;
}
th.left {
text-align: left;
}
td {
text-align: center;
vertical-align: top;
font-family: "Lucida Grande", Arial, "Sans Serif";
font-size: 9pt;
padding-left: 10px;
padding-right: 10px;
}
td.left {
text-align: left;
}
td.right {
text-align: right;
}
td.br {
border-right: 1px solid gray;
}
td.bb {
border-bottom: 1px solid lightgray;
}
td.bb_left {
text-align: left;
border-bottom: 1px solid lightgray;
}
td.bbr {
border-bottom: 1px solid lightgray;
border-right: 1px solid gray;
}
td.opcode {
vertical-align: middle;
width: 40px;
padding-left: 0px;
padding-right: 0px;
}
td.opcode_right {
text-align: right;
vertical-align: middle;
width: 40px;
padding-left: 0px;
padding-right: 0px;
}
td.opcode_left {
text-align: left;
vertical-align: middle;
width: 40px;
padding-left: 0px;
padding-right: 0px;
}
td.opcode_tb {
vertical-align: middle;
background: lightgray;
width: 40px;
height: 40px;
border-top: 1px solid black;
border-bottom: 1px solid black;
padding-left: 0px;
padding-right: 0px;
}
td.opcode_tlb {
vertical-align: middle;
background: lightgray;
width: 40px;
height: 40px;
border-top: 1px solid black;
border-left: 1px solid black;
border-bottom: 1px solid black;
padding-left: 0px;
padding-right: 0px;
}
td.opcode_tbr {
vertical-align: middle;
background: lightgray;
width: 40px;
height: 40px;
border-top: 1px solid black;
border-bottom: 1px solid black;
border-right: 1px solid black;
padding-left: 0px;
padding-right: 0px;
}
td.opcode_tlbr {
vertical-align: middle;
background: lightgray;
width: 40px;
height: 40px;
border: 1px solid black;
padding-left: 0px;
padding-right: 0px;
}