/* srf

Sun Feb 29 07:27:16 CET 2004
Die Nov  2 15:33:57 CET 2004: revision + cleanup
main.css

*/

html, body {
  height: 100%;
  margin: 0;
  padding: 0;
  text-align:center; }

body {
  margin-top:2ex;
  background-color:#EBEBFF;
  color:#333344;
  font-family:Verdana, Arial, Helvetica, sans-serif;
  text-align:center;}

table {
  text-align:center; /* mozilla seems to need this explicitly... */
  width:100%; }

a:link {
  color:#882222;
  text-decoration:none; }
a:hover {
  color:#664444;
  text-decoration:none; }
a:visited {
  color:#AA1111;
  text-decoration:none; }
a:visited:hover {
  color:#888855;
  text-decoration:none; }

/* container for whole page, including navmenues */
table.fullscreen {
  height:80%; }
table.fullscreen td {
  vertical-align:top; } 

/* left and right menu frames */
td.outer_frame {
  width:12%;
  vertical-align:top; }

/* the middle frame of most pages */
td.middleframe {
  padding-top:4ex;
  padding-left:1ex;
  padding-right:1ex; 
  padding-bottom:1ex; }

.inactive_link {
  color:gray;
  font-size:80%;
  font-style:italic; }

div.menu {
  margin-top:2ex;
  margin-left:1ex;
  margin-right:1ex; }
div.leftmenu {
  text-align:left; }
div.rightmenu {
  text-align:right; }
div.menutopic {
  margin-top:0.5ex;
  padding-top:0.2ex;
  padding-bottom:0.2ex;
  padding-left:1ex;
  padding-right:1ex; }

/* for light/dark background */
.darkbg {
  background-color:#EBEBFF; }
.lightbg {
  background-color:#DDDDEE; }

.section {
  margin-top:1ex;
  text-align:justify; }

/* used in posting_policy and usage */
div.title {
  margin-top:1ex;
  font-weight:bold; }

h1,h2,h3 {
  text-align:center;}
h1,h2 {
  font-weight:bold; }

h2,h3 {
  margin-top:4ex;
  padding-top:.5ex; }

h3 {
  font-weight:normal;
  font-size:125%; }

/* for file overviews: */
div.file_entry {
  text-align:center;
  padding:1ex; }
div.filename {
  padding-bottom:2px;
  text-align:left;
  font-weight:bold;
  font-size:120%; }

div.keyword {
  color:#772222;
}

/* used in e.'s doc section */
ul.disc_outside li {
  text-align:justify;
  padding-bottom:2ex;
  list-style:disc outside; }

/* display of file data (size, language, ...) on file page */
table.filepage_data {
 width:95%; /* 100%: opera cuts the right border */
 margin-top:1ex;
 padding:0.5ex; }
table.filepage_data td {
  background-color:#DDDDEE;
  margin:1ex;
  text-align:left; }
table.filepage_data span {
  color:#662222; }

/* used in display_overview_properties */
table.file_properties {
  empty-cells:show;
  border-collapse: collapse; }
table.file_properties td {
  width:20%; }

/* used in display_file_overview */
table.file_short_description {
  table-layout:fixed;
  text-align:left;
  font-size:80%;
  padding-left:5ex; }
table.file_short_description td {
  text-align:left;
  padding-left:5ex; }

/* totally surrounds the file entry form */
table.enter_file_container {
  padding:1ex;
  empty-cells:show; }
table.enter_file_container td {
  width:100%; }
/* always contains an input field, used in show_enter_file_form  */
table.file_input_field {
  empty-cells:show;
  background-color:#DDDDEE; }
table.file_input_field td{ }
table.file_input_field td.description {
  width:100%;
  padding:.8ex;
  text-align:right; } 
table.file_input_field td.input_field {
  width:1%;
  text-align:left; } 
/* input field for forms */
input {
  color:blue;
  background-color:#FFDDDD; }
table.four_columns td {
  width:25%; }
table.five_columns td {
  width:20%; }

div.searchform {
  padding:1ex;
  text-align:center;
  border:1px solid gray;
  vertical-align:top;
  width:95%; }

/* for checking errors in submit forms (add new file) */
span.error {
  display: block;
  float: left;
  margin-left: 20px;
  color: #cc0000;
  font-weight: 600; }

input.error {
  border: 1px solid #cc0000;
}