/* ===================================================================
   This is supposed to be the main CSS anchor file.
   It should be the only one specified in the main page headers
   and will import all secondary CSS files required throughout the
   entire application.
   It may also define the most general styles itself.
   =================================================================== */


/* Basic Primefaces theme css - relevant classes of this css are to be transferred to ov_primefaces_adjustments.css
	where they have to be adapted to the OV variables, especially colors. */
/* @import url(/ws/jakarta.faces.resource/css/theme_saga.css.jsf?ws=w35.028_ovt_ci); */

/* Basics used in both the workspace and workspace_status ear*/
@import url(/ws/jakarta.faces.resource/css/ov_main.css.jsf?ws=w35.028_ovt_ci);

/* This CSS defines own commonly used styles or supersedes style settings 
   of Primefaces' internal components.css */
@import url(/ws/jakarta.faces.resource/css/ov_primefaces_adjustments.css.jsf?ws=w35.028_ovt_ci);

/* This CSS defines own styles for generally used components that are no real ui-components. */
@import url(/ws/jakarta.faces.resource/css/ov_components.css.jsf?ws=w35.028_ovt_ci);

/* This CSS includes styles for compatibility reasons.
	i.e. styles removed in the current Workspace branch but still required for previous Normalizers or Amendo branches */
@import url(/ws/jakarta.faces.resource/css/ov_compatibility.css.jsf?ws=w35.028_ovt_ci);


/* This css is usually empty and serves as temporary playground for adding styleClasses of new Primefaces components */
@import url(/ws/jakarta.faces.resource/css/theme_playground.css.jsf?ws=w35.028_ovt_ci);



/* Stuff only used in the workspace.ear */

/* This CSS is to provide styleClasses for icons used anywhere. */
@import url(/ws/jakarta.faces.resource/css/ov_icons.css.jsf?ws=w35.028_ovt_ci);

/* This defines styles used for side bar slides controlled via third-party script: jquery.layout-default.js
	layout.css contains some CSS adjustments to the original CSS file */
@import url(/ws/jakarta.faces.resource/css/jquery.layout-default.css.jsf?ws=w35.028_ovt_ci);
@import url(/ws/jakarta.faces.resource/css/components_w/layout.css.jsf?ws=w35.028_ovt_ci);

/* CSS for Ace editor "ace.js" */
@import url(/ws/jakarta.faces.resource/css/ov_aceEditor.css.jsf?ws=w35.028_ovt_ci);