/* ae.css Cascading Style Sheet, Level 1, for Prof. Abbas Edalat, Department of Computing, Imperial College, London Marko Krznaric July 2000 The following command should be in the section of all HTML files */ body { font-family: "Times New Roman", Times, serif; font-size: 12pt; font-style: normal; font-weight: normal; font-variant: normal; text-transform: none; color: #000000; background-color: #FFFFFF; text-align: left } p { font-family: "Times New Roman", Times, serif; font-size: 12pt; font-weight: normal; font-variant: normal; text-transform: none; color: #000000; text-align: left; margin-top: 10px; margin-right: 5px; margin-bottom: 5px; margin-left: 10px } h1 { font-family: "Times New Roman", Times, serif; font-size: 18pt; font-style: normal; font-weight: 900; font-variant: normal; text-transform: none; color: #000000; text-align: left } h2 { font-family: "Times New Roman", Times, serif; font-size: 17pt; font-weight: 800; font-variant: normal; text-transform: none; color: #000000; text-align: left } h3 { font-family: "Times New Roman", Times, serif; font-size: 16pt; font-weight: 700; font-variant: normal; text-transform: none; color: #000000; text-align: left } h4 { font-family: "Times New Roman", Times, serif; font-size: 15pt; font-weight: 600; font-variant: normal; text-transform: none; color: #000000; text-align: left } h5 { font-family: "Times New Roman", Times, serif; font-size: 14pt; font-weight: 500; font-variant: normal; text-transform: none; color: #000000; text-align: left } h6 { font-family: "Times New Roman", Times, serif; font-size: 13pt; font-weight: 400; font-variant: normal; text-transform: none; color: #000000; text-align: left } a:link { font-family: "Times New Roman", Times, serif; color: #000099; text-decoration: none; } a:visited { font-family: "Times New Roman", Times, serif; text-decoration: none; color: #000066; } a:active { font-family: "Times New Roman", Times, serif; text-decoration: none; color: #FF6666; } a:hover { font-family: "Times New Roman", Times, serif; text-decoration: none; color: #9999FF; } table { font-size: 24pt; color: #000000; } th { font-family: "Times New Roman", Times, serif; font-style: italic; text-align: left } td { font-family: "Times New Roman", Times, serif; font-size: 10pt; font-style: normal; font-weight: normal; font-variant: normal; text-transform: none; color: #000000; text-align: left } tr { font-family: "Times New Roman", Times, serif; font-size: 12pt; font-style: normal; font-weight: normal; font-variant: small-caps; text-transform: none; color: #000000; text-align: left } ol { font-family: "Times New Roman", Times, serif; font-size: 11pt; font-weight: normal; font-variant: normal; text-transform: none; color: #000000; text-align: left; list-style-type: decimal; margin-top: -0.5em } ul { font-family: "Times New Roman", Times, serif; font-size: 11pt; font-weight: normal; font-variant: normal; text-transform: none; color: #000000; text-align: left; margin-top: -0.5em } li { font-family: "Times New Roman", Times, serif; font-size: 11pt; font-weight: normal; font-variant: normal; text-transform: none; color: #000000; text-align: left } dl { font-family: "Times New Roman", Times, serif; font-weight: 600; font-variant: normal; text-transform: none; color: #000000; } dd { font-family: "Times New Roman", Times, serif; font-weight: normal; font-variant: normal; text-transform: none; color: #000000; clip: rect( 1in) } dt { font-family: "Times New Roman", Times, serif; font-weight: bold; font-variant: normal; text-transform: none; color: #000000; } address { font-family: "Times New Roman", Times, serif; font-size: 8pt; font-style: italic; font-weight: normal; font-variant: normal; color: #000000 } .red { color: red } .title { color: #000000; font-weight: 900}