@charset "windows-1250";
/* Vladimír Slávik 2003 & 2004 */
/* used on vs.simutrans.com */
/* screen (browser) style sheet */

/* --------------------------------------------------------- */
/* BASICS */

body {
 padding-top: 3em;
 background: url("images/back.jpg") #008080 top left repeat fixed; }

/* --------------------------------------------------------- */
/* LINKS */

a:link, a:visited {
 text-decoration: underline;
 color: #000000; }
 
a:active, a:hover, a:focus {
 text-decoration: none;
 background-color: #6c6c6c;
 color: #ffffff; }
 
a.filelink {
 text-decoration: none; }

#nav a {
 text-decoration: none; }

/* --------------------------------------------------------- */
/* IMAGES */

img {
 border-width: 0px; }

img.file {
 float: left;
 margin-right: 1em;
 margin-left: 1em;
 display: block; }

img.icon {
 float: left;
 margin: 2px;
 display: block; }

img.image {
 float: left;
 margin-right: 1em;
 margin-top: 1em;
 margin-bottom: 1em;
 border-style: solid;
 border-width: 1px;
 border-color: #000000;
 display: block; }

img.file-sm {
 float: left;
 margin-right: 1em;
 margin-left: 1em; }

/* --------------------------------------------------------- */
/* HIGHER LEVEL BOX FORMATTING */

div {
 /* ancestor of all DIVs gathers most of styling */
 color: #000000;
 background-color: #c0c0c0;
 font-family: "MS Sans Serif", Verdana, Arial, Sans-serif;
 margin: 0px 2em 2em 14em;
 border: 2px solid #808080;
 padding: 0px;
 clear: none; }

div.filelist {
 background-color: #ffffff; }

div.textsection { }

div.longtext { }

div.biglinks {
 font-family: Arial, Sans-serif;
 font-size: 200%;
 text-align: center;
 padding: 2% 5%;
 margin: 10%; }

div.imageblock {
 /* resizable box for merging images whose back
    color is the same as back color of box */
 /* width: 80%; */
 background-color: #e7ffff;
 text-align: center;
 border: 1px solid #000000;
 margin: 20px 4em; }

div.intro {
 margin: 1em 20%;
 width: 60%;
 display: block;
 text-align: center;
 font-family: Arial, sans-serif;
 font-size: 80%;
 border: 3px double #000000; }
 
div#nav {
 float: left;
 position: fixed;
 left: 0;
 background-color: #ffffff;
 margin: 0px 2em 2em 1em;
 width: 10em; }

div#nav h1 {
 margin-bottom: 5px; }

/* --------------------------------------------------------- */
/* LISTS (FILES & LINKS) */

ul {
 margin: 1.5em 3em;
 padding: 0px; }

li {
 list-style-type: none;
 font-family: "MS Sans Serif", Vera, Verdana, Arial, Sans-serif;
 font-size: 70%;
 min-height: 40px;
 clear: right;
 display: block;
 margin-top: 10px; }

#nav ul {
 margin: 0.3em; }

#nav li {
 min-height: inherit;
 margin: 4px; }

/* --------------------------------------------------------- */
/* TEXT + PARAGRAPHS */

p {
 margin-top: 0px;
 margin-bottom: 1em;
 text-align: left;
 margin: 2em; }

h1 {
 /* heading, styled so that it looks like window header */
 color: #ffffff;
 background-color: #000080;
 text-align: left;
 font-family: Arial, Sans-serif;
 font-size: 100%;
 min-height: 20px;
 border-bottom-width: 2px;
 border-bottom-color: #808080;
 border-bottom-style: solid;
 margin: 0px;
 margin-bottom: 1em; }

div.longtext p {
 font-size: 80%; }

div.textsection p {
 font-size: 70%; }
 
div.intro p {
 text-align: center;
 margin-top: 1em; }

/* --------------------------------------------------------- */
/* OTHER PETTY INLINE THINGS */

span.more {
 /* instead of malfunctioned "span[title]" this provides visual
    indication that the text has some more tagged info */
 border: 1px dotted #0099ff;
 cursor: help; }

span.date {
 font-weight: bold;
 color: #0000FF; }

sup {
 font-size: 60%;
 vertical-align: super;
 font-family: "Small fonts", "MS Sans serif", Arial, Sans-serif; }

em {
 text-decoration: none; }
 
strong {
 text-decoration: none;
 font-weight: bold; }

/* EOF */