* {
    box-sizing: border-box;
}

#title_dummy {
	padding: 0;
  margin: 0;
}

#redWork .ui-widget-header {
  padding: 1em 1em 1em 1em;
  position: relative;
}

#redInput {
	margin-top: 0.5em;
  margin-bottom: 0.5em;
}

#redInput #root {
	padding: 0.5em;
}

#redInput #root h3 {
	font-size: 1.2em;
	font-variant: small-caps;
	text-shadow: 1px 1px 0px rgba(63,107,169, 0.7);
}

#redInput #root a {
	text-decoration: none;
}

