/** Add css rules here for your application. */


/** Example rules used by the template application (remove for your app) */
h1 {
  font-size: 2em;
  font-weight: bold;
  color: #777777;
  margin: 40px 0px 70px;
  text-align: center;
}

.sendButton {
  display: block;
  font-size: 16pt;
}
.liste {
  color: black;
  font-size: 24pt;
}

.textArea{
	size: 800pt;
}

.beginn, .begin, .richtig, .falsch, .umformungFalsch, .unbekannt, .fertig, .zwischenschrittFertig, .pfad1,.textfeld,.textArea,.schriftlichrichtig,.schriftlichfalsch,.schriftlichrichtigMitBorder,.schriftlichfalschMitBorder,.schriftlich{
  font-size: 16pt;
  border-radius: 8px;
  font-family: Computer Modern Schriftfamilie;
}

.beginn {
  color: black;
  text-align: center;
}
.richtig,.schriftlichrichtig,.schriftlichrichtigMitBorder {
  color: green;
}

.falsch,.schriftlichfalsch,.schriftlichfalschMitBorder {
  color: red;
}

.schriftlichrichtig,.schriftlichfalsch,.schriftlichrichtigMitBorder,.schriftlichfalschMitBorder{
  text-align: center;	
}

.schriftlich{
  color: black;
  text-align: center;
}
.umformungFalsch {
  color: red;
}

.klein {
  color: black;
  font-size: 1pt;
}

.modul{
	width: 100%;
}
.modul table {
	width:100%;
}

.unbekannt {
  color: red;
}

.fertig {
  color: blue;
}

.zwischenschrittFertig {
  color: green;
  text-decoration: underline

}


/** Most GWT widgets already have a style name defined */
.gwt-DialogBox {
  width: 400px;
}

.dialogVPanel {
  margin: 5px;
}

.serverResponseLabelError {
  color: red;
}

/** Set ids using widget.getElement().setId("idOfElement") */
#closeButton {
  margin: 15px 6px 6px;
}

.abgabeErfolgreich{
  color: green;
  font-size: 32pt;
}
.abgabeFehlgeschlagen{
  color: red;
  font-size: 32pt;
}

.websiteAktualisiert{
  color: red;
  font-size: 32pt;
}

.fehlerMeldung{
  color: red;
  font-size: 20pt;
}

.buttontastatur{
  color: black;
  font-size: 18pt;	
}

.buttontastaturBruch{
  color: black;
}


.menubar{
  position: fixed;
  font-size: 28pt;
	
}
.gwt-MenuBar .gwt-MenuItem {
   cursor: default;
   font-family: Arial Unicode MS, Arial, sans-serif;
   font-size: 22px;
}

.gwt-Label .gwt-HTML{
  font-size: 26pt;
}
.SchnittpunktPanel,.split{
	padding: 0.5 em;
	display: table-cell;
   vertical-align: middle;
   text-align: center;
}
.Schnittpunkt, .Intervall, .abcAblesen{
  font-size: 2em;
  margin-top: 4px
}

.pfad1{
	display: table-cell;
	vertical-align: middle;
}

.ueberstreichen{
	text-dekoration: overline;
	color: blue;
}



.komandostrich{
  font-size: 35pt;
  text-align: left;
  margin-top: -8px
}

.textfeldzeile{
	padding: 3 em;
}

.TaschenrechnerDialog {
  background-color: white;
}

.knoten{
  font-size: 16pt;
  border-radius: 12px;
  font-family: Computer Modern Schriftfamilie;
}

.plusMinusButton{
  font-size: 6pt;
}

.plusMinusButtonPanel{
	margin: 6pt;
}

.schriftlichrichtigMitBorder,.schriftlichfalschMitBorder{
  border-bottom: 2px solid black;	
}
.myBorder {
  border-bottom: 2px solid black;
}
.myDoubleBorder {
  border-bottom: 4px double black;
}