.arg {
 color: yellow;
 font-family: courier new;
 font-weight: bold;

}
.sname { 
 color: yellow; 
 font-family: courier new;
 font-weight: bold;
 font-size: 22pt;
}
.sdesc { 
 color: white;
 font-family: helvetica, arial, sans-serif;
 font-size: 22pt;
}

.logo {
 position: relative; top: 30px; left: 340px; 
}
.slogan {
 font-family: helvetica, arial, sans-serif;
 color: white;
 font-size: 28pt;
}

.url {
 font-family: courier new;
 font-weight: bold;
 font-size: 110%;
 color: yellow;
}

.progName { color: yellow; }

.bigR { font-size: 24pt; font-family: arial, helvetica, sans-serif; }

body { background-color: black; }

.showtitle {
 margin-top: 30px;
 color: white;
 font-family: arial, helvetica, sans-serif;
 font-size: 64pt;
}
.where {
 margin-top: 20px;
 font-family: arial, helvetica, sans-serif;
 font-size: 28pt;
 color: yellow;
}

.bigU {
 margin-top: 20px;
 font-family: arial, helvetica, sans-serif;
 font-size: 36pt;
 color: white;
}

.bigT {
 margin-top: 30pt;
 font-family: arial, helvetica, sans-serif;
 font-size: 72pt;
 color: white;
}
.tim {
 margin-top: 15pt;
 font-family: arial, helvetica, sans-serif;
 font-size: 18pt;
 color: white;
}
.title {
 color: white;
 font-family: arial, helvetica, sans-serif;
 font-size: 36pt;
}
.intro {
 font-family: arial, helvetica, sans-serif;
 color: white;
 font-size: 24pt;
}
.point {
 font-family: arial, helvetica, sans-serif;
 color: white;
 font-size: 22pt;
}
.dt {
 font-family: Courier new;
 color: yellow;
 font-size: 18pt;
 font-weight: bold;
}
.dd {
 font-family: arial, helvetica, sans-serif;
 color: white;
 font-size: 22pt;
}
.question {
 font-family: arial, helvetica, sans-serif;
 color: white;
 font-size: 22pt;
}
.number {
 font-family: arial, helvetica, sans-serif;
 color: red;
 font-size: 22pt;
}
.nt {
  color: pink;
}
.term {
  color: yellow;
}
tt {
  font-family: courier new;
  font-weight: bold;
}
.code {
 font-family: Courier New;
 color: pink;
 font-weight: bold;
 font-size: 18pt;
}
.eg1 { font-family: courier new; font-weight: bold; color: black;  font-size: 12pt; }
.eg2 { font-family: courier new; font-weight: bold; color: black;  font-size: 12pt; }
.eg3 { font-family: courier new; font-weight: bold; color: black;  font-size: 12pt; }
.eg4 { font-family: courier new; font-weight: bold; color: black;  font-size: 12pt; }
.eg5 { font-family: courier new; font-weight: bold; color: black;  font-size: 12pt; }
.eg6 { font-family: courier new; font-weight: bold; color: black;  font-size: 12pt; }
.eg7 { font-family: courier new; font-weight: bold; color: black;  font-size: 12pt; }
.eg8 { font-family: courier new; font-weight: bold; color: black;  font-size: 12pt; }
.eg9 { font-family: courier new; font-weight: bold; color: black;  font-size: 12pt; }
.eg10 { font-family: courier new; font-weight: bold; color: black;  font-size: 12pt; }
.eg11 { font-family: courier new; font-weight: bold; color: black;  font-size: 12pt; }
.eg12 { font-family: courier new; font-weight: bold; color: black;  font-size: 12pt; }
.eg13 { font-family: courier new; font-weight: bold; color: black;  font-size: 12pt; }
.eg14 { font-family: courier new; font-weight: bold; color: black;  font-size: 12pt; }
.eg15 { font-family: courier new; font-weight: bold; color: black;  font-size: 12pt; }
.eg16 { font-family: courier new; font-weight: bold; color: black;  font-size: 12pt; }
.eg17 { font-family: courier new; font-weight: bold; color: black;  font-size: 16pt; }
.eg18 { font-family: courier new; font-weight: bold; color: black;  font-size: 16pt; }
.eg19 { font-family: courier new; font-weight: bold; color: black;  font-size: 16pt; }
.eg20 { font-family: courier new; font-weight: bold; color: black;  font-size: 16pt; }
.eg21 { font-family: courier new; font-weight: bold; color: black;  font-size: 16pt; }
.eg22 { font-family: courier new; font-weight: bold; color: black;  font-size: 16pt; }
.eg23 { font-family: courier new; font-weight: bold; color: black;  font-size: 16pt; }
.eg24 { font-family: courier new; font-weight: bold; color: black;  font-size: 16pt; }
.eg25 { font-family: courier new; font-weight: bold; color: black;  font-size: 16pt; }
.eg26 { font-family: courier new; font-weight: bold; color: black;  font-size: 16pt; }
.eg27 { font-family: courier new; font-weight: bold; color: black;  font-size: 16pt; }
.eg28 { font-family: courier new; font-weight: bold; color: black;  font-size: 16pt; }
.eg29 { font-family: courier new; font-weight: bold; color: black;  font-size: 16pt; }
.eg30 { font-family: courier new; font-weight: bold; color: black;  font-size: 16pt; }
.eg31 { font-family: courier new; font-weight: bold; color: black;  font-size: 16pt; }
.eg32 { font-family: courier new; font-weight: bold; color: black;  font-size: 16pt; }
.eg33 { font-family: courier new; font-weight: bold; color: black;  font-size: 16pt; }
.eg34 { font-family: courier new; font-weight: bold; color: black;  font-size: 20pt; }
.eg35 { font-family: courier new; font-weight: bold; color: black;  font-size: 20pt; }
.eg36 { font-family: courier new; font-weight: bold; color: black;  font-size: 20pt; }
.eg37 { font-family: courier new; font-weight: bold; color: black;  font-size: 20pt; }
.eg38 { font-family: courier new; font-weight: bold; color: black;  font-size: 20pt; }
.eg39 { font-family: courier new; font-weight: bold; color: black;  font-size: 20pt; }
.eg40 { font-family: courier new; font-weight: bold; color: black;  font-size: 20pt; }
.eg41 { font-family: courier new; font-weight: bold; color: black;  font-size: 20pt; }
.eg42 { font-family: courier new; font-weight: bold; color: black;  font-size: 20pt; }
.eg43 { font-family: courier new; font-weight: bold; color: black;  font-size: 20pt; }
.eg44 { font-family: courier new; font-weight: bold; color: black;  font-size: 20pt; }
.eg45 { font-family: courier new; font-weight: bold; color: black;  font-size: 20pt; }
.eg46 { font-family: courier new; font-weight: bold; color: black;  font-size: 20pt; }
.eg47 { font-family: courier new; font-weight: bold; color: black;  font-size: 20pt; }
.eg48 { font-family: courier new; font-weight: bold; color: black;  font-size: 20pt; }
.eg49 { font-family: courier new; font-weight: bold; color: black;  font-size: 20pt; }
.eg50 { font-family: courier new; font-weight: bold; color: black;  font-size: 24pt; }
.eg51 { font-family: courier new; font-weight: bold; color: black;  font-size: 24pt; }
.eg52 { font-family: courier new; font-weight: bold; color: black;  font-size: 24pt; }
.eg53 { font-family: courier new; font-weight: bold; color: black;  font-size: 24pt; }
.eg54 { font-family: courier new; font-weight: bold; color: black;  font-size: 24pt; }
.eg55 { font-family: courier new; font-weight: bold; color: black;  font-size: 24pt; }
.eg56 { font-family: courier new; font-weight: bold; color: black;  font-size: 24pt; }
.eg57 { font-family: courier new; font-weight: bold; color: black;  font-size: 24pt; }
.eg58 { font-family: courier new; font-weight: bold; color: black;  font-size: 24pt; }
.eg59 { font-family: courier new; font-weight: bold; color: black;  font-size: 24pt; }
.eg60 { font-family: courier new; font-weight: bold; color: black;  font-size: 24pt; }
.eg61 { font-family: courier new; font-weight: bold; color: black;  font-size: 24pt; }
.eg62 { font-family: courier new; font-weight: bold; color: black;  font-size: 24pt; }
.eg63 { font-family: courier new; font-weight: bold; color: black;  font-size: 24pt; }
.eg64 { font-family: courier new; font-weight: bold; color: black;  font-size: 24pt; }
.eg65 { font-family: courier new; font-weight: bold; color: black;  font-size: 24pt; }
.eg66 { font-family: courier new; font-weight: bold; color: black;  font-size: 24pt; }
.eg67 { font-family: courier new; font-weight: bold; color: black;  font-size: 28pt; }
.eg68 { font-family: courier new; font-weight: bold; color: black;  font-size: 28pt; }
.eg69 { font-family: courier new; font-weight: bold; color: black;  font-size: 28pt; }
.eg70 { font-family: courier new; font-weight: bold; color: black;  font-size: 28pt; }
.eg71 { font-family: courier new; font-weight: bold; color: black;  font-size: 28pt; }
.eg72 { font-family: courier new; font-weight: bold; color: black;  font-size: 28pt; }
.eg73 { font-family: courier new; font-weight: bold; color: black;  font-size: 28pt; }
.eg74 { font-family: courier new; font-weight: bold; color: black;  font-size: 28pt; }
.eg75 { font-family: courier new; font-weight: bold; color: black;  font-size: 28pt; }
.eg76 { font-family: courier new; font-weight: bold; color: black;  font-size: 28pt; }
.eg77 { font-family: courier new; font-weight: bold; color: black;  font-size: 28pt; }
.eg78 { font-family: courier new; font-weight: bold; color: black;  font-size: 28pt; }
.eg79 { font-family: courier new; font-weight: bold; color: black;  font-size: 28pt; }
.eg80 { font-family: courier new; font-weight: bold; color: black;  font-size: 28pt; }
.eg81 { font-family: courier new; font-weight: bold; color: black;  font-size: 28pt; }
.eg82 { font-family: courier new; font-weight: bold; color: black;  font-size: 28pt; }
.eg83 { font-family: courier new; font-weight: bold; color: black;  font-size: 28pt; }
.eg84 { font-family: courier new; font-weight: bold; color: black;  font-size: 32pt; }
.eg85 { font-family: courier new; font-weight: bold; color: black;  font-size: 32pt; }
.eg86 { font-family: courier new; font-weight: bold; color: black;  font-size: 32pt; }
.eg87 { font-family: courier new; font-weight: bold; color: black;  font-size: 32pt; }
.eg88 { font-family: courier new; font-weight: bold; color: black;  font-size: 32pt; }
.eg89 { font-family: courier new; font-weight: bold; color: black;  font-size: 32pt; }
.eg90 { font-family: courier new; font-weight: bold; color: black;  font-size: 32pt; }
.eg91 { font-family: courier new; font-weight: bold; color: black;  font-size: 32pt; }
.eg92 { font-family: courier new; font-weight: bold; color: black;  font-size: 32pt; }
.eg93 { font-family: courier new; font-weight: bold; color: black;  font-size: 32pt; }
.eg94 { font-family: courier new; font-weight: bold; color: black;  font-size: 32pt; }
.eg95 { font-family: courier new; font-weight: bold; color: black;  font-size: 32pt; }
.eg96 { font-family: courier new; font-weight: bold; color: black;  font-size: 32pt; }
.eg97 { font-family: courier new; font-weight: bold; color: black;  font-size: 32pt; }
.eg98 { font-family: courier new; font-weight: bold; color: black;  font-size: 32pt; }
.eg99 { font-family: courier new; font-weight: bold; color: black;  font-size: 32pt; }
.eg100 { font-family: courier new; font-weight: bold; color: black;  font-size: 36pt; }