/*  Maintained by Jonah Luo */
/* Assembled from several files 
  Last update on July 2017 */

/* Styles for headings are at bottom 
 -- incomplete, casual headings */
  
/* basic text */
text {
  font-family: Helvetica Neue, Helvetica, Arial;
  font-size: medium; 
  font-weight: normal; 
}

/* text-alighment */
/* in general, text is left-aligned. */

/* Texts in anchors, headings, and paragraphs */

a {
	color: #4C9CF1;
	text-decoration: none;
	font-weight: bold;
}
a:hover {
	color: #227;  /* midnight blue */
}

/* paragraph style */
p {
	line-height: 1.45em;
	margin-bottom: 20px;
}

/* Prompts in the Action Button */
.green-button 
{
  text-align: center;
  line-height: 1.0;
}
/* green-botton text is 
 typically anchored text */

/* a variety of highlights */
/* moved to this file in July 2017  */

.em  /* emphasis by oblique, large */
{
  font-size: large;
  font-style: oblique;
}

.T1  /* for Topics */
{
  background-color: #dddddd; /*bbbbba*/
  font-size: 1.5em;
  font-weight: bold;
  color: black;
}
.t2  /* for highlighter fine-tuned */
{
  background-color: #eeefdf; /* white rock */ 
    /* old value: white; */
  font-size: large;
  font-weight: bold;
  font-size: 1.5em;
}

/* like using a highlight pen: 
 two kinds of */

.lighter 
{
  background-color: #cc9933;  /* yellowish */
  font-size: large; font-weight: bold;
}

.highlight_new /* like highlighted with a colored pen */
{
   background-color: orange;
   font-size: medium; font-weight:normal;
}

/* Styling headings */

h3 {
	font-size: 1.3em;
	line-height: 1.15em;
	margin: 10px 0;  /* old is 20 px */
}

h4 {
	font-size: 1.15em;
	line-height: 1.15em;
	margin: 8px 0;
}

h1 {
}

/* h1 {
	font-size: 2em;
	color: #2262AD;
	line-height: 1.15em;
	margin: 20px 0 ;
}
*/

/* */