body {
  background: #002000;
  color: #002000;
  font-family: Verdana, Geneva, Helvetica, Arial, sans-serif;
  margin: 0em;
  min-width: 640px;
  padding: 0em 4% 0em 4%;
}

a {
  color: #0000A5;
  text-decoration: none;
}

a:hover {
  text-decoration: underline;
}

a:visited {
  color: #3F0000;
}

blockquote, div, p {
  background-color: transparent;
  border: 0px none transparent;
  border-radius: 0em;
  display: block;
  margin: 0em auto 0em auto;
  max-width: 36em;
  padding: 0em;
  text-align: justify;
}

blockquote {
  max-width: 28em;
  padding: 0em 2em 0em 6em;
}

details {
  background-color: transparent;
  border: 0px none transparent;
  border-radius: 0em;
  clear: both;
  margin: 0em auto 0em auto;
  max-width: 66em;
  padding: 3em 0em 0em 0em;
}

div.float_center {
  clear: both;
  float: right;
  margin: 0em;
  max-width: none;
  position: relative;
  right: 50%;
  text-align: left;
}

div.footer {
  background-color: #F0FFF0;
  border-color: #002000;
  border-style: solid;
  border-width: 1px 0px 0px 0px;
  bottom: 0px;
  left: 0px;
  max-width: none;
  min-width: 640px;
  padding-bottom: 4px;
  padding-top: 8px;
  position: fixed;
  right: 0px;
  text-align: center;
  z-index: 2;
}

div.gallery {
  float: left;
  height: 324px;
  margin: 16px;
  overflow: hidden;
  width: 200px;
}

div.gallery p {
  font-size: small;
  height: 120px;
  overflow: auto;
}

div.home {
  background-color: #F0FFF0;
  border-radius: 0.75em;
  margin: 2em auto 3em auto;
  padding: 2em;
  text-align: center;
}

div.main, div.mainold {
  background-color: #F0FFF0;
  border-radius: 0.75em;
  margin: 2em auto 5.5em auto;
  max-width: 66em;
  min-width: 8em;
  overflow: auto;
  padding: 2em;
}

div.mainold h1 {
  margin-bottom: 0.67em;
  text-align: center;
}

div.mainold h2 {
  margin-top: initial;
  text-align: center;
}

div.mainold h3 {
  text-align: center;
}

div.mainold li {
  margin-top: 0.5em;
}

div.software, div.droid, div.c64, div.univ, div.winold, div.win {
  clear: both;
  display: block;
  max-width: 66em;
}

h1 {
  margin-bottom: 2em;
  margin-top: 0em;
  text-align: center;
}

h2 {
  margin-top: 3em;
}

hr {
  border: 2px solid #002000;
  display: block;
  margin: 0.5em auto 0.5em auto;
  width: 64%;
}

li.article {
  margin: 2em auto 0em auto;
  max-width: 34.75em;
  padding-right: 1.25em;
  text-align: justify;
}

p.article {
  margin-top: 0.5em;
  max-width: 42em;
}

p.index_right {
  background-color: #F0FFF0;
  border-color: #002000;
  border-style: solid;
  border-width: 0px 0px 1px 1px;
  font-size: smaller;
  margin: 0px;
  max-width: none;
  padding: 1px 2px 2px 2px;
  position: fixed;
  right: 0px;
  top: 0px;
}

p.index_left {
  background-color: #F0FFF0;
  border-color: #002000;
  border-style: solid;
  border-width: 0px 1px 1px 0px;
  font-size: smaller;
  margin: 0px;
  max-width: none;
  padding: 1px 2px 2px 2px;
  position: fixed;
  left: 0px;
  top: 0px;
}

p.software_title {
  background-color: #C0FFC0;
  border-radius: 0.75em;
  clear: both;
  margin: 0em 3% 0em 3%;
  max-width: 66em;
  padding: 0.5em 1em 0.5em 15%;
}

p.sw {
  background-color: #F8F8FF;
  border-color: #002000;
  border-radius: 0.42em;
  border-style: solid;
  border-width: 1pt 0pt 1pt 0pt;
  float: left;
  margin: 1em 3% 0.75em 3%;
  padding: 1%;
  width: 25.3%;
}

p.sw_old {
  background-color: #FFF6F6;
  border-color: #002000;
  border-radius: 0.42em;
  border-style: solid;
  border-width: 1pt 0pt 1pt 0pt;
  float: left;
  margin: 1em 3% 0em 3%;
  padding: 1%;
  width: 25.3%;
}

summary {
   cursor: pointer;
}

summary a, summary a:hover {
   text-decoration: none;
}

.en {
  float: left;
  padding: 0.5em 4% 3em 4%;
  width: 42%;
}

.floating_menu {
  background-color: #F0FFF0;
  border-radius: 0.75em;
  cursor: pointer;
  display: block;
  float: left;
  left: 50%;
  margin: 1em;
  padding: 1.5em;
  position: relative;
}

.floating_menu:hover {
  font-weight: bold;
}

.framed {
  background-color: #C0FFC0;
  border-radius: 0.75em;
  margin-bottom: 1em;
  margin-top: 1em;
  padding: 1em;
}

.it {
  float: right;
  padding: 0.5em 4% 3em 4%;
  width: 42%;
}

.sls li {
  margin: 0.5em auto 0em auto;
}

.summary_left {
  background-color: #C0FFC0;
  border-radius: 0.75em;
  display: block;
  float: left;
  margin: 0em 2.5% 0em 3%;
  padding: 0.5em 1% 0.5em 1%;
  text-align: center;
  width: 42%;
}

.summary_right {
  background-color: #C0FFC0;
  border-radius: 0.75em;
  display: block;
  float: right;
  margin: 0em 3% 0em 0em;
  padding: 0.5em 1% 0.5em 1%;
  text-align: center;
  width: 42%;
}