/* LectureDeck's own styles, loaded after the shared stylesheets (which come from TeachersDeck through tools/sync_shared.py).
   Anything only LectureDeck needs goes here, scoped under html.uni. Empty for now: the shell looks like TeachersDeck. */
/* Course mode styles moved to css/course-mode.css (v0.5.0), shared with UniStudentDeck's TAdeck. */