/*
  CRAB Stylesheet
   
  Created by Asbjørn Djupdal, Oct 28, 2004
*/

@import "publications.css";

body { font-family: Helvetica, Verdana, Arial, sans-serif;
       font-style: normal;
       font-size: 12pt;
       color: black;
       background: white;
       }

#header { margin: 1em;
          text-align: center;
          padding-top: 1em;
          max-width: 46em;
          width: 46em;
          }

#main { margin: 1em;
        text-align: justify;
        font-style: normal;
        font-size: 12pt;
        max-width: 46em;
        width: 46em;
        padding-right: 1em;
        }

#sidebar { margin: 1em;
           text-align: center;
           max-width: 46em;
           width: 46em;
           }

#footer { margin: 1em;
          text-align: left;
          max-width: 46em;
          width: 46em;
          border-top: thin solid navy;
          }

em { color: maroon;
     }

em.internal { color: maroon;
              font-style: normal;
              }

div.floatleft { float: left;
                padding-right: 1em;
                }

div.floatright { float: right;
                 padding-left: 1em;
                 }

div.figure { padding: 1em;
             text-align: center;
             }

div.caption { font-style: italic
              }

div.caption:before { color: maroon;
                     }

img.floatleft { float: left;
                padding-right: 1em;
                }

img.floatright { float: right;
                 padding-left: 1em;
                 }

hr.cleaner {
      clear:both;
      height:1px;
      margin: -1px 0 0 0; padding:0;
      border:none;
      visibility: hidden;
      }

#title { font-family: "bitstream vera serif", Arial, sans-serif;
         color: navy;
         font-style: italic;
         font-size: 24pt;
         }

#subtitle { font-family: "bitstream vera serif", Arial, sans-serif;
            color: navy;
            font-style: italic;
            font-size: 10pt;
            }

img { border: none; }

h1 { color: navy;
     font-style: normal;
     font-size: 16pt;
     font-weight: normal;
     }
h2 { color: navy;
     font-weight: normal;
     font-size: 14pt;
     }
h3 { color: navy;
     font-weight: normal;
     font-style: italic;
     font-size: 14pt;
     }
h4 { color: navy;
     font-weight: normal;
     font-style: normal;
     font-size: 12pt;
     }
h5 { color: navy;
     font-weight: normal;
     font-style: italic;
     font-size: 12pt;
     }

small { font-size: 10pt;
        }

a { color: blue;
    }
a:link { color:blue;
       text-decoration: none;
         }
a:hover { color:blue;
       text-decoration: none;
          }
a:active { color:blue;
       text-decoration: none;
           }
a:visited { color:navy;
       text-decoration: none;
            }

table.nav { width: 100%;
            text-align: center;
            border-top: thin solid navy;
            border-bottom: thin solid navy;
            }

td.nav { width: 10em;
            text-align: center;
         }

th { text-align: center}