Decisions, Games, & Logic Workshop

[e]

[e]

<style>

/*** LAYOUT ***/
 DIV { border: 0px; }
 #leftHand { 
    width: 100%;
    margin: 0px;
    color: #dfa; 
    background: #a90 url(imgs/stippleG.gif);
    text-align: center;
 }
 #leftHand A { color: #dfa;  font-weight: bold; }
 #links { padding: 4px; background: #339 url(imgs/stippleB.gif); color: #adf; font-size: 13px; font-weight:bold; }
 #links A { padding-left: 5px; padding-right: 5px; }
 #leftHand A { color: white; font: bold; }
 #barOne { background: #ff0 url(imgs/stippleB.gif); height: 5px; }
 #barTwo { background: red url(imgs/stippleW.gif); height: 3px; }
 #barThree { background: #00f url(imgs/stippleG.gif); height: 3px; }
 
 #rightHand {
    width: 620px;
    margin-left: auto; margin-right: auto;
    margin-bottom: 30px;
    text-align: left;
 }

/*** WORKINGS ***/
.editlink { position: absolute; }
.editlink { display: none; }
#rightHand div div .editlink  { display: inline; position: static; float: right; color: white; }
#rightHand div div .editlink A { color: #bbb; }
textarea { font-family: inherit; }

/*** STYLE ***/
 BODY, TD, P, TEXTAREA { font-family: verdana, arial, palatino linotype; font-size: 10pt; padding: 0px; margin: 0px; }
 TD { text-align: center; }
 #rightHand TD { vertical-align: center; text-align: left; }
 BODY {  }
 H2 {  }
 H3 { font-size: 10pt; }
 H4 { font-size: 10pt; background: #270; color: white; margin-left: -30px; margin-right: -30px; padding-left: 10px; padding-right: 10px; }
 A { text-decoration: none; color: #009; }
 A:Hover { text-decoration: underline; }
 #michaelmasReading P, #lentReading P, #summerReading P { margin: 0px; }
 #rightHand LI { margin-bottom: 8px; }
 IMG { border: 0px; }
 #rightHand IMG { border: 1px solid black; }
 P { margin-top: 7px; }
 BLOCKQUOTE { margin-left: 12px; }
 #photos IMG { border: 3px black solid; }

/**** PRINT ****/
@media print {

}

</style>

[e]

Second Workshop in
Decisions, Games & Logic '08
June 30 - July 2, 2008, Institute for Logic, Language and Computation, Amsterdam