1-DAV-202 Data Management 2024/25

Materials · Introduction · Rules · Contact
· Grades from marked homeworks are on the server in file /grades/userid.txt
· Dates of project submission and oral exams:
Early: submit project Wednesday May 28 9:00am, oral exams Friday May 30 9:00am (limit 8 students).
Regular: submit project Monday June 16, 9:00am, oral exams Thursday June 19 and 20 (estimated 9:00am-2:00pm, schedule will be published before exam).
Sign up for one the exam days in AIS before June 16, 9:30am.
Remedial exams will take place in the last week of the exam period. Beware, there will not be much time to prepare a better project. Projects should be submitted as homeworks to /submit/project.
· Cpp homework is due May 15, 9:00am. Use the time to work on projects.


User:Teacher/vector.css

From MAD
Revision as of 14:20, 2 March 2016 by Teacher (talk | contribs) (Created page with "→‎hide logo: div#p-logo { visibility: hidden; } →‎decrease Vector sidebar width (default 10em): div#mw-panel { width: 40px; } div#footer, #mw-head-base, div#content {...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

Note: After saving, you may have to bypass your browser's cache to see the changes.

  • Firefox / Safari: Hold Shift while clicking Reload, or press either Ctrl-F5 or Ctrl-R (⌘-R on a Mac)
  • Google Chrome: Press Ctrl-Shift-R (⌘-Shift-R on a Mac)
  • Internet Explorer: Hold Ctrl while clicking Refresh, or press Ctrl-F5
  • Opera: Go to Menu → Settings (Opera → Preferences on a Mac) and then to Privacy & security → Clear browsing data → Cached images and files.
/* hide logo */
div#p-logo {
  visibility: hidden;
}
/* decrease Vector sidebar width (default 10em) */
div#mw-panel { width: 40px;  }
div#footer, #mw-head-base, div#content { margin-left: 40px; }
#left-navigation { margin-left: 40px; }
/* smaller font in left panel and edit section links */
div#mw-panel {
 font-size: 50%;
}
.mw-editsection {
 font-size: 50%;
}

h1, h2, h3, h4, h5, h6 {
        color: black;
        background: none;
        font-weight: normal;
        margin: 0;
        overflow: hidden;
        padding-top: 0.5em;
        padding-bottom: 0.17em;
        border-bottom: 1px solid #aaaaaa;
}
h1, h2 {
   color: #b31c1c;
}
h3, h4, h5, b, i, tt, pre, a, a:visited, a:active {
   color: #212e72;
}
.mw-body {
 a.external {
   color: #212e72;
 }
}
.mw-body a.external {color: #212e71;  }
.mw-body a.external:visited { color: #212e73;}

pre, tt {
//       font-size: 110%; 
}

h1 { font-size: 188%; }
h2 { font-size: 150%; }
h3, h4, h5, h6 {
        border-bottom: none;
        font-weight: bold;
}
h3 { font-size: 132%; }
h4 { font-size: 116%; }
h5 { font-size: 100%; }
h6 { font-size: 80%;  }