/******************************************************************************
* MODULE     : web-article-dark-colored.css
* DESCRIPTION: CSS style sheet for TeXmacs articles
* COPYRIGHT  : (C) 2020  Joris van der Hoeven
*******************************************************************************
* This software falls under the GNU general public license version 3 or later.
* It comes WITHOUT ANY WARRANTY WHATSOEVER. For details, see the file LICENSE
* in the root directory or <http://www.gnu.org/licenses/gpl-3.0.html>.
******************************************************************************/

@import url("web-article.css");
@import url("theme-dark-colored.css");