body,td,p,ul {
font-family: times,serif;
font-size: 100%;
color: #000000;
}

body {
  background: white;
  color: black;
  font-family: times,serif;
  font-weight: normal;
  font-size: 100%;
  min-width: 500px;
  max-width: 950px;
  margin-left: 3%;
  margin-right: 12%;
}

a:link {
color: #0030f0;
}

a:visited {
color: #1080ff;
}

.code {
margin-left: 30px;
margin-right: 30px;
background-color: #d0d0d0;
color: #000000;
}

/* the navigation choices at the bottom of the page. */

.nav {
background-color: #ffffff;
color: #000000;
font-family: arial,sans-serif;
text-align: center;
}

/* the title bar on non-main pages */

.title {
border-bottom: 5px solid #33ccff;
}

/* The blue title bar on non-main pages */

.header {
color: #ffffff;
background-color: #10a0ff;
font-family: arial,sans-serif;
padding: 0;
font-size: 100%;
font-weight: bold;
border: 3px solid #10a0ff;
}

/* For all page footers */

.footer {
font-size: 80%;
text-align: center;
}

/* For the download page */

/* descriptions of versions available */
dt {
font-weight: bold;
}

dd {
font-family: times,serif;
}

/* Highlighting the code download sections */
.download {
background-color: #d0e0ff;
}

/* Changes for Octave Wiki */

h1,h2,h3 {
font-family: arial,sans-serif;
}

h1 {
font-size: 140%;
padding: 5px;
margin-top: 5px;
color: #000090;
background-color: #f0ffff;
}

h2 {
font-size: 110%;
padding: 2px;
margin-top: 3px;
}

h3 {
font-size: 105%;
padding: 1px;
margin-top: 2px;
}

h4,h5,h6 {
color: #606060;
font-size: 105%;
padding: 1px;
margin-top: 2px;
}

/* for links in the header */
h1 a {
color: #ffffff;
}

#im {
float: right;
margin: 10px;
border: 2px solid #000000;
}

#iml { 
margin: 10px;
float: right;
border: 2px solid #000000;
clear: right;
}

img.left { float:left; margin:1em; }
img.right { float:right; margin:1em; }
img.middle { text-align:center; margin:1em; }

img.logo { float: right; clear: right; border-style:none; }

code,samp,pre,tt {
font-family: courier;
font-size: 83%;
}
pre {
border: #777777 1px solid;
padding: 0.5em;
margin-left: 1em;
margin-right: 2em;
white-space: pre;
background-color: #e6e6e6;
color: black;
}
