%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Commands for the VIRTIO specification document
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\definecolor{oasis1}{RGB}{68,108,170}

% How we format a field name
\newcommand{\field}[1]{\emph{#1}}

% Mark a normative section (driver or device)
\newcommand{\drivernormative}[3]{#1{Driver Requirements: #2}\label{drivernormative:#3}}
\newcommand{\devicenormative}[3]{#1{Device Requirements: #2}\label{devicenormative:#3}}
\newcounter{clausecounter}
\newcommand{\conformance}[2]{
	\stepcounter{clausecounter}
	#1{Clause \theclausecounter: #2}
}
\newenvironment{DIFnomarkup}{}{}