/* 
Styles for Uppaal webpage.
*/
/*
   A non-standard style supported by IE and needed by IE. Without it
   IE will show a scrollbar at the bottom of the text frame. Not
   needed in other browsers.
*/ 
html {
  overflow-x: visible;
} 

body { 
/*  width: 720px; */
/*  width: 90%; */
  margin-left: 70px;
  margin-right: 70px;
  font-family : Arial, Helvetica, sans-serif ; 
  font-size: small;
  color           : #333333 ; 
  background-color: #ffffff ;
}

body.menu {
  background-color: #b3d6f2 ;
} 

span.red {
  color: red;
}

tt { font-size: medium; } 
div.menu { font: bold 22pt arial,helvetica,sans-serif }

DIV.submenu { font-size: 10pt; font-weight: bold; }

SPAN.sc { font-variant: small-caps }

UL.redbull { list-style-image: url(2dot1a.gif) }

body.text { 
  margin-top: 1em;
  text-align: justify;
} 

body.foot { 
  margin-top: 0em;
  background-color: #b3d6f2 ;
  color: #333333 ;
} 

img.flright { float:right; }

h1, h2, h3, h4 { text-decoration: none ; }

a:link     { color: #3C5377;} 
a:visited  { color: #7b96bd;} 

a.menuanchor         { text-decoration: none; } 
a.menuanchor:link    { text-decoration: none; color : #3C5377 ; }
a.menuanchor:visited { text-decoration: none; color : #3c5377 ; }