@import url("../../Global_pages.css") all;
body {}
p {}
td {}
h1    { }
/*<agl.folder "Hint styles">*/
	.important    { color: red }
	ul { margin: 1em 0 1em 40px; border-color: navy }
	.useful   { color: purple }
	.new    { background-color: #cfa }
/*</agl.folder>*/
.app_definition  { color: #333; font-style: italic }
.dictionary_definition     { color: inherit; text-decoration: none; border-bottom: 1pt dashed blue }
.menu_item /* Hierachy of menu selections */  { font-family: Courier }
.current_link  { color: navy; font-size: 150%; text-decoration: none }
.small_links { font-size: 8pt }