@import "card.css";
@import "cal.css";
@import "book.css";
@import "events.css";

a {
   text-decoration: none;
}

a:link, a:visited {
   color: #0000ff
}  

a:hover, a:active {
   color: #ff0000
}

a:visited:hover, a:visited:active {
   color: #00ff00
}

a.title {
   width: 100%;
   font-size: 150%;
   font-weight: bold;
   text-decoration: none;
   text-transform: uppercase;
   color: #ffffff;
}

body {
   background-color: #eeeeff
}

x {
   font-family: helevetica, courier, monospace
}

article {
   margin: 0px
}

figure {
   margin: 0px
}

figcaption {
   margin: 0px
}

div, p, ul {
   font-family: Arial, sans-serif;
   font-size: 10pt;
   font-style: normal;
   text-align: justify;
   margin-bottom: 0.25cm
}

p.large {
   font-size: 125%;
}

div.body {
   background-color: #eeeeff;
   margin-right: auto;
   margin-left: auto;
   width: 64em
}

div.abstract {
   margin-left: 1cm;
   margin-right: 1cm
}

div.buscard {
   float: left;
   padding: 1em;
   margin-left: 2em;
   margin-top: 2em;
   margin-bottom: 0em;
   width: 270px;
   background-color: #ffffff;
   box-shadow: 10px 10px 5px #888888;
}

div.cardphoto {
   float: left;
   margin-right: 1em;
}

div.midtop {
   float: left;
   margin-top: 4em;
   margin-left: 3em;
   margin-right: 0em;
}

.midtop img {
   width: 180px;
}

div.date {
   float: right;
   padding: 1em;
   margin-right: 2em;
   margin-left: 0em;
   margin-top: 1em;
   margin-bottom: 0em;
   width: 20em;
}

div.sidebar {
   float: right;
   margin-left: 3em
}

div.note {
   border: ridge;
   padding: 4pt;
   margin-left: 1cm;
   margin-right: 1cm;
   font-style: italic;
   background-color: #eeeeee;
}

div.sesstitle {
   width: auto;
   padding: 1em;
   background-color: #0000ff;
}

.note h2 {
   width: 100%;
   color: #000000;
   padding-top: 0.5em;
   padding-bottom: 0.5em;
   background-color: #ccccdd;
}

.note div.container {
   width: 100%;
   color: #000000;
   padding-top: 0.5em;
   padding-bottom: 0.5em;
}

div.item {
   margin-top: 2em
}

div.itemhdr {
   text-align: center
}

div.itempics {
   text-align: center;
   width: 25%;
   float: left
}

div.twocol {
   width: 50%;
   float: left;
}

div.twocoll {
   width: 48%;
   float: left;
}

div.twocolr {
   width: 48%;
   float: right;
}

div.threecol {
   width: 32%;
   float: left;
}

div.fourcol {
   width: 25%;
   float: left;
}

div.fourcolp {
   min-width: 22%;
   max-width: 23%;
   float: left;
}

div.ticon {
   float: left;
}

div.fname {
   margin-top: 10px;
   text-align: left;
   overflow: auto;
}

div.itempicl {
   text-align: center;
   width: 40%;
   float: left
}

div.itemcap {
   text-align: center;
   font-size: 7pt;
   margin-top: 1em
}

div.mcolcap {
   text-align: left;
   font-size: 7pt;
   margin-top: 1em
}

img {
   max-width: 90%;
}

img.book {
   max-height: 75px;
   box-shadow: 10px 10px 5px #888888;
}

div.itemtxt {
   margin-left: 5px;
}

div.icon {
   float: left;
   width: 90px;
   margin: 5px;
}

div.iconind {
   float: left;
   width: 90px;
   margin: 5px;
   margin-left: 90px;
}

div.icontxt {
   margin: 5px;
   overflow: auto;
}

div.end {
   clear: both
}

div.abshead {
   font-family: Arial, sans-serif;
   font-size: 18pt;
   font-weight: bold;
   text-align: center;
   margin-top: 0.5cm
}

div.caption {
   font-size: 7pt;
   text-align: center
}

div.code {
   font-family: Courier, Monospace, sans-serif;
   font-size: 10pt;
   text-align: left
}

div.code-ex {
   font-family: Courier, Monospace, sans-serif;
   font-size: 10pt;
   text-align: left;
   margin: 0.5cm;
   width: 550pt;
   background-color: #ffffff;
   border: ridge
}

div.code-fin {
   font-family: Courier, Monospace, sans-serif;
   font-size: 10pt;
   text-align: left;
   margin: 0.5cm;
   width: 550pt;
   background-color: #dddddd;
   border: ridge
}

div.pre {
   font-family: Courier, Monospace, sans-serif;
   font-size: 10pt;
   text-align: center
}

div.heading {
   font-family: Arial, sans-serif;
   font-size: 16pt;
   font-weight: bold;
   margin-top: 0.5cm
}

div.subhead {
   font-family: Arial, sans-serif;
   font-size: 12pt;
   font-weight: bold;
   text-align: center;
   margin-top: 0.5cm
}

div.title {
   font-family: Arial, sans-serif;
   font-size: 18pt;
   font-weight: bold;
   text-align: center;
   font-variant: small-caps;
   margin-top: 0.75cm
}

div.subtitle {
   font-family: Arial, sans-serif;
   font-size: 15pt;
   font-weight: bold;
   text-align: center;
   font-variant: small-caps
}

div.hdate {
   font-size: 10%;
   visibility: hidden
}

div.threecol {
   float: left;
   width: 30%;
   padding: 0em;
}

div.center {
   padding: 0px;
   margin: 0px auto;
   text-align: center;
}

div.centershdw {
   padding: 0px;
   margin: 0px auto;
   text-align: center;
}

.centershdw img {
   margin-bottom: 10px;
   box-shadow: 10px 10px 5px #888888;
}

h1 {
   font-family: Arial, sans-serif;
   font-size: 16pt;
   font-weight: bold;
   margin-top: 0.5cm
}

h2 {
   font-family: Arial, sans-serif;
   font-size: 12pt;
   font-weight: bold;
   text-align: center;
   margin-top: 0.5cm
}

span.sup {
   font-size: 70%;
   position: relative;
   bottom: 0.5em
}

span.sub {
   font-size: 70%;
   position: relative;
   bottom: -0.5em
}

span.input {
   color: #b22222
}

span.pre-white {
   font-family: Courier, Monospace, sans-serif;
   font-size: 12pt;
   text-align: center;
   background: #ffffff
}

span.pre-blue {
   font-family: Courier, Monospace, sans-serif;
   font-size: 12pt;
   text-align: center;
   background: #ccccff
}

table {
   text-align: left;
   margin-left: auto;
   margin-right: auto;
   border-style: none
}

table.ext2dir {
   font-family: Arial, sans-serif;
   text-align: center;
   font-size: 9pt
}

.ext2dir th.byte {
   width: 3em;
   background-color: #dddddd
}

.ext2dir td.pad {
   background-color: #dddddd
}

table.ext2inode {
   font-family: Arial, sans-serif;
   text-align: center;
   font-size: 9pt
}

.ext2inode tr.ignore {
   background-color: #dddddd
}

table.ext2vol {
   font-family: Arial, sans-serif;
   text-align: center;
   font-size: 9pt
}

.ext2vol tr.ignore {
   background-color: #dddddd
}

table.cent {
   text-align: center;
   margin-left: auto;
   margin-right: auto;
   border-style: none
}

table.disp {
   background-color: #000000;
   border-style: ridge;
   margin-top: 5mm;
   margin-bottom: 5mm
}

table.filmlist {
   font-family: Arial, sans-serif;
   text-align: left;
   font-size: 9pt
}

td.tab {
   font-family: Arial, sans-serif;
   width: 3cm
}

td.tab div {
   background-color: #eeeeff;
   font-family: Arial, sans-serif;
   font-size: 14pt;
   font-weight: bold;
   margin-bottom: 0.25cm;
   text-align: center
}

td.tab a {
   text-decoration: none;
}

td.tab a:link, td.tab a:visited {
   color: black
}

td.sep {
   background-color: #ccccff;
   border: 10px;
   width: 1px
}

td.list {
   text-align:left;
   padding: 10px;
   vertical-align: top
}

td.smlist {
   font-size: 80%;
   text-align:left;
   padding: 10px;
   vertical-align: top
}

td.imgdesc div {
   text-align: justify;
   margin-left: 5mm;
   width: 14cm
}

td.karnaugh0 {
   font-size: 150%;
   text-align: center;
   border: ridge;
   width: 2em;
   height: 2em
}

td.karnaugh1 {
   font-size: 150%;
   text-align: center;
   font-weight: bold;
   color: white;
   border: ridge;
   width: 2em;
   height: 2em
}

ul {
   margin-left: 1cm
}

.wide li {
   margin-bottom: 0.5em
}

li {
   font-weight: bold;
   font-size: 10pt
}

dt {
   margin-top: 0.5cm;
   font-weight: bold
}

hr.short {
   width: 25%
}

div.menu {
   text-align: center
}

.menu ul {
   list-style-type: none;
   margin: 0;
   padding: 0
}

.menu li {
   float: left
}

.menu a {
   display: block;
   width: 6em;
   padding: 1em;
   font-weight: bold;
   text-align: center;
   text-decoration: none;
   text-transform: uppercase
}

.menu a:link, .menu a:visited {
   background-color: #ddddff;
   color: #0000ff;
}

.menu a:hover, .menu a:active {
   background-color: #0000ff;
   color: #ffffff
}

svg {
   margin-left: auto;
   margin-right: auto;
   margin-top: 1em;
   margin-bottom: 1em;
   display: block
}