1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374 |
- body {
- font-family: Verdana, Arial, Sans-Serif;
- background: #F0F0F6;
- line-height:1.1em;
- min-width: 1000px;
- font-size: 90%;
- }
- a:link { text-decoration:none; font-weight:bold; color:#900000; }
- a:visited { text-decoration:none; font-weight:bold; color:#900000; }
- a:hover { text-decoration:none; font-weight:bold; color:#900000; }
- a:active { text-decoration:none; font-weight:bold; color:#900000; }
- a:focus { text-decoration:none; font-weight:bold; color:#900000; }
- div.footer {
- position:fixed;
- width: 100%;
- bottom: 0px;
- font-size: 90%;
- background: #efefef;
- text-align: center;
- padding: 10px;
- }
- div.output {
- float: left;
- font-size: 90%;
- max-width: 900px;
- min-width: 300px;
- margin-left: 2em;
- margin-top: 1.5em;
- margin-bottom: 5em;
- padding: 1em;
- background-color: white;
- border: dotted 1px;
- border-color: grey;
- white-space: pre;
- font-family: monospace;
- }
- div.padding {
- clear: left;
- float: left;
- width: 100%;
- }
- div.navi ul {
- font-family: Arial, Sans-Serif;
- list-style-type: none;
- font-size: 120%;
- font-weight: bold;
- line-height: 1.5em;
- }
- div.navi li {
- padding: 0.5em 0.5em 0.5em 0.5em;
- margin-bottom: 1em;
- background-color: white;
- background-color: #D0D0D0;
- border: dotted 1px;
- border-color: grey;
- }
- div.navi li:hover {
- background-color: #E0E0E0;
- }
- div.navi {
- float: left;
- width: 200px;
- }
|