@import url(../style.css);

.obs   { text-decoration: line-through; }

/* ECMA-Script */
.es1:after { content: "ES1"; font-size: 7pt; padding: 0.5ex; background-color: #ffffff; }
.es2:after { content: "ES2"; font-size: 7pt; padding: 0.5ex; background-color: #f8f8f8; }
.es3:after { content: "ES3"; font-size: 7pt; padding: 0.5ex; background-color: #eeeeee; }
.es4:after { content: "ES4"; font-size: 7pt; padding: 0.5ex; background-color: #eeeeee; }
.es5:after { content: "ES5"; font-size: 7pt; padding: 0.5ex; background-color: #e0e0e0; }
.es6:after { content: "ES6"; font-size: 7pt; padding: 0.5ex; background-color: #d8d8d8; }
.es7:after { content: "ES7"; font-size: 7pt; padding: 0.5ex; background-color: #d0d0d0; }
.es8:after { content: "ES8"; font-size: 7pt; padding: 0.5ex; background-color: #c8c8c8; }
.es9:after { content: "ES9"; font-size: 7pt; padding: 0.5ex; background-color: #c0c0c0; }
.es10:after { content: "ES10"; font-size: 7pt; padding: 0.5ex; background-color: #b8b8b8; }
.es11:after { content: "ES11"; font-size: 7pt; padding: 0.5ex; background-color: #b0b0b0; }
.es12:after { content: "ES12"; font-size: 7pt; padding: 0.5ex; background-color: #a8a8a8; }
.es13:after { content: "ES13"; font-size: 7pt; padding: 0.5ex; background-color: #a0a0a0; }
.es14:after { content: "ES14"; font-size: 7pt; padding: 0.5ex; background-color: #989898; }
.es15:after { content: "ES15"; font-size: 7pt; padding: 0.5ex; background-color: #909090; }

/* DOM */
.dom1:after { content: "DOM1";  font-size: 7pt; padding: 0.5ex; background-color: #fff; }
.dom2:after { content: "DOM2";  font-size: 7pt; padding: 0.5ex; background-color: #eee; }
.dom3:after { content: "DOM3";  font-size: 7pt; padding: 0.5ex; background-color: #ddd; }
.dom4:after { content: "DOM4";  font-size: 7pt; padding: 0.5ex; background-color: #ccc; }
.dom-ptr:after  { content: "PTR";   font-size: 7pt; padding: 0.5ex; background-color: #fcc; }
.dom-view:after { content: "VIEW";  font-size: 7pt; padding: 0.5ex; background-color: #fcc; }
.dom-aria:after { content: "ARIA";  font-size: 7pt; padding: 0.5ex; background-color: #cfc; }

/* Node.js */
.node:after { content: "node"; font-size: 7pt; padding: 0.5ex; background-color: #afa; }